| Titel | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
| Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I | | 978-3-540-70574-1 | 2008 | Luca Aceto · Ivan Damgaard · Leslie Ann Goldberg · Magnus M. Halldorsson · Igor Walukiewicz |
| Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II | | 978-3-540-70582-6 | 2008 | Luca Aceto · Ivan Damgaard · Leslie Ann Goldberg · Magnus M. Halldorsson · Igor Walukiewicz |
| Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Notes in Computer Science, Band 3921) | | 978-3-540-33045-5 | 2010 | Luca Aceto · Anna Ingólfsdóttir |
| Lifir eik þótt laufið fjúki: ævisaga Árnýjar Filippusdóttur, skólastjóra á Hverabökkum | | 978-9979-60-097-8 | 1994 | Anna Ingólfsdóttir |
| Reactive Systems: Modelling, Specification and Verification | | 978-0-521-87546-2 | 2007 | Luca Aceto · Anna Ingólfsdóttir · Kim Guldstrand Larsen · Jiri Srba |
| Transactions on Computational Systems Biology VII: v. 7 | | 978-3-540-48837-8 | 2006 | Bud Mishra · Hanne Riis Nielson |