Publication in peer-reviewed outlets 2005-2016


Academic employee Year Research output in peer-reviewed outlets A: Articles in peer-reviewed scholarly journals; B: Articles, posters and abstracts in peer-reviewed conferences/ symposia/ proceedings; C1: Peer-reviewed books; C2: Peer-reviewed book chapters; D: Other peer-reviewed publications ISI article RU affiliated Type of outlets

Ali Jafari

2016
A. Jafari, E. Khamespanah, M. Sirjani, H. Hermanns, M. Cimini. PTRebeca: Modeling and Analysis of Distributed and Asynchronous Systems. Science of Computer Programming, 2016.
X
X
A
Marjan Sirjani 2016 A. Jafari, E. Khamespanah, M. Sirjani, H. Hermanns, M. Cimini. PTRebeca: Modeling and Analysis of Distributed and Asynchronous Systems. Science of Computer Programming, 2016. X X A
Marjan Sirjani 2016 Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson,Marjan Sirjani, Brynjar Magnusson: Statistical model checking of Timed Rebeca models. Computer Languages, Systems & Structures 45: 53-79 (2016)
X A
Ali Jafari 2016 Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson,Marjan Sirjani, Brynjar Magnusson: Statistical model checking of Timed Rebeca models. Computer Languages, Systems & Structures 45: 53-79 (2016)
X A
Álvaro García Pérez 2016 A. García-Pérez and P. Nogueira. No solvable lambda-value term left behind. Logical Methods in Computer Science 12(2:12):1-43, 2016. X
A
Hannes Högni Vilhjálmsson 2016 Cafaro, A., Ravenet, B., Ochs, M., Vilhjálmsson, H. and Pelachaud, C. (2016). The Effects of Interpersonal Attitude of a Group of Agents on User's Presence and Proxemics Behavior. ACM Transactions on Interactive Intelligent Systems, 6:2 (July 2016), pp. 1-33 X X A
Hannes Högni Vilhjálmsson 2016 Cafaro, A., Vilhjálmsson, H. and Bickmore, T. (2016). First Impressions in Human-Agent Virtual Encounters. ACM Transactions on Computer-Human Interaction 23:4, Article 24 (August 2016) X X A
Anna Ingólfsdóttir 2016 L. ACETO, D. DELLA MONICA, V. GORANKO, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: The General and the Dense Cases. Acta Informatica 53:207–246, Springer Verlag, 2016. X X A
Luca Aceto 2016 L. ACETO, D. DELLA MONICA, V. GORANKO, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: The General and the Dense Cases. Acta Informatica 53:207–246, Springer Verlag, 2016. X X A
Magnús M. Halldórsson 2016 Bjarni V. Halldórsson, Magnús M. Halldórsson, Elena Losievskaja, and Mario Szegedy. Streaming algorithms for independent sets in sparse hypergraphs. Algorithmica, 76(2):490–501, 2016. X X A
Magnús M. Halldórsson 2016 Magnús M. Halldórsson, Pradipta Mitra. Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model. Distributed Computing, 29(2):77–88, April 2016. X X A
Magnús M. Halldórsson 2016 Magnús M. Halldórsson, Sergey Kitaev, Artem Pyatkin. Semi-Transitive Orientations and Word-Representable Graphs.  Discrete Applied Mathematics, 201:164–171, March 2016. X X A
Magnús M. Halldórsson 2016 Pierluigi Crescenzi, Pierre Fraigniaud, Magnús M. Halldórsson, Hovhannes A. Harutyunyan, Chiara Pierucci, Andrea Pietracaprina, Geppino Pucci. On the complexity of the shortest-path broadcast problem. Discrete Applied Mathematics 199:101–109, 30 January 2016. X X A
Magnús M. Halldórsson 2016 Pierre Fraigniaud, Magnús M. Halldórsson, Boaz Patt-Shamir, Dror Rawitz, Adi Rosen. Shrinking Maxima, Decreasing Costs: New Online Packing and Covering Problems. Algorithmica, 74(4):1205–1223, April 2016. X X A
Magnús M. Halldórsson 2016 Yusuke Aoki, Bjarni V. Halldórsson, Magnús M. Halldórsson, Takehiro Ito, Christian Konrad, Xiao Zhou. The Minimum Vulnerability Problem on Special Graph Classes. To appear in Journal of Combinatorial Optimization, 2016. X X A
Magnús M. Halldórsson 2016 Yuval Emek, Magnús M. Halldórsson, Adi Rosen. Space-Constrained Interval Selection. ACM Transactions on Algorithms (TALG), 12(4), 2016. X X A
Marjan Sirjani 2016 MM Jaghoori, F de Boer, D Longuet, T Chothia, M Sirjani, Compositional schedulability analysis of real-time actor-based systems, Acta Informatica, 1- 36, 2016 x x A
Marta K. Lárusdóttir 2016 Billestrup, J. Stage, J., Larusdottir, M.K.: A Case Study of Four IT Companies Developing Usable Public Digital Self-Service Solutions, invited to write a journal version of this paper, to the journal International Journal On Advances in Software, submitted in September 2016.
X A
Marta K. Lárusdóttir 2016 Larusdottir, M., Gulliksen, J., Cajander, A.: A License To Kill – Improving UCSE in Agile Development. Journal of Systems and Software, 2016. X X A
Rebecca Mans Mitchell 2016 N Slater, RM Mitchell, RH Whitlock, T Fyock, AK Pradhan, E Knupfer, YH Schukken, Y Louzoun. Impact of the shedding dose on indirect transmission of persistent infections. Veterinary Research. 2016 Feb 47:38. X
A
Rebecca Mans Mitchell 2016 Z Zhou, RM Mitchell, S Kariuki, C Odero, P Otieno, K Otieno, P Onyona, V Were, RE Wiegand, JE Gimnig, ED Walker, M Desai, YP Shi.  Assessment of submicroscopic infections and gametocyte carriage of Plasmodium falciparum during peak malaria transmission season in a community-based cross-sectional survey in western Kenya, 2012.  Malaria Journal. Aug 15:421, 2016. x
A
Antonis Achilleos 2016 Antonis Achilleos. Modal logics with hard diamond-free fragments. In International Symposium on Logical Foundations of Computer Science, pages 1-13. Springer International Publishing, 2016.

B
Björn Þór Jónsson 2016 Björn Þór Jónsson, Laurent Amsaleg, Herwig Lejsek. SSD Technology Enables Dynamic Maintenance of Persistent High-Dimensional Indexes. Proceedings of the ACM International Conference on Multimedia Retrieval (ICMR), New York, NY, USA, June, 2016.
X B
Björn Þór Jónsson 2016 Björn Þór Jónsson, Marcel Worring, Jan Zahálka, Stevan Rudinac, Laurent Amsaleg. Ten Research Questions for Scalable Multimedia Analytics. Proceedings of the International Conference on MultiMedia Modeling (MMM), Special Session on Perspectives on Multimedia Analytics, Miami, FL, USA, January, 2016.
X B
Marta K. Lárusdóttir 2016 Björn Þór Jónsson, Marta Kristín Lárusdóttir, Mats Daniels, Alison Clear, Tony Clear, Roger McDermott. Aligning Quality Assurance at the Course Unit and Educational Program Levels. Proceedings of the 46th Annual Frontiers in Education Conference (FIE), Erie, PA, USA, October, 2016.
X B
Björn Þór Jónsson 2016 Björn Þór Jónsson, Marta Kristín Lárusdóttir, Mats Daniels, Alison Clear, Tony Clear, Roger McDermott. Aligning Quality Assurance at the Course Unit and Educational Program Levels. Proceedings of the 46th Annual Frontiers in Education Conference (FIE), Erie, PA, USA, October, 2016.
X B
Björn Þór Jónsson 2016 Jan Zahálka, Stevan Rudinac, Björn Þór Jónsson, Dennis C. Koelma, Marcel Worring. Interactive Multimodal Learning on 100 Million Images. Proceedings of the ACM International Conference on Multimedia Retrieval (ICMR), New York, NY, USA, June, 2016.
X B
Stephan Schiffel 2016 David Thue, Stephan Schiffel, Ragnar Adolf Arnason, Ingibergur Sindri Stefnisson and Birgir Steinarsson. Delayed Roles with Authorable Continuity in Plan-based Interactive Storytelling. In Proceedings of the Ninth International Conference on Interactive Digital Storytelling (ICIDS): 12 pages. Springer-Verlag. Los Angeles, California, USA. To appear in 2016.
X B
David James Thue 2016 David Thue, Stephan Schiffel, Ragnar Adolf Arnason, Ingibergur Sindri Stefnisson and Birgir Steinarsson. Delayed Roles with Authorable Continuity in Plan-based Interactive Storytelling. In Proceedings of the Ninth International Conference on Interactive Digital Storytelling (ICIDS): 12 pages. Springer-Verlag. Los Angeles, California, USA. To appear in 2016.
X B
Hannes Högni Vilhjálmsson 2016 B. Bédi, B. Arnbjörnsdóttir, H. Vilhjálmsson, H. Helgadóttir, S. Ólafsson, E. Björgvinsson. “Learning Icelandic Language and Culture in Virtual Reykjavik: Starting to Talk”. In the Proceedings of the 23rd EUROCALL Conference, Limassol, 24th-27th of August, 2016.
X B
Hannes Högni Vilhjálmsson 2016 J. Oddsdóttir, T. Sigurðardóttir, K.  Jóhannsdóttir, B. Sveinbjörnsdóttir, H. Vilhjálmsson. “Virtual Training for Discrete Trial Trainers”. In the Proceedings of the Workshop on Graphical and Robotic Embodied Agents for Therapeutic Systems (GREATS16) at the 16th International Conference on Intelligent Virtual Agents, Los Angeles, September 2016.   X B
Páll J. Líndal 2016 Lindal, P.J., Miri, H., Johannsdottir, K. R., Hartig, T. & Vilhjalmsson, H. (2016). Testing the Restorative Potential of Future Urban Environments Using VR Technology - The Cities that Sustain Us Project.  In the Proceedings of the 24th Annual Conference of the International Association for People-Environment Studies (IAPS24), Lund/Alnarp, Sweden. July.   X B
Hannes Högni Vilhjálmsson 2016 Lindal, P.J., Miri, H., Johannsdottir, K. R., Hartig, T. & Vilhjalmsson, H. (2016). Testing the Restorative Potential of Future Urban Environments Using VR Technology - The Cities that Sustain Us Project.  In the Proceedings of the 24th Annual Conference of the International Association for People-Environment Studies (IAPS24), Lund/Alnarp, Sweden. July.   X B
Kristinn R. Þórisson 2016 About Understanding. K. R. Thórisson, D. Kremelberg, B. R. Steunebrink, E. Nivel (2016). In B. Steunebrink et al. (eds.), Proc. 9th International Conference on Artificial General Intelligence (AGI-16), New York City, July 16-19, 106-117.
X B
Kristinn R. Þórisson 2016 Evaluation of General-Purpose Artificial Intelligence: Why, What & How. Bieger, J., K. R. Thórisson, B. Steunebrink, T. Thorarensen, J. S. Sigurdardóttir. EGPAI 2016 - Evaluating General-Purpose A.I., Workshop, European Conference on Artificial Intelligence, The Hague, The Netherlands
X B
Kristinn R. Þórisson 2016 FraMoTEC: Modular Task-Environment Construction for Evaluating Adaptive Control Systems. T. Thorarensen, K. R. Thórisson, J. Bieger, J. S. Sigurdardóttir (2016). EGPAI 2016 - Evaluating General-Purpose A.I., Workshop, European Conference on Artificial Intelligence, The Hague, The Netherlands
X B
Kristinn R. Þórisson 2016 Growing Self-Improvers. B. R. Steunebrink, K. R. Thórisson, D. Kremelberg, J. Schmidhuber (2016). In B. Steunebrink et al. (eds.), Proc. 9th International Conference on Artificial General Intelligence (AGI-16), New York City, July 16-19, 129-139.
X B
Kristinn R. Þórisson 2016 Why Artificial Intelligence Needs a Task Theory – And What It Might Look Like. K. R. Thórisson, J. Bieger, T. Thorarensen, J. S. Sigurdardottir & B. R. Steunebrink (2016). In B. Steunebrink et al. (eds.), Proc. 9th International Conference on Artificial General Intelligence (AGI-16), New York City, July 16-19, 118-128.
X B
Luca Aceto 2016 V. GUDMUNDSSON, M. LINDVALL, L. ACETO, J. BERGTHORSSON AND D. GANESAN . Model-based testing of mobile systems — An empirical study on QuizUp Android App. Proceedings of the First International Workshop on Pre- and Post-Deployment Verification Techniques (PrePost 2016), Electronic Proceedings in Theoretical Computer Science 208, pp. 16–30, 25 May 2016.
X B
Magnús M. Halldórsson 2016 Magnús M. Halldórsson, Sven Köhler, Dror Rawitz. Distributed Approximation of k-Service Assignment. In Proc. 19th International Conference On Principles Of DIstributed Systems (OPODIS 2015), Rennes, France, December, 2015. in Lecture Notes in Computer Science, Springer January 2016.
X B
Tigran Tonoyan 2016 Magnús M. Halldórsson, Tigran Tonoyan, Yuexuan Wang, Dongxiao Yu. Brief Announcement: Data Dissemination in Unified DynamicWireless Networks. In Proc. 35th ACM Symposium on Principles of Distributed Computing (PODC), Chicago, July 2016.
X B
Magnús M. Halldórsson 2016 Magnús M. Halldórsson, Tigran Tonoyan, Yuexuan Wang, Dongxiao Yu. Brief Announcement: Data Dissemination in Unified DynamicWireless Networks. In Proc. 35th ACM Symposium on Principles of Distributed Computing (PODC), Chicago, July 2016.
X B
Magnús M. Halldórsson 2016 Magnús M. Halldórsson. Invited Paper: Models for Wireless Algorithms. In Proc. 14th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOPT), Tempe, Arizona, May 2016.
X B
Magnús M. Halldórsson 2016 Marijke Bodlaender, Magnús M. Halldórsson, Christian Konrad. Brief Announcement: Local Independent Set Approximation. In Proc. 35th ACM Symposium on Principles of Distributed Computing (PODC), Chicago, July 2016.
X B
Marjan Sirjani 2016  On Time Actors. Theory and Practice of Formal Methods 2016: 373-392Marjan Sirjani, Ehsan Khamespanah:
X B
Marjan Sirjani 2016 Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani,Gul A. Agha: Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. SPIN 2016: 165-181
X B
Marjan Sirjani 2016 Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward, lee, Coordinated Actors for Reliable Self-Adaptive Systems, FACS 2016
X B
Marta K. Lárusdóttir 2016 Billestrup, J. Stage, J., Larusdottir, M.K.: A Case Study of Four IT Companies Developing Usable Public Digital Self-Service Solutions, conference proceedings, ACHI 2016 conference, Venice, Italy, 2016.
X B
Marta K. Lárusdóttir 2016 Kristinsdottir, S., Larusdottir, M.K., Cajander, A: Responsibilities and Challenges of  Product Owners at Spotify- An Exploratory Case Study, accepted for the HCSE+HESSD 2016 conference as a long paper, 2016.
X B
Marta K. Lárusdóttir 2016 Larusdottir, M, Cajander, A, Gregory, A, et al.: Stakeholder Involvement in Agile Software Development, proceedings for the NordiCHI 2016, conference, 2016.
X B
Marta K. Lárusdóttir 2016 Larusdottir, M: UX-EV – Aid for Stakeholders in Scrum Projects, proceeding of the workshop: Stakeholder Involvement in Agile Devlopment, NordiCHI, 2016
X B
Marta K. Lárusdóttir 2016 Lind, T., Cajander, A, Sandblad, B., Daniels, M., McDermott, R., Larusdottir, M.K.: Students Envisioning the Future, proceedings of the FIE (Frontiers in Education) conference in May, 2016, an abstract of the paper has been accepted.
X B
Mohammad Hamdaqa 2016 Korosh Koochekian Sabor, Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj, “Automatic Prediction of the Severity of Bugs Using Stack Traces”. In proceedings of the IBM Center for Advanced Studies Conference, 10 pages, 2016.
X B
Mohammad Hamdaqa 2016 Mohammad Hamdaqa, Ladan Tahvildari, “StratusPM: An Analytical Performance. Model for Cloud Applications”. In proceedings of the Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments, pp. 24-31, 2016.

B
Mohammad Hamdaqa 2016 Neda Ebrahimi Koopaei, Abdelwahab Hamou-Lhadj, Md. Shariful Islam, Mohammad Hamdaqa, “An Effective Method for Detecting Duplicate Crash Reports Using Crash Traces and Hidden Markov Models”. In proceedings of the IBM Center for Advanced Studies Conference, 10 pages, 2016.
X B
Hannes Högni Vilhjálmsson 2016 Hafdis Erla Helgadóttir, Svanhvít Jónsdóttir, Andri Már Sigurðsson, Stephan Schiffel, and Hannes Högni Vilhjálmsson. Virtual general game playing agent. In Proceedings of the 16th International Conference on Inteligent Virtual Agents, Los Angeles, September 2016.
X B
Stephan Schiffel 2016 Hafdis Erla Helgadóttir, Svanhvít Jónsdóttir, Andri Már Sigurðsson, Stephan Schiffel, and Hannes Högni Vilhjálmsson. Virtual general game playing agent. In Proceedings of the 16th International Conference on Inteligent Virtual Agents, Los Angeles, September 2016.
X B
Stephan Schiffel 2016 Nera Nesic and Stephan Schiffel. Heuristic function evaluation framework. In Proceedings of the 9th International Conference on Computers and Games (CG2016), Leiden, The Netherlands, 2016.
X B
Ýmir Vigfússon 2016 Enabling Space Elasticity in Storage Systems.   (Best Student Paper) Helgi Sigurbjarnarson, Petur Orri Ragnarsson, Juncheng Yang, Ymir Vigfusson, Mahesh Balakrishnan. In 9th ACM Conference on Systems and Storage (SYSTOR'16), Haifa, Israel. June, 2016. 
X B
Ýmir Vigfússon 2016 Poster: Enabling Space Elasticity in Storage Systems. Helgi Sigurbjarnarson, Petur Orri Ragnarsson, Juncheng Yang, Ymir Vigfusson, Mahesh Balakrishnan.
In 9th ACM Conference on Systems and Storage (SYSTOR'16), Haifa, Israel. June, 2016. 
X B
Anna Ingólfsdóttir 2016 L. ACETO , A. FRANCALANZA AND A. INGOLFSDOTTIR. Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016. Electronic Proceedings in Theoretical Computer Science 208, 25 May 2016.
http://dx.doi.org/10.4204/EPTCS.208
X C1
Luca Aceto 2016 L. ACETO , A. FRANCALANZA AND A. INGOLFSDOTTIR. Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016. Electronic Proceedings in Theoretical Computer Science 208, 25 May 2016.
http://dx.doi.org/10.4204/EPTCS.208
X C1
Marta K. Lárusdóttir 2016 Cockton, G., Larusdottir, M.K., Gregory, P. and Cajander, Å,  (Eds) Integrat-ing User Centred Design in Agile Development, Springer London, 2016.
X C1
Stephan Schiffel 2016 Tristan Cazenave, Mark HM Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, and Julian Togelius, editors. Computer Games: Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers, volume 614 of Communications in Computer and Information Science. Springer, 2016.

C1
Álvaro García Pérez 2016 L. ACETO, A. GARCIA-PEREZ AND A. INGOLFSDOTTIR. Rule formats for bounded nondeterminism in structural operational semantics. In Semantics, Logics, and Calculi — Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (Christian W. Probst, Chris Hankin and René Rydhof Hansen eds.), Lecture Notes in Computer Science 9560, pp. 313–343, Springer 2016
X C2
Anna Ingólfsdóttir 2016 L. ACETO, A. GARCIA-PEREZ AND A. INGOLFSDOTTIR. Rule formats for bounded nondeterminism in structural operational semantics. In Semantics, Logics, and Calculi — Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (Christian W. Probst, Chris Hankin and René Rydhof Hansen eds.), Lecture Notes in Computer Science 9560, pp. 313–343, Springer 2016
X C2
Luca Aceto 2016 L. ACETO, A. GARCIA-PEREZ AND A. INGOLFSDOTTIR. Rule formats for bounded nondeterminism in structural operational semantics. In Semantics, Logics, and Calculi — Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (Christian W. Probst, Chris Hankin and René Rydhof Hansen eds.), Lecture Notes in Computer Science 9560, pp. 313–343, Springer 2016
X C2
Marta K. Lárusdóttir 2016 Cockton, G., Larusdottir, M.K., Gregory, P. and Cajander, A.: Integrating User-Centred Design in Agile Development in Cockton, G., Larusdottir, M.K., Gregory, P. and Cajander, A, (Eds.) in Integrating User Centred Design in Agile Development, Springer London, 2016.
X C2
Marta K. Lárusdóttir 2016 Gregory, P. Larusdottir, M.K., Cajander, A. , Cockton, G.: Workshop on the Integration of User-Centred Design and Agile Development: Approach, Findings and Themes in Cockton, G., Larusdottir, M.K., Gregory, P. and Cajander, A, (Eds.) in Integrating User Centred Design in Agile Development, Springer London, 2016
X C2
Marta K. Lárusdóttir 2016 Larusdottir, M. K., Cajander, A, Erlingsdottir, G., Lind, T., Gulliksen, J.: Challenges from Integrating Usability Activities in Scrum - Why is Scrum so Fashionable? in Cockton, G., Larusdottir, M.K., Gregory, P. and Cajander, A, (Eds.) in Integrating User Centred Design in Agile Development, Springer London, 2016.
X C2
Páll J. Líndal 2016 Hartig, T. & Lindal, P. J. The restoration perspective: Linking nature experience with health, translated and forthcoming in Natur, Naturwahrnehmung, Naturschutz: Nachhaltige Entwicklung aus Sicht der Psychologie, 2016.
X C2
Stephan Schiffel 2016 Michal Trutman and Stephan Schiffel. Creating action heuristics for general game playing agents. In Computer Games, Communications In Computer and Information Science, Volume 614, pages 149–164. Springer, 2016.
X C2
Yngvi Björnsson 2016 Peter Gregory, Schumann Henrique Coli, Yngvi Björnsson, and Stephan Schiffel. The grl system: Learning board game rules with piece-move interactions. In Computer Games, Communications In Computer and Information Science, Volume 614, pages 130–148. Springer, 2016.
X C2
Stephan Schiffel 2016 Peter Gregory, Schumann Henrique Coli, Yngvi Björnsson, and Stephan Schiffel. The grl system: Learning board game rules with piece-move interactions. In Computer Games, Communications In Computer and Information Science, Volume 614, pages 130–148. Springer, 2016.
X C2
Stephan Schiffel 2016 Yngvi Björnsson and Stephan Schiffel (2016). General Game Playing. Handbook of Digital Games and Entertainment Technologies, p. 23-25. Springer.
X C2
Yngvi Björnsson 2016 Yngvi Björnsson and Stephan Schiffel (2016). General Game Playing. Handbook of Digital Games and Entertainment Technologies, p. 23-25. Springer.
X C2
Antonis Achilleos 2016 Antonis Achilleos. Interactions and Complexity in Multi-Agent Justification Logic. PhD thesis, The City University of New York, 2015.

D
Mohammad Hamdaqa 2016 Mohammad Hamdaqa, "An Integrated Modeling Framework for Managing the Deployment and Operation of Cloud Applications", Department of Electrical and Computer Engineering, University of Waterloo, Canada. 2016. (Ph.D. thesis.)

D
Stephan Schiffel 2016 Stephan Schiffel. Grounding gdl game descriptions. In The IJCAI-16 Workshop on General Intelligence and Game-Playing Agents, pages 15–22, 2016.
X D
Deon Garrett2015S. Perkin, D. Garrett, and P. Jensson. Optimal Wind Turbine Selection Methodology: A Case Study for Búrfell, Iceland. Renewable Energy. 75(3). March, 2015.XXA
Henning Úlfarsson2015A. Claesson, B. Tenner and H. Ulfarsson. Coincidence among families of mesh patterns. The Australasian Journal of Combinatorics 2015 Volume 63 Part 1 (2015)
XA
Henning Úlfarsson2015I. Hilmarsson, I. Jonsdottir, S. Sigurdardottir, L. Vidarsdottir and H. Ulfarsson. Wilf-classification of mesh patterns of short length. To appear in the Electronic Journal of CombinatoricsXXA
Kristinn R. Þórisson2014Autonomous Acquisition of Situated Natural Communication. K. R. Thórisson, E. Nivel, B. R. Steunebrink., H. P. Helgason, G. Peluzo, R. Sanz, J. Schmidhuber, H. Dindo, M. Rodriguez, A. Chella, G. Jonsson, D. Ognibene & C. Hernandez (2014). In A. P. dos Reis,P. Kommers & P. Isaías (eds.), IADIS International Journal of Computer Science & Information Systems, 9(2):115-131
XA
Anna Ingólfsdóttir
2015 L. ACETO, E. GORIAC AND A. INGOLFSDOTTIR. A Ground-Complete Axiomatization of Stateless Bisimilarity over Linda. Information Processing Letters 115(2):212–220, Elsevier, February 2015. XX 
A 
Luca Aceto2015L. ACETO, E. GORIAC AND A. INGOLFSDOTTIR. A Ground-Complete Axiomatization of Stateless Bisimilarity over Linda. Information Processing Letters 115(2):212–220, Elsevier, February 2015.XXA
Anna Ingólfsdóttir
2015Luca Aceto, Alvaro Garcia Perez and Anna Ingolfsdottir. Rule formats for bounded nondeterminism in structural operational semantics. C.W. Probst et al. (Eds.): Nielsons' Festschrift, Lecture Notes in Computer Science 9560, pp. 1–31, Springer International Publishing Switzerland, December 2015.
 XX
A 
Alvaro Garcia Perez2015Luca Aceto, Alvaro Garcia Perez and Anna Ingolfsdottir. Rule formats for bounded nondeterminism in structural operational semantics. C.W. Probst et al. (Eds.): Nielsons' Festschrift, Lecture Notes in Computer Science 9560, pp. 1–31, Springer International Publishing Switzerland, December 2015.
X
X 
A 
Luca Aceto2015Luca Aceto, Alvaro Garcia Perez and Anna Ingolfsdottir. Rule formats for bounded nondeterminism in structural operational semantics. C.W. Probst et al. (Eds.): Nielsons' Festschrift, Lecture Notes in Computer Science 9560, pp. 1–31, Springer International Publishing Switzerland, December 2015.XXA
Anna Ingólfsdóttir
2015L. ACETO, D. DELLA MONICA, V. GORANKO, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO.  A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: The General and the Dense Cases. Acta Informatica, Springer Verlag, 2015. Published on line on 14 May 2015. DOI: http://doi.org/10.1007/s00236-015-0231-4 XX 
A 
Dario Della Monica
2015L. ACETO, D. DELLA MONICA, V. GORANKO, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO.  A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: The General and the Dense Cases. Acta Informatica, Springer Verlag, 2015. Published on line on 14 May 2015. DOI: http://doi.org/10.1007/s00236-015-0231-4X 
X 
A 
Luca Aceto2015L. ACETO, D. DELLA MONICA, V. GORANKO, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO.  A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: The General and the Dense Cases. Acta Informatica, Springer Verlag, 2015. Published on line on 14 May 2015. DOI: http://doi.org/10.1007/s00236-015-0231-4XXA
Magnús Már Halldórsson2015Magnús M. Halldórsson, Jørgen Bang-Jensen. A Note on Vertex Coloring Edge-Weighted Digraphs. Information Processing Letters 115(10):791–796, October 2015.XXA
Marcel Kyas2015Sadikin, Mohammad Fal and Marcel Kyas. “Light-weight Key Management Scheme for Active RFID Applications”. In: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 15.5, e4. doi: 10 .4108/eai .17-9-2015 .150286

A
Marjan Sirjani2015Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi: Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. 98: 184-204 (2015)XXA
Marjan Sirjani2015Z. Sabahi, R. Khosravi, M. Sirjani, P. Olveczky, E. Khamespanah, Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude, SCP, 2015XXA
Marta Kristín Lárusdóttir2015Law, E. L. C., & Larusdottir, M. K. Whose Experience Do We Care About? Analysis of the Fitness of Scrum and Kanban to User Experi-ence (UX). International Journal of Human-Computer Interaction, vol 31 (9), pg. 584-602, DOI: 10.1080/10447318.2015.1065693.XXA
Páll Jakob Líndal2015Lindal, P.J. and Hartig, T. Effects of urban street vegetation on judgments of restoration likelihood. Urban Forestry & Urban Greening, 14(2): 200-209, 2015XXA
Tigran Tonoyan2015Tigran Tonoyan. Conflict Graphs and the SINR-Capacity of the Mean Power Scheme. Theoretical Computer Science, 2015. In press, doi:10.1016/j.tcs.2015.01.031XXA
Ýmir Vigfússon2015Håvard Johansen, Robbert van Renesse, Ymir Vigfusson, Dag Johansen. Fireflies: Secure and Scalable Membership and Gossip Service. In ACM Transactions on Computer Systems (TOCS). 33(2). April 2015.XXA
Álvaro García Pérez2015A. García-Pérez, P. Nogueira. No solvable lambda-value term left behind. ACM SIGPALN-SIGACT 2016 Symposium on Principles of Programming Languages (in review).

B
Björn Þór Jónson2015Stefán Freyr Stefánsson, Björn Þór Jónsson. Using Range Information to Reduce Local Descriptor Computations: A Case Study. Proceedings of the 2nd International Conference on Signal Processing and Integrated Networks (SPIN). Uttar Pradesh, India, February, 2015.
XB
Björn Þór Jónson2015Silas Luttenberger, Reiner Creutzburg, Björn Þór Jónsson. Presentation of a Web Service for Video Identification Based on Videntifier Techniques. Proceedings of the SPIE Conference on Mobile Devices and Multimedia: Enabling Technologies, Algorithms, and Applications. San Francisco, CA, USA, February, 2015.
XB
Marta Kristín Lárusdóttir
2015Björn Þór Jónsson, Grímur Tómasson, Hlynur Sigurþórsson, Áslaug Eiríksdóttir, Marta Kristín Lárusdóttir. A Multi-Dimensional Data Model for Personal Photo Browsing. Proceedings of the International Conference on MultiMedia Modeling (MMM); Special Session on Personal (Big) Data Modeling for Information Access & Retrieval. Sydney, Australia, January 2015.
 X 
 B
Björn Þór Jónson2015Björn Þór Jónsson, Grímur Tómasson, Hlynur Sigurþórsson, Áslaug Eiríksdóttir, Marta Kristín Lárusdóttir. A Multi-Dimensional Data Model for Personal Photo Browsing. Proceedings of the International Conference on MultiMedia Modeling (MMM); Special Session on Personal (Big) Data Modeling for Information Access & Retrieval. Sydney, Australia, January 2015.
XB
Christian Konrad2015Christian Konrad, Maximum Matching in Turnstile Streams, Proceedings of the 23rd European Symposium on Algorithms (ESA).
XB
Dario Della Monica2015D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco. On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. In Proc. of the 9th International Conference on Language and Automata Theory and Applications (LATA), 2015
XB
David Thue2015David Thue and Kári Halldórsson. Opportunities for Integration in Interactive Storytelling. In Proceedings of the Eighth International Conference on Interactive Digital Storytelling (ICIDS): 4 pages. Springer-Verlag. Copenhagen, Denmark. To appear in 2015.
XB
David Thue2015Vadim Bulitko and David Thue. A Call for Flow Modeling in Interactive Storytelling. In Proceedings of The Third Annual Conference on Advances in Cognitive Systems (ACS): Article 24, 10 pages. Cognitive Systems Foundation. Atlanta, Georgia, USA. May 28, 2015.
XB
Hannes Högni Vilhjálmsson2015C. Pedica, H. Vilhjálmsson, K. Kristinsson. “Study of Nine People in a Hallway”. In Proceedings of the ACM SIGGRAPH Conference Motion in Games, November 16th-18th, 2015, Paris, France
XB
Hannes Högni Vilhjálmsson2015S. Ólafsson, B. Bédi, H. Vilhjálmsson, B. Arinbjörnsdóttir. “Starting a Conversation with Strangers: Explicit Announcement of Presence”. In Proceedings of the 3rd European Symposium on Multimodal Communication, September 17th-18th 2015, Dublin, Ireland
XB
Hannes Högni Vilhjálmsson2015P. J. Lindal, H. Miri, K. R. Johannsdottir, T. Hartig, H. Vilhjálmsson. “Cities that Sustain Us: Using Virtual Reality to Test the Restorative Potential of Future Urban Environments”. In Proceedings of the 11th Biennial Conference on Environmental Psychology, August 24th-26th 2015, Groningen, The Netherlands XB
Jacqueline Mallett2015Jacky Mallett An Investigation into the effects of Variable Rates of Banking System Growth on Prices and Capital allocation  17th Annual Conference of the  International Network of Economic Research
XB
Jacqueline Mallett2015Jacky Mallett Threadneedle: An Experimental Tool for the Simulation and Analysis of Fractional Reserve Banking Systems 41stAnnual Conference, Eastern Economics Association. 2015
XB
Kristinn R. Þórisson2015E. Nivel, K. R. Thórisson, B. Steunebrink & J. Schmidhüber (2015). J. Bieger, B. Goertzel & A. Potapov (eds.), Anytime Bounded Rationality. Proc. 8th International Conference on Artificial General Intelligence (AGI-15), 121-130, Berlin, Germany, July 22-25
XB
Kristinn R. Þórisson2015J. Bieger, K. R. Thórisson & P. Wang (2015). Safe Baby AGI. J. Bieger, B. Goertzel & A. Potapov (eds.), Proc. 8th International Conference on Artificial General Intelligence (AGI-15), 46-49, Berlin, Germany, July 22-25
XB
Stephan Schiffel
2015K. R. Thórisson, J. Bieger, S. Schiffel & D. Garrett (2015). Towards Flexible Task Environments for Comprehensive Evaluation of Artificial Intelligent Systems & Automatic Learners. J. Bieger, B. Goertzel & A. Potapov (eds.), Proc. 8th International Conference on Artificial General Intelligence (AGI-15), 187-196, Berlin, Germany, July 22-25
  X B
Deon Garrett
2015K. R. Thórisson, J. Bieger, S. Schiffel & D. Garrett (2015). Towards Flexible Task Environments for Comprehensive Evaluation of Artificial Intelligent Systems & Automatic Learners. J. Bieger, B. Goertzel & A. Potapov (eds.), Proc. 8th International Conference on Artificial General Intelligence (AGI-15), 187-196, Berlin, Germany, July 22-25
  XB 
Kristinn R. Þórisson2015K. R. Thórisson, J. Bieger, S. Schiffel & D. Garrett (2015). Towards Flexible Task Environments for Comprehensive Evaluation of Artificial Intelligent Systems & Automatic Learners. J. Bieger, B. Goertzel & A. Potapov (eds.), Proc. 8th International Conference on Artificial General Intelligence (AGI-15), 187-196, Berlin, Germany, July 22-25
XB
Luca Aceto2015L. ACETO, K.G. LARSEN, A. MORICHETTA AND F. TIEZZI. A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing. Proceedings of the 12th International Conference on Formal Aspects of Component Software (FACS 2015), Lecture Notes in Computer Science, Springer Verlag, 2015.
XB
Anna Ingólfsdóttir
2015A. FRANCALANZA, L. ACETO AND A. INGOLFSDOTTIR. On Verifying Hennessy-Milner Logic with Recursion at Runtime. Proceedings of the 15th International Conference on Runtime Verification (RV 2015) (E. Bartocci and R. Majumdar eds., Lecture Notes in Computer Science 9333, pp. 71–86, Springer Verlag, 2015.
 X 
B 
Luca Aceto2015A. FRANCALANZA, L. ACETO AND A. INGOLFSDOTTIR. On Verifying Hennessy-Milner Logic with Recursion at Runtime. Proceedings of the 15th International Conference on Runtime Verification (RV 2015) (E. Bartocci and R. Majumdar eds., Lecture Notes in Computer Science 9333, pp. 71–86, Springer Verlag, 2015.
XB
Anna Ingólfsdóttir
2015L. ACETO, D. DELLA MONICA, I. FABREGAS AND A. INGOLFSDOTTIR. When are prime formulae characteristic? Proceedings of the 40th MFCS, Mathematical Foundations of Computer Science, Part I (G. Italiano, G. Pighizzini and D. Sannella eds.), Lecture Notes in Computer Science 9234, pp. 76–88, Springer Verlag, 2015.

X
B 
Ignacio Fabregas Alfaro
2015
L. ACETO, D. DELLA MONICA, I. FABREGAS AND A. INGOLFSDOTTIR. When are prime formulae characteristic? Proceedings of the 40th MFCS, Mathematical Foundations of Computer Science, Part I (G. Italiano, G. Pighizzini and D. Sannella eds.), Lecture Notes in Computer Science 9234, pp. 76–88, Springer Verlag, 2015.
 X 
B
Dario Della Monica
2015L. ACETO, D. DELLA MONICA, I. FABREGAS AND A. INGOLFSDOTTIR. When are prime formulae characteristic? Proceedings of the 40th MFCS, Mathematical Foundations of Computer Science, Part I (G. Italiano, G. Pighizzini and D. Sannella eds.), Lecture Notes in Computer Science 9234, pp. 76–88, Springer Verlag, 2015.
 X 
B 
Luca Aceto2015L. ACETO, D. DELLA MONICA, I. FABREGAS AND A. INGOLFSDOTTIR. When are prime formulae characteristic? Proceedings of the 40th MFCS, Mathematical Foundations of Computer Science, Part I (G. Italiano, G. Pighizzini and D. Sannella eds.), Lecture Notes in Computer Science 9234, pp. 76–88, Springer Verlag, 2015.
XB
Luca Aceto2015L. ACETO, A. MORICHETTA AND F. TIEZZI. Decision Support for Mobile Cloud Computing Applications via Model Checking. Proceedings of the 3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, pp. 199–204, IEEE Computer Society, 2015.
XB
Tigran Tonoyan
2015Magnús M. Halldórsson, Tigran Tonoyan. How Well Can Graphs Represent Wireless Interference? In Proc. 47th ACM Symposium on Theory of Computing (STOC), June 2015.
 X
B 
Magnús Már Halldórsson2015Magnús M. Halldórsson, Tigran Tonoyan. How Well Can Graphs Represent Wireless Interference? In Proc. 47th ACM Symposium on Theory of Computing (STOC), June 2015.
XB
Magnús Már Halldórsson2015Magnús Már Halldórsson, Sven Köhler, Boaz Patt-Shamir, Dror Rawitz. Distributed Backup Placement in Networks. In Proc. 27th Annual ACM Symposium on Parallelism in Algorithms and Architecture (SPAA), June 2015.
XB
Magnús Már Halldórsson2015Magnús M. Halldórsson, Stephan Holzer, Nancy Lynch. A Local Broadcast Layer for the SINR Network Model. To appear in Proc. 34th ACM Symposium on Principles of Distributed Computing (PODC), July 2015.
XB
Magnús Már Halldórsson2015Magnús M. Halldórsson, Yuexuan Wang and Dongxiao Yu. Leveraging Multiple Channels in Ad Hoc Networks. To appear in Proc. 34th ACM Symposium on Principles of Distributed Computing (PODC), July 2015.
XB
Christian Konrad
2015
Rajiv Gandhi, Magnús M. Halldórsson, Christian Konrad, Guy Kortsarz, and Hoon Oh. Radio Aggregation Scheduling. To appear in Proc. ALGOSENSORS, September 2015.
 X
B
Magnús Már Halldórsson2015Rajiv Gandhi, Magnús M. Halldórsson, Christian Konrad, Guy Kortsarz, and Hoon Oh. Radio Aggregation Scheduling. To appear in Proc. ALGOSENSORS, September 2015.
XB
Tigran Tonoyan
2015
Magnús M. Halldórsson, Tigran Tonoyan. Limitations of Current Wireless Scheduling Algorithms.  In Proc. ALGOSENSORS, September 2015.  (LNCS)
 X
B
Magnús Már Halldórsson2015Magnús M. Halldórsson, Tigran Tonoyan. Limitations of Current Wireless Scheduling Algorithms.  In Proc. ALGOSENSORS, September 2015.  (LNCS)
XB
Christian Konrad
2015
Magnús M. Halldórsson, Christian Konrad. Distributed Large Independent Sets in One Round On Bounded-independence Graphs. To appear in Proc. 29th International Symposium on DIStributed Computing (DISC), October 2015.
 X
B
Magnús Már Halldórsson2015Magnús M. Halldórsson, Christian Konrad. Distributed Large Independent Sets in One Round On Bounded-independence Graphs. To appear in Proc. 29th International Symposium on DIStributed Computing (DISC), October 2015.
XB
Christian Konrad
2015Marijke Bodlaender, Magnús M. Halldórsson, Christian Konrad. Local Approximation of Independent Sets and Coloring. 29th DISC  (Poster)
 X 
B 
Magnús Már Halldórsson2015Marijke Bodlaender, Magnús M. Halldórsson, Christian Konrad. Local Approximation of Independent Sets and Coloring. 29th DISC  (Poster)
XB
Tigran Tonoyan
2015
Magnús M. Halldórsson, Tigran Tonoyan . The Price of Local Power Control in Wireless Scheduling. To appear in Proc. 35thFoundations of Software Technology and Theoretical Computer Science FSTTCS, December 2015. (LNCS)
 X 
B 
Magnús Már Halldórsson2015Magnús M. Halldórsson, Tigran Tonoyan . The Price of Local Power Control in Wireless Scheduling. To appear in Proc. 35thFoundations of Software Technology and Theoretical Computer Science FSTTCS, December 2015. (LNCS)
XB
Marcel Kyas2015Kurniawan, Agus and Marcel Kyas. “A trust-model Bayesian decision theory in large scale Internet of Things”. In: ISSNIP. Singapore: IEEE Press, pp. 1–6. doi: 10.1109/ISSNIP.2015.7106964.

B
Marjan Sirjani2015Arvin Zakarian, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, Jacco: More Efficient Model Checking Toolset for Java Actor Programs, Agere 2015, USA, 2015
XB
Marjan Sirjani2015Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi, Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors, FACS 2015, 2015
XB
Marjan Sirjani2015Ehsan Khamespanah, Marjan Sirjani, MohammadReza Mousavi, Zeynab Sabahi, MohammadReza Razzazi, State Distribution Policy for Distributed Model Checking of Actor Models, AVoCS 2015, 2015
XB
Marta Kristín Lárusdóttir2015Convertino, G., Frishberg, N., Hoonhout, J., Lanzilotti, R., Lárusdóttir, M. K., & Law, E. L. C. (2015). The Landscape of UX Requirements Practices. In Human-Computer Interaction–INTERACT 2015 (pp. 673-674). Springer International Publishing.
XB
Marta Kristín Lárusdóttir2015Larusdottir, M.K., Law, E., Cajander, A.: User and Client Satisfaction in Agile Development, proc. of the workshop called:  Workshop on User Experience and User-Centered Development Processes at INTERACT 2015.
XB
Marta Kristín Lárusdóttir2015Åsa Cajander, A., Nauwerck, G., Lind, T., Larusdottir, M. K.: Challenges for Action Research on HWID in Activity Based Workplaces, proc. of the workshop called:  Human Work Interaction Design (HWID): Design for Challenging Work Environments at INTERACT 2015.
XB
Marta Kristín Lárusdóttir2015Cajander, A, Larusdottir, M.K., Eriksson, E., Nauwerck, G.: Providing a Holistic View and Bringing Life into the Conversation - Eliciting IT-based Administrative Work with Contextual Personas, Proc. of human work interaction design conference, London, June, 2015.
XB
Marta Kristín Lárusdóttir2015Larusdottir, M.K., Daniels, M. and McDermott, R.: Quality Assurance using International Curricula and Employer Feedback, proc. of the Australasian Computing Education Conference, Sydney, January, 2015.
XB
Yngvi Björnsson2015Kári Halldórsson and Yngvi Björnsson (2015). Automated Decomposition of Game Maps, In Proceedings of the 11th International Conference on Artificial Intelligence and Interactive Entertainment (AIIDE'15), Santa Cruz, CA. In press.
XB
Ýmir Vigfússon2015Distilling the Ingredients of P2P Live Streaming Systems. Roy Friedman, Alex Libov, Ymir Vigfusson. In IEEE International Conference on P2P Computing, Cambridge, MA. September, 2015.
XB
Luca Aceto2015L. ACETO AND D. DE FRUTOS ESCRIG. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR'15). LIPIcs — Leibniz International Proceedings in Informatics Vol. 42, pages i–xiv and 1–510, 2015. http://www.dagstuhl.de/dagpub/978-3-939897-91-0
XC1
Magnús Már Halldórsson2015M. M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (Eds.) ICALP 2015, Kyoto, Japan, July 5-11, 2015, Proceedings, Part I: Track A: Algorithms, Automata, Complexity, and Games. Springer LNCS # 9134, 2015.
XC1
Magnús Már Halldórsson2015M. M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (Eds.) ICALP 2015, Kyoto, Japan, July 5-11, 2015, Proceedings, Part II: Tracks B and C: Logic and Semantics; Foundations of Networked Computation Springer LNCS # 9135, 2015.
XC1
David Thue2015Vadim Bulitko, Greg Lee, Sergio Poo-Hernandez, Alejandro Ramirez, David Thue. Techniques for AI-driven Experience Management. In book: Game AI Pro 2. 10 pages. Steve Rabin (Ed.). CRC Press. May 1, 2015.
XC2
Alvaro García-Perez
2015 
L. ACETO, A. GARCIA -PEREZ AND A. I NGOLFSDOTTIR. Rule formats for bounded nondeterminism in structural operational semantics. H. Riis Nielson and F. Nielson Festschrift. Lecture Notes in Computer Science, Springer-Verlag, December 2015. http://icetcs.ru.is/nosos/FestAGPI.pdf
 X
C2
Anna Ingólfsdóttir
2015
L. ACETO, A. GARCIA -PEREZ AND A. I NGOLFSDOTTIR. Rule formats for bounded nondeterminism in structural operational semantics. H. Riis Nielson and F. Nielson Festschrift. Lecture Notes in Computer Science, Springer-Verlag, December 2015. http://icetcs.ru.is/nosos/FestAGPI.pdf
 X
C2
Luca Aceto2015L. ACETO, A. GARCIA -PEREZ AND A. I NGOLFSDOTTIR. Rule formats for bounded nondeterminism in structural operational semantics. H. Riis Nielson and F. Nielson Festschrift. Lecture Notes in Computer Science, Springer-Verlag, December 2015. http://icetcs.ru.is/nosos/FestAGPI.pdf
XC2
Magnús Már Halldórsson2015Magnús M. Halldórsson. Progress (and Lack Thereof) for Graph Coloring Approximation Problems. Invited paper to Proc. 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Pec pod Snezkou, Czech Republic, Springer LNCS, January 2015.
XC2
Páll Jakob Líndal2015Hartig, T. & Lindal, P. J. The restoration perspective: Linking nature experience with health, translated and forthcoming in Natur, Naturwahrnehmung, Naturschutz: Nachhaltige Entwicklung aus Sicht der Psychologie, 2015.
XC2
Dario Della Monica2015D. Della Monica, A. Francalanza. Towards A Hybrid Approach to Software Verification. 27th Nordic Workshop on Programming Theory (NWPT), October 21-23, 2015 (extended Abstract)
XD
Dario Della Monica2015D. Romero-Hérnandez, D. de Frutos-Escrig, and D. Della Monica. Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. 15th Jornadas sobre PROgramación y LEnguajes (PROLE), September, 15th - 17th 2015 (regular paper)
XD
Yngvi Björnsson
2015
Peter Gregory, Yngvi Björnsson, Stephan Schiffel. The GRL System: Learning Board Game Rules With Piece-Move Interactions. In The IJCAI-15 Workshop on General Game Playing, Buenos Aires, Argentina, 2015
 X 
D
Stephan Schiffel2015Peter Gregory, Yngvi Björnsson, Stephan Schiffel. The GRL System: Learning Board Game Rules With Piece-Move Interactions. In The IJCAI-15 Workshop on General Game Playing, Buenos Aires, Argentina, 2015
XD
Stephan Schiffel2015Michal Trutman and Stephan Schiffel. Creating Action Heuristics for General Game Playing Agents. The IJCAI-15 Workshop on General Game Playing, Buenos Aires, Argentina, 2015
XD
Alvaro García-Pérez2014A. García-Pérez and P. Nogueira. On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines. Science of Computer Programming 95(2):176-199, 2014.X A
Dario Della Monica2014Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco. Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity, Journal of Theoretical Computer Science, April 2014 (DOI: 10.1016/j.tcs.2014.03.033 online since April 2014).XXA
Dario Della Monica2014D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. The dark side of Interval Temporal Logic: marking the undecidability border. Annals of Mathematics and Artificial Intelligence (AMAI), 71(1-3): 41-83, 2014.XXA
Dario Della Monica2014D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco. The Light Side of Interval Temporal Logic: the Bernays-Schönfinkel fragment of CDT. Annals of Mathematics and Artificial Intelligence (AMAI), 71(1-3): 11-39, 2014.XXA
Deon Garrett2014H.P. Helgason, K.R. Thorisson, and D. Garrett. Towards a General Attention Mechanism for Embedded Intelligent Systems. International Journal of Computer Science and Artificial Intelligence. 4(1):1—7. 2014. XA
Kristinn R. Þórisson2014H.P. Helgason, K.R. Thorisson, and D. Garrett. Towards a General Attention Mechanism for Embedded Intelligent Systems. International Journal of Computer Science and Artificial Intelligence. 4(1):1—7. 2014. XA
Anna Ingólfsdóttir2014L. ACETO, D. DE FRUTOS-ESCRIG, C. GREGORIO-RODRIGUEZ AND A. INGOLFSDOTTIR. Axiomatizing Weak Simulation Semantics over BCCSP. Theoretical Computer Science 437:42-71, Elsevier, June 2014.XXA
Luca Aceto2014L. ACETO, D. DE FRUTOS-ESCRIG, C. GREGORIO-RODRIGUEZ AND A. INGOLFSDOTTIR. Axiomatizing Weak Simulation Semantics over BCCSP. Theoretical Computer Science 437:42-71, Elsevier, June 2014.XXA
Marjan Sirjani2014A. REYNISSON, M. SIRJANI., L. ACETO, M. CIMINI, A. JAFARI, A. INGOLFSDOTTIR AND S. SIGURDARSON.   Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca. Science of Computer Programming 89(A);41-68, Elsevier, 2014.XXA
Anna Ingólfsdóttir2014A. REYNISSON, M. SIRJANI., L. ACETO, M. CIMINI, A. JAFARI, A. INGOLFSDOTTIR AND S. SIGURDARSON.   Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca. Science of Computer Programming 89(A);41-68, Elsevier, 2014.XXA
Luca Aceto2014A. REYNISSON, M. SIRJANI., L. ACETO, M. CIMINI, A. JAFARI, A. INGOLFSDOTTIR AND S. SIGURDARSON.   Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca. Science of Computer Programming 89(A);41-68, Elsevier, 2014.XXA
Anna Ingólfsdóttir2014L. ACETO, E. GORIAC AND A. INGOLFSDOTTIR. SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. Journal of Logic and Algebraic Programming 83(1):64-80, Elsevier, January 2014.XXA
Luca Aceto2014L. ACETO, E. GORIAC AND A. INGOLFSDOTTIR. SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. Journal of Logic and Algebraic Programming 83(1):64-80, Elsevier, January 2014.XXA
Magnús Már Halldórsson2014Olga Goussevskaia, Magnús M. Halldórsson, Roger Wattenhofer. IEEE/ACM Transactions on Networking, 2(3):745–755, June 2014. DOI: 10.1109/TNET.2013.2258036. Online since May 2013.XXA
Magnús Már Halldórsson2014Magnús M. Halldórsson, Pradipta Mitra. Wireless Capacity With Arbitrary Gain Matrix. Theoretical Computer Science,available online from 9 Oct 2013.XXA
Marta Kristín Lárusdóttir2014Larusdottir, M. K., Cajander, A, Gulliksen, J: Informal Feedback Rather Than Performance Measurements – User Centred Evaluation in Scrum Projects. Accepted for Behaviour and Information Technology. Vol 33 - issue 11, pg. 1118 - 1135. DOI: 10.1080/0144929X.2013.857430XXA
Stephan Schiffel2014Stephan Schiffel, Michael Thielscher. Representing and Reasoning About the Rules of General Games With Imperfect Information. Journal of Artificial Intelligence Research, 49:171–206, 2014XXA
Yngvi Björnsson2014Stephan Schiffel, Yngvi Björnsson. Efficiency of GDL Reasoners. IEEE Transactions on Computational Intelligence and AI in Games, 2014XXA
Stephan Schiffel2014Stephan Schiffel, Yngvi Björnsson. Efficiency of GDL Reasoners. IEEE Transactions on Computational Intelligence and AI in Games, 2014XXA
Alvaro García-Pérez2014A. García-Pérez, P. Nogueira and I. Sergey. Deriving interpretations of the gradually-typed lambda calculus. Proceedings of the ACM SIGPLAN 2014 Symposium on Partial Evaluation and Program Manipulation, pp. 157-168, ACM New York, NY, USA, 2014.  B
Christian Konrad2014Di Chen, Christian Konrad, Ke Yi, Wei Yu, Qin Zhang (2014):Robust Set Reconciliation, SIGMOD. XB
Dario Della Monica2014D. Della Monica, A. Montanari, G. Sciavicco, and D. Tishkovsky. First steps towards automated synthesis of tableau systems for interval temporal logics. In Proc. of the 5th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS), pages 32-37, 2014. XB
Hannes Högni Vilhjálmsson2014C. Oliva and H. Vilhjálmsson. “Prediction in Social Path Following”.  In Proceedings of the ACM SIGGRAPH Conference on Motion in Games, November 6-8, Los Angeles, CA. XB
Hannes Högni Vilhjálmsson2014A. Cafaro, H. Vilhjálmsson, T. Bickmore, D. Heylen, C. Pelachaud. “Representing Communicative Functions in SAIBA with a Unified Function Markup Language”. In Proceedings of the 14th International Conference on Intelligent Virtual Agents, August 27-29, Boston, MA, Lecture Notes in Artificial Intelligence, 8637:81-94, 2014, Springer International Publishing Switzerland XB
Henning Úlfarsson2014M. Albert, B. Gudmundsson, H. Ulfarsson: Collatz meets Fibonacci. Permutation Patterns, East Tennessee State University, USA, July 2014 XB
Hrafn Loftsson2014Anton Karl Ingason, Hrafn Loftsson, Eiríkur Rögnvaldsson, Einar Freyr Sigurðsson and Joel C. Wallenberg.  Rapid Deployment of Phrase Structure Parsing for Related Languages: A Case Study of Insular Scandinavian. In Proceedings of the 9th International Conference on Language Resources and Evaluation (LREC 2014). Reykjavik, Iceland. XB
Hrafn Loftsson2014Sigrún Helgadóttir, Hrafn Loftsson and Eiríkur Rögnvaldsson.  Correcting Errors in a New Gold Standard for Tagging Icelandic Text. In Proceedings of the 9th International Conference on Language Resources and Evaluation (LREC 2014). Reykjavik, Iceland. XB
Deon Garrett2014D. Garrett, J. Bieger, and K.R. Thórisson. Tunable and Generic Problem Instance Generation for Multi-Task Reinforcement Learning. To appear in the Proceedings of the IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning. Orlando, FL, USA. 2014. XB
Kristinn R. Þórisson2014D. Garrett, J. Bieger, and K.R. Thórisson. Tunable and Generic Problem Instance Generation for Multi-Task Reinforcement Learning. To appear in the Proceedings of the IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning. Orlando, FL, USA. 2014. XB
Deon Garrett2014J. Bieger, K.R. Thórisson, and D. Garrett. Raising AI: Tutoring Matters. Artificial General Intelligence (AGI-14). Montreal Canada. 2014. XB
Kristinn R. Þórisson2014J. Bieger, K.R. Thórisson, and D. Garrett. Raising AI: Tutoring Matters. Artificial General Intelligence (AGI-14). Montreal Canada. 2014. XB
Kristinn R. Þórisson2014E. Nivel, K. R. Thórisson, B. R. Steunebrink.,H. Dindo, G. Peluzo, M. Rodriguez, C. Hernandez, D. Ognibene, J. Schmidhuber, R. Sanz, H. P. Helgason, A. Chella & G. Jonsson (2014). Autonomous Acquisition of Natural Language. In A. P. dos Reis,P. Kommers & P. Isaías (eds.), Proceedings of the IADIS International Conference on Intelligent Systems & Agents 2014 (ISA-14), 58-66, Lisbon, Portugal, July 15-17 XB
Kristinn R. Þórisson2014Nivel, E., K. R. Thórisson, B. R. Steunebrink.,H. Dindo, G. Peluzo, M. Rodriguez, C. Hernandez, D. Ognibene, J. Schmidhuber, R. Sanz, H. P. Helgason & A. Chell (2014). Bounded Seed-AGI. In B. Goerzel, L. Orseau & J. Snaider (eds.), Proceedings of Artificial General Intelligence (AGI-14), 85-96, Quebec, Canada. XB
Dario Della Monica2014L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. On the Expressiveness of the Interval Logic of Allen's Relations over Discrete and Finite Linear Orders. In the Proceedings of JELIA 2014, 14th European Conference on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence 8761, pp. 267-281, Springer Verlag, 2014. XB
Anna Ingólfsdóttir2014L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. On the Expressiveness of the Interval Logic of Allen's Relations over Discrete and Finite Linear Orders. In the Proceedings of JELIA 2014, 14th European Conference on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence 8761, pp. 267-281, Springer Verlag, 2014. XB
Luca Aceto2014L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. On the Expressiveness of the Interval Logic of Allen's Relations over Discrete and Finite Linear Orders. In the Proceedings of JELIA 2014, 14th European Conference on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence 8761, pp. 267-281, Springer Verlag, 2014. XB
Christian Konrad2014Yusuke Aoki, Bjarni V. Halldorsson, Magnus M. Halldorsson, Takehiro Ito, Christian Konrad and Xiao Zhou. The Minimum Vulnerability Problem on Graphs. In Proc. of 8th Annual Int'l Conference on Combinatorial Optimization and Applications (COCOA), Dec. 2014. XB
Magnús Már Halldórsson2014Yusuke Aoki, Bjarni V. Halldorsson, Magnus M. Halldorsson, Takehiro Ito, Christian Konrad and Xiao Zhou. The Minimum Vulnerability Problem on Graphs. In Proc. of 8th Annual Int'l Conference on Combinatorial Optimization and Applications (COCOA), Dec. 2014. XB
Magnús Már Halldórsson2014Eyjólfur I. Ásgeirsson, Magnús M. Halldórsson, Pradipta Mitra. Maximum MIMO Flow in Wireless Networks under the SINR Model. In Proceedings of the 12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOPT), May 2014. XB
Magnús Már Halldórsson2014Marijke H. L. Bodlaender, Magnús M. Halldórsson. Beyond Geometry : Towards Fully Realistic Wireless Models. In Proc. 33rd ACM Symposium on Principles of Distributed Computing (PODC), July 2014. XB
Ýmir Vigfússon2014Helga Gudmundsdottir, Eyjólfur I. Ásgeirsson, Marijke H. L. Bodlaender, Joseph T. Foley, Magnús M. Halldórsson, Ymir Vigfusson. Wireless Scheduling Algorithms in Complex Environments. In Proc. 17th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM), September 2014. XB
Magnús Már Halldórsson2014Helga Gudmundsdottir, Eyjólfur I. Ásgeirsson, Marijke H. L. Bodlaender, Joseph T. Foley, Magnús M. Halldórsson, Ymir Vigfusson. Wireless Scheduling Algorithms in Complex Environments. In Proc. 17th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM), September 2014. XB
Christian Konrad2014Magnús M. Halldórsson, Christian Konrad. Distributed Algorithms for Coloring Interval Graphs.  In Proc. 28th International Symposium on DIStributed Computing (DISC), October 2014. XB
Magnús Már Halldórsson2014Magnús M. Halldórsson, Christian Konrad. Distributed Algorithms for Coloring Interval Graphs.  In Proc. 28th International Symposium on DIStributed Computing (DISC), October 2014. XB
Marjan Sirjani2014Brynjar Magnusson, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, Event-based Analysis of Timed Rebeca Models using SQL, AGERE 2014, USA, October 2014 XB
Marjan Sirjani2014Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, Efficient TCTL Model Checking Algorithm for Timed Actors, AGERE 2014, USA, October 2014 XB
Marjan Sirjani2014Ali Jafari, Ehsan Khamespanah, Marjan Sirjani and Holger Hermanns, Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors, AVoCS 2014, Netherlands, October 2014 XB
Marta Kristín Lárusdóttir2014Law, E., Larusdottir, M.K.: User Experience (UX) Design: Agile or Lean? paper accepted in the proceedings of a workshop at the NordiCHI 2014 conference in Helsinki, October, 2014, 5 pages XB
Marta Kristín Lárusdóttir2014McDermott, R., Daniels, M., Larusdottir, M.K.: Subject-Level Quality Assurance In Computing - Experiences From Three National Perspectives, paper accepted in the proceedings of the Frontiers of Education 2014 conference in Madrid, October, 2014, 8 pages XB
Marta Kristín Lárusdóttir2014Larusdottir, M.K., Cajander, A, Simader, M.: Continuous Improvement in Agile Development Practice - The Case of Value and Non-Value Adding Activities, paper accepted in the proceedings of the HCSE 2014 conference in Paderborn, September, 2014, 17 pages XB
Ýmir Vigfússon2014Roy Friedman, Alex Libov, Ymir Vigfusson. MOLStream: A Modular Rapid Development and Evaluation Framework for Live P2P Streaming. In ICDCS '14, Madrid, Spain. June, 2014.  34th International Conference on Distributed Computing Systems XB
Ýmir Vigfússon2014Helgi Sigurbjarnarson, Petur Orri Ragnarsson, Ymir Vigfusson, Mahesh Balakrishnan. Harmonium: Elastic Cloud Storage via File Motifs. In HotStorage '14, Philadelphia, PA. June, 2014.  6th USENIX Workshop on Hot Topics in Storage and File Systems. XB
Ýmir Vigfússon2014Paolo Rovelli and Ymir Vigfusson. PMDS: Permission-based Malware Detection System. ICISS 2014, 10th International Symposium on Information Systems Security. December 2014 XB
Ýmir Vigfússon2014Trausti Saemundsson, Hjortur Bjornsson, Gregory Chockler and Ymir Vigfusson. Dynamic performance profiling of cloud caches. Accepted to SOCC 2014: ACM Symposium on Cloud Computing. November 2014 XB
Ýmir Vigfússon2014Helga Gudmundsdottir, Qi Huang, Daniel Freedman, Robbert van Renesse, Ken Birman, Ymir Vigfusson. Characterizing Load Imbalance in Real-World Networked Caches. Accepted to ACM 14th Workshop on Hot Topics in Networks. October 2014 XB
David Thue2014Alex Mitchell, Clara Fernández-Vara, David Thue. Interactive Storytelling: Proceedings of the Seventh International Conference on Interactive Digital Storytelling (ICIDS 2014). Lecture Notes in Computer Science, Vol. 8832. Springer Verlag. November 3, 2014. XC1
Magnús Már Halldórsson2014Magnús M. Halldórsson, Shlomi Dolev (Eds.): ACM Symposium on Principles of Distributed Computing, PODC '14, Paris, France, July 15-18, 2014. ACM 2014, ISBN 978-1-4503-2944-6 XC1
Magnús Már Halldórsson2014Magnús M. Halldórsson (Ed.): Structural Information and Communication Complexity - 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014. Proceedings. Lecture Notes in Computer Science 8576, Springer 2014, ISBN 978-3-319-09619-3 XC1
Hannes Högni Vilhjálmsson2014Vilhjálmsson, H. (to appear), “Automation of Avatar Behavior” in Tanenbaum, J., el-Nasr, M. S. and Nixon M. (Eds.): Non-Verbal Communications in Virtual Worlds. ETC Press (Carnegie Mellon University). XC2
Alvaro García-Pérez2014Álvaro García-Pérez. Operational aspects of full reduction in lambda calculi. Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software, Universidad Politécnica de Madrid. 2014. (Ph.D. Thesis.)  D
Björn Þór Jónsson2014Björn Þór Jónsson, Áslaug Eiríksdóttir, Ólafur Waage, Grímur Tómasson, Hlynur Sigurþórsson, Laurent Amsaleg. M3 + P3 + O3 =  Multi-D Photo Browsing. Proceedings of the 20th Anniversary International Conference on MultiMedia Modeling (MMM). Dublin, Ireland, January, 2014 (Demonstration paper) XD
Hannes Högni Vilhjálmsson2014H. Vilhjálmsson, E. Björgvinsson, H. Helgadóttir, K. Kristinsson, S. Ólafsson. (2014) "We Never Stop Behaving: The Challenge of Specifying and Integrating Continuous Behavior".  In Proceedings of the Workshop on Architectures and Standards for IVAs at the 14th International Conference on Intelligent Virtual Agents, August 27-29, Boston, MA XD
Hannes Högni Vilhjálmsson2014A. Cafaro and H. Vilhjálmsson. (2014) "First Impressions in Human-Agent Virtual Encounters". Poster at the London Virtual Social Interaction Workshop, UCL Institute of Cognitive Neuroscience, September 4-5, London UK XD
Anna Ingólfsdóttir 2013 L. ACETO, I. FÁBREGAS, D. DE FRUTOS ESCRIG , A. INGOLFSDOTTIR AND M. PALOMINO . On the specification of modal systems: a comparison of three frameworks. Science of Computer Programming 78:2468–2487, Elsevier, 2013. X X A
Christian Konrad 2013 Christian Konrad, Frédéric Magniez (2013): Validating XML Documents in the Streaming Model with External Memory, ACM Transactions on Database Systems (TODS).  X
A
Dario Della Monica 2013 D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco. The Light Side of Interval Temporal Logic: the Bernays-Schönfinkel fragment of CDT. Annals of Mathematics and Artificial Intelligence (AMAI), March 2013 (DOI: 10.1007/s10472-013-9337-y, online since March 2013). X X A
Dario Della Monica 2013 D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. Metric Propositional Neighborhood Logics on Natural Numbers. Software and Systems Modeling (SoSyM), 12(2):245-264, 2013 X
A
Dario Della Monica 2013 D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. The dark side of Interval Temporal Logic: marking the undecidability border. Annals of Mathematics and Artificial Intelligence (AMAI), September 2013 (DOI: 10.1007/s10472-013-9376-4 online since September 2013). X X A
Henning Úlfarsson 2013 H. Ulfarsson: BiSC: An algorithm for discovering generalized permutation patterns. Submitted to Journal of Combinatory Theory Series A. X X A
Henning Úlfarsson 2013 I. Hilmarsson, I. Jonsdottir, S. Sigurdardottir, L. Vidarsdottir and H. Ulfarsson: Wilf-classification of mesh patterns of short length. Submitted to Electronic Journal of Combinatorics.  X X A
Luca Aceto 2013 L. ACETO, I. FÁBREGAS, D. DE FRUTOS ESCRIG , A. INGOLFSDOTTIR AND M. PALOMINO . On the specification of modal systems: a comparison of three frameworks. Science of Computer Programming 78:2468–2487, Elsevier, 2013. X X A
Magnús Már Halldórsson 2013 Geir Agnarsson, Magnús M. Halldórsson, Elena Losievskaja. SDP-based Algorithms for Maximum Independent Set Problems on Hypergraphs. Theoretical Computer Science, 470:1-9, 2013. X X A
Magnús Már Halldórsson 2013 Magnús M. Halldórsson, Boaz Patt-Shamir, Dror Rawitz. Scheduling with interval conflicts. To appear in Theory of Computing Systems 53(2):300-317. Special issue of STACS 2011. X X A
Magnús Már Halldórsson 2013 Rajiv Gandhi, Magnús M. Halldórsson, G. Kortsarz and H. Shachnai. Corrigendum: Improved results for data migration and open-shop scheduling. To appear in ACM Transactions on Algorithms, 2013. X X A
Magnús Már Halldórsson 2013 Tatsuya Akutsu, Daiji Fukagawa, Magnús M. Halldórsson, Atsuhiro Takasu, Keisuke Tanaka. Approximation and Parameterized Algorithms for Common Subtrees and Edit Distance between Unordered Trees. Theoretical Computer Science, 470:10-22, 2013. X X A
Magnús Már Halldórsson 2013 Unnar Th. Bachmann, Magnús M. Halldórsson, Hadas Shachnai. Online selection of intervals and t-intervals. Information and Computation 233:1–11, December 2013.
 X X A
Marta K. Lárusdóttir 2013 Larusdottir, M. K., Cajander, A, Gulliksen, J: Informal Feedback Rather Than Performance Measurements – User Centred Evaluation in Scrum Projects. Is in the final stages of the review process: Behaviour and Information Technology. X X A
Yngvi Björnsson 2013 Michael Genesereth and Yngvi Björnsson (2013). The International General Game Playing Competition. AI Magazine, 34(2), pp. 107-111.
X A
Anna Ingólfsdóttir 2013 L. ACETO, C. PRISACARIU, A. INGOLFSDOTTIR AND J. SACK.  Compositional Reasoning for Epistemic Logics. In the Proceedings of LFCS 2013, Symposium on Logical Foundations of Computer Science (Sergei N. Artemov and Anil Nerode eds.), Lecture Notes in Computer Science 7734, pp. 1-15, Springer-Verlag, 2013.
X B
Anna Ingólfsdóttir 2013 L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders. Proceedings of TIME 2013: 20th International Symposium on Temporal Representation and Reasoning, pp. 65–72, IEEE Press, 2013. ISBN 978-0-7695-5112-8. ISSN 1550-1311. 
X B
Anna Ingólfsdóttir 2013 L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. Proceedings of LPAR-19, Logic for Programming, Artificial Intelligence and Reasoning (K. McMillan, A. Middeldorp, and A. Voronkov eds.), Lecture Notes in Computer Science 8312, pp. 1–17, Springer Verlag, 2013.
X B
Anna Ingólfsdóttir 2013 L. ACETO, E. GORIAC AND A. INGOLFSDOTTIR. Meta SOS — A Maude Based SOS Meta-Theory Framework. In Johannes Borgström and Bas Luttik: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013), Buenos Aires, Argentina, 26th August, 2013, Electronic Proceedings in Theoretical Computer Science 120, pp. 93–107.
X B
Anna Ingólfsdóttir 2013 L. ACETO, E. GORIAC AND A. INGOLFSDOTTIR. SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. In the Proceedings of the 39th SOFSEM - the International Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science, Springer Verlag, January 2013.
X B
Anna Ingólfsdóttir 2013 L. ACETO, E. GORIAC, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. In the Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013) (R. Heickel and S. Milius eds.), Lecture Notes in Computer Science 8089, pp. 36-50, Springer-Verlag, 2013.
X B
Christian Konrad 2013 Christian Konrad, Adi Rosén (2013): Approximating Semi-Matchings in Streaming and in Two-Party Communication, ICALP.

B
Dario Della Monica 2013 D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco. A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: an Implementation. 28th Italian Conference on Computational Logic (CILC), September, 25th-27th, 2013.
X B
Dario Della Monica 2013 D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco. A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: an Implementation. In Proc. of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Nancy, France, September 16th-19th, LNCS 8123, pages 74-80, 2013.
X B
Dario Della Monica 2013 D. Della Monica, M. Napoli, and M. Parente. Model checking coalitional games in shortage resource scenarios. In Proc. of the 4th International International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Borca di Cadore, Dolomites, Italy, August 29th-31st, 2013.
X B
Dario Della Monica 2013 L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders. Proceedings of TIME 2013: 20th International Symposium on Temporal Representation and Reasoning, pp. 65–72, IEEE Press, 2013. ISBN 978-0-7695-5112-8. ISSN 1550-1311. 
X B
Dario Della Monica 2013 L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. Proceedings of LPAR-19, Logic for Programming, Artificial Intelligence and Reasoning (K. McMillan, A. Middeldorp, and A. Voronkov eds.), Lecture Notes in Computer Science 8312, pp. 1–17, Springer Verlag, 2013.
X B
Deon Garrett 2013 D. Garrett. Tunable Instance Generation for Many-Task Reinforcement Learning. Accepted to the AAAI Spring Symposium on Life-Long Learning. Stanford, CA, USA. 2013
X B
Eric Nivel 2013 Helgason, H. P., K. R. Thórisson, E. Nivel & P. Wang (2013). Predictive Generative Heuristics for Decision-Making in Real-World Environments. In K-U Kühnberger, S. Rudolph & P. Wang (eds.), Proceedings of Artificial General Intelligence (AGI-13), 50-59, Beijing, China.
X B
Eric Nivel 2013 Nivel, E. & K. R. Thórisson (2013). Towards a Programming Paradigm for Control Systems With High Levels of Existential Autonomy. In K-U Kühnberger, S. Rudolph & P. Wang (eds.), Proceedings of Artificial General Intelligence (AGI-13), 78-87, Beijing, China.
X B
Eric Nivel 2013 Thórisson, K. R., E. Nivel, R. Sanz & P. Wang (2012). Approaches and Assumptions of Self-Programming in Achieving Artificial General Intelligence. Editorial, Special Issue of Journal of Artificial General Intelligence on self-programming, 3(3):1-10.
X B
Hannes Högni Vilhjálmsson 2013 A. Cafaro, H. Vilhjálmsson, T. Bickmore, D. Heylen, D. Schulman. “First Impressions in User-Agent Encounters: The Impact of an Agent's Nonverbal Behavior on Users' Relational Decisions”.  In Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'13). Saint Paul, MN, USA. May 2013.
X B
Henning Úlfarsson 2013 E.I. Ásgeirsson, M. M. Halldorsson, P. Mitra, J. Foley, H. Gudmundsdottir, S. F. Kristjansson, S. Magnusson, H. Ulfarsson and Y. Vigfusson. Distributed Scheduling for Data Aggregation in Wireless Networks. MAPSP 2013 - 11th Workshop on Models and Algorithms for Planning and Scheduling Problems. 
X B
Hrafn Loftsson 2013 Hrafn Loftsson and Robert Östling. Tagging a Morphologically Complex Language Using an Averaged Perceptron Tagger: The Case of Icelandic. In Proceedings of the 19th Nordic Conference of Computational Linguistics (NODALIDA-2013), NEALT Proceedings Series 16. Oslo, Norway.
X B
Hrafn Loftsson 2013 Hrafn Loftsson. Tagging the Past: Experiments Using the Saga Corpus. In Proceedings of the 19th Nordic Conference of Computational Linguistics (NODALIDA-2013), NEALT Proceedings Series 16. Oslo, Norway.
X B
Jacky Mallett 2013 Jacky Mallett An examination of the effect on the Icelandic Banking System of Verðtryggð Lán (Indexed-Linked Loans) Scottish Economic Society Annual Conference 2013 
X B
Jacky Mallett 2013 Jacky Mallett: Threadneedle: A simulation framework for exploring the behaviour of modern banking systems.
X B
Joseph Foley 2013 E.I. Ásgeirsson, M. M. Halldorsson, P. Mitra, J. Foley, H. Gudmundsdottir, S. F. Kristjansson, S. Magnusson, H. Ulfarsson and Y. Vigfusson. Distributed Scheduling for Data Aggregation in Wireless Networks. MAPSP 2013 - 11th Workshop on Models and Algorithms for Planning and Scheduling Problems. 
X B
Kristinn R. Þórisson 2013 Helgason, H. P., K. R. Thórisson, E. Nivel & P. Wang (2013). Predictive Generative Heuristics for Decision-Making in Real-World Environments. In K-U Kühnberger, S. Rudolph & P. Wang (eds.), Proceedings of Artificial General Intelligence (AGI-13), 50-59, Beijing, China.
X B
Kristinn R. Þórisson 2013 Nivel, E. & K. R. Thórisson (2013). Towards a Programming Paradigm for Control Systems With High Levels of Existential Autonomy. In K-U Kühnberger, S. Rudolph & P. Wang (eds.), Proceedings of Artificial General Intelligence (AGI-13), 78-87, Beijing, China.
X B
Kristinn R. Þórisson 2013 Steunebrink, B. R., J. Koutnik, K. R. Thórisson, E. Nivel & J. Schmidhuber (2013). Resource-Bounded Machines are Motivated to be Efficient, Effective, and Curious. In K-U Kühnberger, S. Rudolph & P. Wang (eds.), Proceedings of Artificial General Intelligence (AGI-13), 119-129, Beijing, China.
X B
Kristinn R. Þórisson 2013 Thórisson, K. R. (2013). 
Reductio ad Absurdum: On Oversimplification in Computer Science and its Pernicious Effect on Artificial Intelligence Research. In K-U Kühnberger, S. Rudolph & P. Wang (eds.), Proceedings of Artificial General Intelligence (AGI-13), Formal MAGIC – Workshop on formalization in artificial intelligence, Beijing, China, July 31st.
X B
Kristinn R. Þórisson 2013 Thórisson, K. R., E. Nivel, R. Sanz & P. Wang (2012). Approaches and Assumptions of Self-Programming in Achieving Artificial General Intelligence. Editorial, Special Issue of Journal of Artificial General Intelligence on self-programming, 3(3):1-10.
X B
Luca Aceto 2013 L. ACETO, C. PRISACARIU, A. INGOLFSDOTTIR AND J. SACK.  Compositional Reasoning for Epistemic Logics. In the Proceedings of LFCS 2013, Symposium on Logical Foundations of Computer Science (Sergei N. Artemov and Anil Nerode eds.), Lecture Notes in Computer Science 7734, pp. 1-15, Springer-Verlag, 2013.
X B
Luca Aceto 2013 L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders. Proceedings of TIME 2013: 20th International Symposium on Temporal Representation and Reasoning, pp. 65–72, IEEE Press, 2013. ISBN 978-0-7695-5112-8. ISSN 1550-1311. 
X B
Luca Aceto 2013 L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. Proceedings of LPAR-19, Logic for Programming, Artificial Intelligence and Reasoning (K. McMillan, A. Middeldorp, and A. Voronkov eds.), Lecture Notes in Computer Science 8312, pp. 1–17, Springer Verlag, 2013.
X B
Luca Aceto 2013 L. ACETO, E. GORIAC AND A. INGOLFSDOTTIR. Meta SOS — A Maude Based SOS Meta-Theory Framework. In Johannes Borgström and Bas Luttik: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013), Buenos Aires, Argentina, 26th August, 2013, Electronic Proceedings in Theoretical Computer Science 120, pp. 93–107.
X B
Luca Aceto 2013 L. ACETO, E. GORIAC AND A. INGOLFSDOTTIR. SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. In the Proceedings of the 39th SOFSEM - the International Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science, Springer Verlag, January 2013.
X B
Luca Aceto 2013 L. ACETO, E. GORIAC, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. In the Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013) (R. Heickel and S. Milius eds.), Lecture Notes in Computer Science 8089, pp. 36-50, Springer-Verlag, 2013.
X B
Magnús Már Halldórsson 2013 E.I. Ásgeirsson, M. M. Halldorsson, P. Mitra, J. Foley, H. Gudmundsdottir, S. F. Kristjansson, S. Magnusson, H. Ulfarsson and Y. Vigfusson. Distributed Scheduling for Data Aggregation in Wireless Networks. MAPSP 2013 - 11th Workshop on Models and Algorithms for Planning and Scheduling Problems. 
X B
Magnús Már Halldórsson 2013 Magnús M. Halldórsson, Stephan Holzer, Pradipta Mitra and Roger Wattenhofer. The Power of Non-Uniform Wireless Power. In Proc. 24th ACM-SIAM Symposium on Discrete Algorithms (SODA), New Orleans, January 2013.
X B
Magnús Már Halldórsson 2013 Magnús M. Halldórsson. Locality in wireless scheduling (Brief announcement). In Proc. 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), July 2013.
X B
Magnús Már Halldórsson 2013 Marijke H. L. Bodlaender, Magnús M. Halldórsson, Pradipta Mitra. Connectivity and Aggregation in Multihop Wireless Networks. In Proc. 32nd ACM Symposium on Principles of Distributed Computing (PODC), July 2013.
X B
Magnús Már Halldórsson 2013 Pierre Fraigniaud, Magnús M. Halldórsson, Boaz Patt-Shamir, Dror Rawitz, Adi Rosen. Shrinking Maxima, Decreasing Costs: New Online Packing and Covering Problems. In Proc. 16th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX'2013), LNCS, 2013.
X B
Marjan Sirjani 2013 A. Jafari, H. Kristinsson, B. Magnússon, E. Khamespanah, M. Sirjani, Analysing Timed Rebeca Using McErlang, AGERE 2013, US
X B
Marjan Sirjani 2013 Z. Sabahi, R. Khosravi, M. Sirjani, P. Olveczky, E. Khamespanah, Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude, FTSCS, New Zealand, 2013
X B
Marjan Sirjani 2013 Z. Sharifi, M. Mosaffa, S. Mohammadi, M. Sirjani, Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification, AVoCS 2013, UK
X B
Marjan Sirjani 2013 Z. Sharifi, S. Mohammadi, M. Sirjani, Comparison of NoC Routing Algorithms Using Formal Methods, PDPTA 2013, US
X B
Marjan Sirjani 2013 Steinar H. Sigurdarson, Marjan Sirjani, Yngvi Björnsson and Árni H. Reynisson (2013). Guided Search for Deadlocks in Actor-Based Models. In Formal Aspects of Component Software (FACS'12), pp. 242-259
X B
Marta K. Lárusdóttir 2013 Cajander, A., Larusdottir, M. K., Gulliksen, J: Existing but not Explicit - The User Perspective in Scrum Projects in Practice, accepted as a long paper for the INTERACT 2013 conference in Cape Town, South Africa, 18 pages
X B
Marta K. Lárusdóttir 2013 Gulliksen, J, Larusdottir, M. K., Cajander, A.: Agile and User-Centred Design - the Best of Two Worlds? submitted to the CHI 2014 conference, 10 pages
X B
Marta K. Lárusdóttir 2013 Larusdottir, M. K: Adapting User Testing for Evaluating a Multiplayer Game, paper in the proceedings of the ACM CHI 2013 Workshop called: Made for Sharing: HCI Stories of Transfer, Triumph & Tragedy, April 2013, 5 pages.
X B
Pradipta Mitra 2013 E.I. Ásgeirsson, M. M. Halldorsson, P. Mitra, J. Foley, H. Gudmundsdottir, S. F. Kristjansson, S. Magnusson, H. Ulfarsson and Y. Vigfusson. Distributed Scheduling for Data Aggregation in Wireless Networks. MAPSP 2013 - 11th Workshop on Models and Algorithms for Planning and Scheduling Problems. 
X B
Pradipta Mitra 2013 Magnús M. Halldórsson, Stephan Holzer, Pradipta Mitra and Roger Wattenhofer. The Power of Non-Uniform Wireless Power. In Proc. 24th ACM-SIAM Symposium on Discrete Algorithms (SODA), New Orleans, January 2013.
X B
Pradipta Mitra 2013 Marijke H. L. Bodlaender, Magnús M. Halldórsson, Pradipta Mitra. Connectivity and Aggregation in Multihop Wireless Networks. In Proc. 32nd ACM Symposium on Principles of Distributed Computing (PODC), July 2013.
X B
Stephan Schiffel 2013 Yngvi Björnsson and Stephan Schiffel (2013). Comparison of GDL Reasoners.  In IJCAI'13 Workshop on General Intelligence in Game Playing Agents (GIGA'13), pp. 55-62
X B
Yngvi Björnsson 2013 Mandy J. W. Tak, Mark H.M. Winands and Yngvi Björnsson (2013). Decaying Simulation Strategies.  In IJCAI'13 Workshop on General Intelligence in Game Playing Agents (GIGA'13), pp. 23-30
X B
Yngvi Björnsson 2013 Stefán Freyr Guðmundsson and Yngvi Björnsson (2013). Sufficiency-Based Selection Strategy. In the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI'13), pp. 559-565
X B
Yngvi Björnsson 2013 Steinar H. Sigurdarson, Marjan Sirjani, Yngvi Björnsson and Árni H. Reynisson (2013). Guided Search for Deadlocks in Actor-Based Models. In Formal Aspects of Component Software (FACS'12), pp. 242-259
X B
Yngvi Björnsson 2013 Yngvi Björnsson and Stephan Schiffel (2013). Comparison of GDL Reasoners.  In IJCAI'13 Workshop on General Intelligence in Game Playing Agents (GIGA'13), pp. 55-62
X B
Ýmir Vigfússon 2013 E.I. Ásgeirsson, M. M. Halldorsson, P. Mitra, J. Foley, H. Gudmundsdottir, S. F. Kristjansson, S. Magnusson, H. Ulfarsson and Y. Vigfusson. Distributed Scheduling for Data Aggregation in Wireless Networks. MAPSP 2013 - 11th Workshop on Models and Algorithms for Planning and Scheduling Problems. 
X B
Ýmir Vigfússon 2013 H. Abu-Libdeh, R. van Renesse, Y. Vigfusson. Leveraging Sharding in the Design of Scalable Replication Protocols. In SOCC 2013: ACM Symposium on Cloud Computing, Santa Clara, California. October 2013. 
X B
Ýmir Vigfússon 2013 H. Bjornsson, G. Chockler, T. Saemundsson, Y. Vigfusson.  Dynamically Performance Profiling of Cloud Caches. In SOCC 2013: ACM Symposium on Cloud Computing, Santa Clara, California. October 2013.  
X B
Luca Aceto 2013 L. ACETO AND L. BIRKEDAL . Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012, Tallinn, Estonia, 2012. Logical Methods in Computer Science, 2013. Available at http://www.lmcs-online.org/ojs/specialIssues.php?id=49
X C1
Luca Aceto 2013 L. ACETO, M.  HENZINGER AND J. SGALL. Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011. Information and Computation 222, pp. 1-306, Elsevier, January 2013
X C1
Stephan Schiffel 2013 Daniel Michulke and Stephan Schiffel, Admissible Distance Heuristics for General Games, In Agents and Artificial Intelligence, Communications in Computer and Information Science V.358, pp. 188-203, 2013
X C1
Kristinn R. Þórisson 2013 Jonsdottir, G.R., & K. R. Thórisson (2013). A Distributed Architecture for Real-Time Dialogue and On-Task Learning of Efficient Cooperative Turn-Taking. In M. Rojc and N. Campbell (eds.), Speech, Gaze and Affect.
X C2
Anna Ingólfsdóttir 2013  L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders. Proceedings of ICTCS 2013: 14th Italian Conference on Theoretical Computer Science, 9–11 September, 2013, Palermo (Italy). Electronic. (Extended abstract)
X D
Christian Konrad 2013 Christian Konrad (2013): Computations on Massive Data Sets: Streaming Algorithms and Two-Party Communication, PhD thesis.

D
Dario Della Monica 2013  L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders. Proceedings of ICTCS 2013: 14th Italian Conference on Theoretical Computer Science, 9–11 September, 2013, Palermo (Italy). Electronic. (Extended abstract)
X D
David Thue 2013 David Thue, Vadim Bulitko, Howard J. Hamilton. Implementation Cost and Efficiency for AI Experience Managers. In Proceedings of The Sixth Intelligent Narrative Technologies Workshop (INT): 3 pages. AAAI Press. Palo Alto, California, USA. October 14, 2013. (Workshop Paper)

D
Koosha Paridel 2013 Koosha Paridel, Communication Middleware for Mobile Ad hoc Networks. Algorithms for Highly Mobile and Partitioned Networks, Ph.D. Thesis, 04 September 2013

D
Luca Aceto 2013  L. ACETO, D. DELLA MONICA, A. INGOLFSDOTTIR, A. MONTANARI AND G. SCIAVICCO. A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders. Proceedings of ICTCS 2013: 14th Italian Conference on Theoretical Computer Science, 9–11 September, 2013, Palermo (Italy). Electronic. (Extended abstract)
X D
Stephan Schiffel 2013 Yngvi Björnsson and Stephan Schiffel, Comparison of GDL Reasoners. In Proceedings of the IJCAI-13 Workshop on General Game Playing (GIGA'13), Bejing, China, 2013.
X D
Yngvi Björnsson 2013 Yngvi Björnsson and Stephan Schiffel, Comparison of GDL Reasoners. In Proceedings of the IJCAI-13 Workshop on General Game Playing (GIGA'13), Bejing, China, 2013.
X D
Anna Ingólfsdóttir 2012 L. ACETO, M. CIMINI, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Rule Formats for Distributivity. Theoretical Computer Science, Elsevier. Volume 458, Pages 1–28, 2 November 2012. X X A
Anna Ingólfsdóttir 2012 L. ACETO, A. BIRGISSON, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Rule Formats for Determinism and Idempotence. Science of Computer Programming 77(7–8):889–907, Special Issue devoted to FSEN 2009 (Farhad Arbab and Marjan Sirjani guest editors), Elsevier, 2012. X X A
Anna Ingólfsdóttir 2012 L. ACETO, M. CIMINI AND A. INGOLFSDOTTIR. A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages. Mathematical Structures in Computer Science 22(2):291–331, Cambridge University Press, 2012. X X A
Anna Ingólfsdóttir 2012 L. ACETO, A. INGOLFSDOTTIR, P.B. LEVY AND J. SACK. Characteristic Formulae for Fixed-Point Semantics: A General Framework. Mathematical Structures in Computer Science 22(2):125–173, Cambridge University Press. X X A
Dario Della Monica 2012 Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. Journal of Universal Computer Science (JUCS), 18(20):2798-2831, 2012. X X A
Kristinn R. Þórisson 2012 Thórisson, K. R. & H. P. Helgason (2012). Cognitive Architectures and Autonomy: A Comparative Review. Journal of Artificial General Intelligence, 3:2, 1-30.
X A
Luca Aceto 2012 L. ACETO, M. CIMINI, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Rule Formats for Distributivity. Theoretical Computer Science, Elsevier. Volume 458, Pages 1–28, 2 November 2012. X X A
Luca Aceto 2012 L. ACETO, A. BIRGISSON, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Rule Formats for Determinism and Idempotence. Science of Computer Programming 77(7–8):889–907, Special Issue devoted to FSEN 2009 (Farhad Arbab and Marjan Sirjani guest editors), Elsevier, 2012. X X A
Luca Aceto 2012 L. ACETO, M. CIMINI AND A. INGOLFSDOTTIR. A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages. Mathematical Structures in Computer Science 22(2):291–331, Cambridge University Press, 2012. X X A
Luca Aceto 2012 L. ACETO, A. INGOLFSDOTTIR, P.B. LEVY AND J. SACK. Characteristic Formulae for Fixed-Point Semantics: A General Framework. Mathematical Structures in Computer Science 22(2):125–173, Cambridge University Press. X X A
Magnús Már Halldórsson 2012 Yuval Emek, Magnús M. Halldórsson, Yishay Mansour, Boaz Patt-Shamir, Jaikumar Radhakrishnan, Dror Rawitz. Online set packing. SIAM Journal of Computing, 41(4), 728—746, 2012. X X A
Magnús Már Halldórsson 2012 Geir Agnarsson, Magnús M. Halldórsson, Elena Losievskaja. SDP-based Algorithms for Maximum Independent Set Problems on Hypergraphs. Theoretical Computer Science, 2012. X X A
Magnús Már Halldórsson 2012 Magnús M. Halldórsson. Wireless scheduling with power control. ACM Transactions on Algorithms 9(1), December 2012. X X A
Magnús Már Halldórsson 2012 Magnús M. Halldórsson, Boaz Patt-Shamir, Dror Rawitz. Scheduling with interval conflicts. Theory of Computing Systems, 2012. Special issue of STACS 2011, online from May 3, 2012. X X A
Marjan Sirjani 2012 B. Pourvatan, M. Sirjani, H. Hojjat, F. Arbab, Symbolic execution of Reo circuits using constraint automata, Science of Computer Programming, 77(7-8): 848-869 (2012) X X A
Marjan Sirjani 2012 N. Khakpour, S, Jalili, M. Sirjani, Ursula Goltz, Bahareh Abolhasanzadeh, HPobSAM for Modeling and Analyzing IT Ecosystems - Through a Case Study, Journal of Systems and Software, Elsevier,Volume 85, Issue 12, December 2012, Pages 2770–2784 X X A
Matteo Cimini 2012 L. ACETO, M. CIMINI, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Rule Formats for Distributivity. Theoretical Computer Science, Elsevier. Volume 458, Pages 1–28, 2 November 2012. X X A
Matteo Cimini 2012 L. ACETO, M. CIMINI AND A. INGOLFSDOTTIR. A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages. Mathematical Structures in Computer Science 22(2):291–331, Cambridge University Press, 2012. X X A
Stephan Schiffel 2012 Sebastian Haufe, Stephan Schiffel, and Michael Thielscher. Automated verification of state sequence invariants in general game playing. Artificial Intelligence, 187-188:1–30, August 2012. X X A
Yngvi Björnsson 2012 Mandy J. W. Tak, Mark H.M. Winands and Yngvi Björnsson (2012). N-Grams and the Last-Good-Reply Policy Applied in General Game Playing. IEEE Transactions on Computational Intelligence and AI in Games, 4(2), pp.73–83.
X A
Ýmir Vigfússon 2012 R. Guerraoui, K. Huguenin, A-M. Kermarrec. M. Monod, Y. Vigfusson. Decentralized Polling with Respectable Participants. Journal of Parallel and Distributed Computing. X X A
Anna Ingólfsdóttir 2012 L. ACETO, E. GORIAC AND A. INGOLFSDOTTIR. SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. To appear in the Proceedings of the 39th SOFSEM - the International Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science, Springer Verlag, January 2013.
X B
Anna Ingólfsdóttir 2012 L. ACETO,A. Carayol, Z. Esik and A. Ingolfsdottir. Algebraic Synchronization Trees and Processes. In the Proceedings of ICALP 2012, Part II (A. Czumaj et al. eds.), Lecture Notes in Computer Science 7392, pp. 30–41, Springer-Verlag, 2012.
X B
Anna Ingólfsdóttir 2012 L. ACETO, I.FÁBREGAS, D. DE FRUTOS-ESCRIG, A. INGOLFSDOTTIR AND M. PALOMINO.  Relating modal refinements, covariant-contravariant simulations and partial bisimulations. Proceedings of IPM International Conference on Foundations of Software Engineering (FSEN 2011)  (F. Arbab and M. Sirjani, eds.), Lecture Notes in Computer Science 7141, pp. 268-283, Springer-Verlag, 2012. 
X B
Anna Ingólfsdóttir 2012 L. ACETO, A. BIRGISSON, A. INGOLFSDOTTIR AND  M. MOUSAVI. Decompositional reasoning about the history of parallel processes.  Proceedings of IPM International Conference on Foundations of Software Engineering (FSEN 2011)  (F. Arbab and M. Sirjani, eds.), Lecture Notes in Computer Science 7141, pp. 32-47, Springer-Verlag, 2012. 
X B
Anna Ingólfsdóttir 2012 L. ACETO and  A. INGOLFSDOTTIR. Characteristic Formulae for Relations with Nested Fixed Points. In the Proceedings of FICS 2012, Workshop on Fixed Points in Computer Science (Z. Esik and D. Miller eds.), Electronic Proceedings in Theoretical Computer Science 77, pp. 15–22, 2012.
X B
Anna Ingólfsdóttir 2012 L. ACETO, D. DE FRUTOS-ESCRIG, C. GREGORIO-RODRIGUEZ AND A. INGOLFSDOTTIR.  The equational theory of weak complete simulation semantics over BCCSP. Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2012), Lecture Notes in Computer Science 7147, pp. 141-152, Springer-Verlag, January 2012. 
X B
Björn Þór Jónsson 2012 Gylfi Þór Guðmundsson, Laurent Amsaleg, Björn Þór Jónsson. Distributed High-Dimensional Index Creation using Hadoop, HDFS and C++. Proceedings of the Tenth International Workshop on Content-Based Multimedia Indexing (CBMI). Annecy, France, June, 2012.
X B
Björn Þór Jónsson 2012 Gylfi Þór Guðmundsson, Laurent Amsaleg, Björn Þór Jónsson. Impact of Storage Technology on the Efficiency of Cluster-Based High-Dimensional Index Creation. Proceedings of the Second International Workshop on Flash-based Database Systems (FlashDB), Busan, South Korea, April, 2012.
X B
Dario Della Monica 2012 D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco. Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. In Proc. of the 3rd International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Naples, Italy, September 6th-8th, 2012.
X B
Dario Della Monica 2012 D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco. Interval Temporal Logics over Finite Linear Orders: the Complete Picture. In Proc. of the 20th European Conference on Artificial Intelligence (ECAI), Montpellier, France, August, 2012.
X B
Dario Della Monica 2012 D. Della Monica and G. Lenzi. On a Priced Resource-Bounded Alternating μ-calculus. In Proc. of the 4th International Conference on Agents and Artificial Intelligence (ICAART), pages 222-227, Vilamoura, Algarve, Portugal, February 2012.

B
Dario Della Monica 2012 D. Della Monica, M. Napoli, and M. Parente. Model Checking Coalitional Games with Priced-Resource Agents. Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES), September, 7th - 12th 2012. (extended abstract)
X B
Deon Garrett 2012 D. Garrett. A Call for Collaborative Landscape Analysis. Proceedings of the First Workshop on Problem Understanding at the Genetic and Evolutionary Computation Conference (GECCO). Philadelphia, PA, USA. July, 2012.
X B
Hannes Högni Vilhjálmsson 2012 A. Cafaro, H. Vilhjálmsson, T. Bickmore, D. Heylen, K. Jóhannsdóttir and G. Valgarðsson. “First Impressions: Users' Judgments of Virtual Agents' Personality and Interpersonal Attitude in First Encounters”. In Proceedings of the 12th International Conference on Intelligent Virtual Agents, September 12-14, Santa Cruz, CA, Lecture Notes in Computer Science, 2012, Springer-Verlag, Berlin Heidelberg
X B
Hannes Högni Vilhjálmsson 2012 Pedica, C. and Vilhjalmsson, H. “Lifelike Virtual Characters using Behavior Trees for Social Territorial Intelligence” (Demo/Poster) In Proceedings of ACM SIGGRAPH 2012. Los Angeles, August 5-9.
X B
Hannes Högni Vilhjálmsson 2012 Jón Guðnason, Oddur Kjartansson, Jökull Jóhannsson, Elín Carstensdóttir, Hannes H. Vilhjálmsson, Hrafn Loftsson, Sigrún Helgadóttir, Kristín Jóhannsdóttir and Eiríkur Rögnvaldsson. “Almannaromur: An Open Icelandic Speech Corpus” (2012) In Proceedings of the Third International Workshop on Spoken Language Technologies for Under-resourced languages (SLTU 2012). Cape Town, South Africa.
X B
Henning Úlfarsson 2012 A. Claesson and H. Ulfarsson. Sorting and preimages of pattern classes. The 24th International Conference on Formal Power Series & Algebraic Combinatorics, Nagoya, Japan, 2012. Discrete Math. Theor. Comput. Sci. Proc. AN (2012)
X B
Henning Úlfarsson 2012 H. Ulfarsson and A. Woo. Which Schubert varieties are local complete intersections? Extended abstract. The 24th International Conference on Formal Power Series & Algebraic Combinatorics, Nagoya, Japan, 2012. Discrete Math. Theor. Comput. Sci. Proc. AN (2012)
X B
Hilmar Finnsson 2012 Hilmar Finnsson, Generalized Monte-Carlo Tree Search for General Game Playing, In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Toronto, Ontario, Canada, July 22-26, 2012. AAAI Press, 2012, pp. 1550–1556.
X B
Hilmar Finnsson 2012 Abdallah Saffidine, Hilmar Finnsson and Michael Buro, Alpha-Beta Pruning for Games with Simultaneous Moves, In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Toronto, Ontario, Canada, July 22-26, 2012. AAAI Press, 2012, pp. 556–564.
X B
Hrafn Loftsson 2012 Jón Guðnason, Oddur Kjartansson, Jökull Jóhannsson, Elín Carstensdóttir, Hannes H. Vilhjálmsson, Hrafn Loftsson, Sigrún Helgadóttir, Kristín Jóhannsdóttir and Eiríkur Rögnvaldsson. “Almannaromur: An Open Icelandic Speech Corpus” (2012) In Proceedings of the Third International Workshop on Spoken Language Technologies for Under-resourced languages (SLTU 2012). Cape Town, South Africa.
X B
Hrafn Loftsson 2012 Elena Volodina, Hrafn Loftsson, Birna Arnbjörnsdóttir, Lars Borin and Guðmundur Örn Leifsson. Towards a system architecture for ICALL. In Proceedings of the ICCE Conference on Technology Enhanced Language Learning (TELL), ICCE 2012, The 20th International Conference on Computers in Education. Singapore.
X B
Hrafn Loftsson 2012 Sigrún Helgadóttir, Ásta Svavarsdóttir, Eiríkur Rögnvaldsson, Kristín Bjarnadóttir and Hrafn Loftsson. The Tagged Icelandic Corpus (MÍM). In Proceedings of the SaLTMiL-AfLaT Workshop on "Language technology for normalisation of less-resourced languages", 8th International Conference on Language Resources and Evaluation (LREC 2012). Istanbul, Turkey.
X B
Hrafn Loftsson 2012 Elena Volodina, Lars Borin, Hrafn Loftsson, Birna Arnbjörnsdóttir and Guðmundur Örn Leifsson. Waste not, want not: Towards a system architecture for ICALL based on NLP component re-use.  In NEALT Proceedings series: Workshop "NLP for computer-assisted language learning", Swedish Language Technology Conference. Lund, Sweden.  Submitted.
X B
Kristinn R. Þórisson 2012 Dindo, H., G. La Tona, E. Nivel, G. Pezzulo, K. R. Thórisson (2012). Simulation and Anticipation as Tools for Coordinating With the Future. Proceedings of BICA-12, Sicily, Italy. 
X B
Kristinn R. Þórisson 2012 Helgason, P.H. & K.R. Thórisson (2012). On Attention Mechanisms for AGI Architectures: A Design Proposal. In Proceedings of Artificial General Intelligence (AGI-12), Cambridge, U.K.
X B
Luca Aceto 2012 L. ACETO, E. GORIAC AND A. INGOLFSDOTTIR. SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. To appear in the Proceedings of the 39th SOFSEM - the International Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science, Springer Verlag, January 2013.
X B
Luca Aceto 2012 L. ACETO,A. Carayol, Z. Esik and A. Ingolfsdottir. Algebraic Synchronization Trees and Processes. In the Proceedings of ICALP 2012, Part II (A. Czumaj et al. eds.), Lecture Notes in Computer Science 7392, pp. 30–41, Springer-Verlag, 2012.
X B
Luca Aceto 2012 L. ACETO, I.FÁBREGAS, D. DE FRUTOS-ESCRIG, A. INGOLFSDOTTIR AND M. PALOMINO.  Relating modal refinements, covariant-contravariant simulations and partial bisimulations. Proceedings of IPM International Conference on Foundations of Software Engineering (FSEN 2011)  (F. Arbab and M. Sirjani, eds.), Lecture Notes in Computer Science 7141, pp. 268-283, Springer-Verlag, 2012. 
X B
Luca Aceto 2012 L. ACETO, A. BIRGISSON, A. INGOLFSDOTTIR AND  M. MOUSAVI. Decompositional reasoning about the history of parallel processes.  Proceedings of IPM International Conference on Foundations of Software Engineering (FSEN 2011)  (F. Arbab and M. Sirjani, eds.), Lecture Notes in Computer Science 7141, pp. 32-47, Springer-Verlag, 2012. 
X B
Luca Aceto 2012 L. ACETO and  A. INGOLFSDOTTIR. Characteristic Formulae for Relations with Nested Fixed Points. In the Proceedings of FICS 2012, Workshop on Fixed Points in Computer Science (Z. Esik and D. Miller eds.), Electronic Proceedings in Theoretical Computer Science 77, pp. 15–22, 2012.
X B
Luca Aceto 2012 L. ACETO, D. DE FRUTOS-ESCRIG, C. GREGORIO-RODRIGUEZ AND A. INGOLFSDOTTIR.  The equational theory of weak complete simulation semantics over BCCSP. Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2012), Lecture Notes in Computer Science 7147, pp. 141-152, Springer-Verlag, January 2012. 
X B
Magnús Már Halldórsson 2012 Magnús M. Halldórsson, Stephan Holzer, Pradipta Mitra and Roger Wattenhofer. The Power of Non-Uniform Wireless Power. To appear in Proc. 24th ACM-SIAM Symposium on Discrete Algorithms (SODA), New Orleans, January 2013.
X B
Magnús Már Halldórsson 2012 Magnús M. Halldórsson, Pradipta Mitra. Wireless Connectivity and Capacity. In Proc. 23rd ACM-SIAM Symposium on Discrete Algorithms (SODA), Kyoto, Japan, January 2012.
X B
Magnús Már Halldórsson 2012 Magnús M. Halldórsson, Pradipta Mitra. Algorithms for Weighted Capacity and Admission Control in Wireless Networks. In Proc. 30th Annual IEEE Conference on Computer Communications (INFOCOM), March 2012.
X B
Magnús Már Halldórsson 2012 Eyjólfur I. Ásgeirsson, Magnús M. Halldórsson, Pradipta Mitra. A Fully Distributed Algorithm for Throughput Performance in Wireless Networks. In Proc. 46th Annual Conf. on Information Sciences and Systems (CISS), March 2012.
X B
Magnús Már Halldórsson 2012 Eyjólfur I. Ásgeirsson, Magnús M. Halldórsson, Pradipta Mitra. Wireless Network Stability in the SINR Model. In Proc. 19th Int'l Colloq. Structural Information and Communication Complexity (SIROCCO), June 2012, Springer LNCS.
X B
Magnús Már Halldórsson 2012 Magnús M. Halldórsson, Chengu Wang, Xiaoming Sun, Mario Szegedy. Streaming and Communication Complexity of Clique Approximation. In Proc. 39th International Conference on Automata, Languages, and Programming (ICALP), July 2012. Springer LNCS # 7391.
X B
Magnús Már Halldórsson 2012 Yuval Emek, Magnús M. Halldórsson, Adi Rosen. Space-Constrained Interval Selection. In Proc. 39th International Conference on Automata, Languages, and Programming (ICALP), July 2012. Springer LNCS # 7391.
X B
Magnús Már Halldórsson 2012 Magnús M. Halldórsson, Pradipta Mitra. Distributed Connectivity of Wireless Networks. In Proc. 31st ACM Symposium on Principles of Distributed Computing (PODC), 2012.
X B
Magnús Már Halldórsson 2012 Eyjólfur I. Ásgeirsson, Magnús M. Halldórsson, Pradipta Mitra. Distributed Algorithms for Throughput Performance in Wireless Networks (Brief Announcement). In Proc. 31st ACM Symposium on Principles of Distributed Computing (PODC), 2012.
X B
Magnús Már Halldórsson 2012 Magnús M. Halldórsson, Pradipta Mitra. Towards Tight Bounds for Local Broadcasting. In Proc. 8th ACM SIGACT/SIGMOBILE International Workshop on Foundations of Mobile Computing (FOMC), 2012.
X B
Magnús Már Halldórsson 2012 Pierre Fraigniaud, Magnús M. Halldórsson, Amos Korman. On the Impact of Identifiers on Local Decision. To appear in 16th International Conference On Principles Of DIstributed Systems (OPODIS), December 17th-21th, 2012.
X B
Marjan Sirjani 2012 E. Khamespanah, Z. Sabahi Kaviani, R. Khosravi, M. Sirjani, M.J. Izadi, Timed-Rebeca Schedulability and Deadlock-Freedom Analysis Using Floating-Time Transition System, ACM AGERE! 2012
X B
Marjan Sirjani 2012 S. Sigurdarson, M. Sirjani, Y. Bjornsson, A. Reynisson, Guided Search for Deadlocks in Actor-Based Models, LNCS of FACS 2012
X B
Marta K. Lárusdóttir 2012 Jia, Y., Larusdottir, M. K., Cajander, A:  The Usage of Usability Techniques in Scrum Projects, paper in the proceedings of the HCSE 2012 conference in Toulouse, October, 2012, 11 pages.
X B
Marta K. Lárusdóttir 2012 Larusdottir, M. K., Cajander, A., Gulliksen, J: The Big Picture of UX is Missing in Scrum Projects, paper in the proceedings of the International Workshop on the Interplay between user Experience and Software Development - IxUsed 2012 Workshop at NordiCHI, October 2012, 6 pages.
X B
Matteo Cimini 2012 Nominal SOS. Matteo Cimini, MohamamdReza Mousavi, Michel A. Reniers and Murdoch J. Gabbay. It will appear in Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVIII), Bath, UK, Electronic Notes in Theoretical Computer Science, Elsevier, 2012.
X B
Pradipta Mitra 2012 Magnús M. Halldórsson, Stephan Holzer, Pradipta Mitra and Roger Wattenhofer. The Power of Non-Uniform Wireless Power. To appear in Proc. 24th ACM-SIAM Symposium on Discrete Algorithms (SODA), New Orleans, January 2013.
X B
Pradipta Mitra 2012 Magnús M. Halldórsson, Pradipta Mitra. Wireless Connectivity and Capacity. In Proc. 23rd ACM-SIAM Symposium on Discrete Algorithms (SODA), Kyoto, Japan, January 2012.
X B
Pradipta Mitra 2012 Magnús M. Halldórsson, Pradipta Mitra. Algorithms for Weighted Capacity and Admission Control in Wireless Networks. In Proc. 30th Annual IEEE Conference on Computer Communications (INFOCOM), March 2012.
X B
Pradipta Mitra 2012 Eyjólfur I. Ásgeirsson, Magnús M. Halldórsson, Pradipta Mitra. A Fully Distributed Algorithm for Throughput Performance in Wireless Networks. In Proc. 46th Annual Conf. on Information Sciences and Systems (CISS), March 2012.
X B
Pradipta Mitra 2012 Eyjólfur I. Ásgeirsson, Magnús M. Halldórsson, Pradipta Mitra. Wireless Network Stability in the SINR Model. In Proc. 19th Int'l Colloq. Structural Information and Communication Complexity (SIROCCO), June 2012, Springer LNCS.
X B
Pradipta Mitra 2012 Magnús M. Halldórsson, Pradipta Mitra. Distributed Connectivity of Wireless Networks. In Proc. 31st ACM Symposium on Principles of Distributed Computing (PODC), 2012.
X B
Pradipta Mitra 2012 Eyjólfur I. Ásgeirsson, Magnús M. Halldórsson, Pradipta Mitra. Distributed Algorithms for Throughput Performance in Wireless Networks (Brief Announcement). In Proc. 31st ACM Symposium on Principles of Distributed Computing (PODC), 2012.
X B
Pradipta Mitra 2012 Magnús M. Halldórsson, Pradipta Mitra. Towards Tight Bounds for Local Broadcasting. In Proc. 8th ACM SIGACT/SIGMOBILE International Workshop on Foundations of Mobile Computing (FOMC), 2012.
X B
Stephan Schiffel 2012 Daniel Michulke and Stephan Schiffel. Distance features for general game playing agents. In Proceedings of the 4th International Conference on Agents and Artificial Intelligence (ICAART), Vilamoura, Portugal, February 2012.
X B
Yngvi Björnsson 2012 S. Sigurdarson, M. Sirjani, Y. Bjornsson, A. Reynisson, Guided Search for Deadlocks in Actor-Based Models, LNCS of FACS 2012
X B
Yngvi Björnsson 2012 Yngvi Björnsson (2012). Learning Rules of Simplified Boardgames by Observing. In European Conference on Artificial Intelligence (ECAI'12), pp. 175–180
X B
Luca Aceto 2012 Luca Aceto, Monika Henzinger and Jiří Sgall. Information and Computation, Volume 222, Pages 1-306 (January 2013) 38th International Colloquium on Automata, Languages and Programming (ICALP 2011)
X C1
Magnús Már Halldórsson 2012 G. Even, M. M. Halldórsson (Eds). Structural Information and Communication Complexity, 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 – July 2, 2012. Springer LNCS # 7355.
X C1
Dario Della Monica 2012 D. Della Monica, A. Montanari, P. Sala. The importance of the past in interval temporal logics: the case of Propositional Neighborhood Logic. In Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, and Kostas Stathis, editors, Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, volume 7360 of Lecture Notes in Computer Science, pages 79-102. Springer Berlin / Heidelberg, 2012.

C2
Kristinn R. Þórisson 2012 Thórisson, K. R. (2012). A New Constructivist AI: From Manual Construction to Self-Constructive Systems. In P. Wang and B. Goertzel (eds.), Theoretical Foundations of Artificial General Intelligence. Atlantis Thinking Machines, 4:145-171.
X C2
Björn Þór Jónsson 2012 Grímur Tómasson, Hlynur Sigurþórsson, Kristján Rúnarsson, Gísli Kristján Ólafsson, Björn Þór Jónsson, Laurent Amsaleg. Using PhotoCube as an Extensible Demonstration Platform for Advanced Image Analysis Techniques. Proceedings of the Tenth International Workshop on Content-Based Multimedia Indexing (CBMI). Annecy, France, June, 2012.
X D
Hilmar Finnsson 2012 Hilmar Finnsson.  Simulation-Based General Game Playing.  School of Computer Science, Reykjavík University.  2012. (Ph.D. thesis.)
X D
Marta K. Lárusdóttir 2012 Marta Kristin Larusdottir. User Centred Evaluation in Experimental and Practical Settings. Doctoral Thesis in Human-Computer Interaction, Computer Science and Communication Department at the Royal Institute of Technology, Stockholm, Sweden, June 2012.
X D
Matteo Cimini 2012 Matteo Cimini. Contributions to the Meta-Theory of Structural Operational Semantics. Ph.D.Thesis in Computer science, School of Computer Science, Reykjavik University, 2012.
X D
Anna Ingólfsdóttir 2011 L. ACETO, M. CIMINI, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. SOS Rule Formats for Zero and Unit Elements. Theoretical Computer Science 412(28):3045–3071, Elsevier, 2011. X X A
Anna Ingólfsdóttir 2011 L. ACETO, T. CHEN, A. INGOLFSDOTTIR, B. LUTTIK AND J. VAN DE POL. On the Axiomatizability of Priority II. Theoretical Computer Science 412(28):3035–3044, Elsevier, 2011. X X A
Anna Ingólfsdóttir 2011 L. ACETO, D. DE FRUTOS-ESCRIG, C. GREGORIO-RODRIGUEZ AND A. INGOLFSDOTTIR. Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Information Processing Letters 111(9):408–413, Elsevier, 2011. X X A
Björn Þór Jónsson 2011 Arnar Ólafsson, Björn Þór Jónsson, Laurent Amsaleg, Herwig Lejsek. Dynamic Behavior of Balanced NV-trees. Multimedia Systems, 17(2), March, 2011 X X A
Henning Úlfarsson 2011 S. Kitaev, P. Salimov, C. Severs, and H. Ulfarsson. Word-representability of line graphs. Open Journal of Discrete Mathematics, Volume 1, Number 2
X A
Henning Úlfarsson 2011 H. Ulfarsson. A unification of permutation patterns related to Schubert varieties. Special issue of Pure Mathematics and Applications
X A
Luca Aceto 2011 L. ACETO, M. CIMINI, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. SOS Rule Formats for Zero and Unit Elements. Theoretical Computer Science 412(28):3045–3071, Elsevier, 2011. X X A
Luca Aceto 2011 L. ACETO, T. CHEN, A. INGOLFSDOTTIR, B. LUTTIK AND J. VAN DE POL. On the Axiomatizability of Priority II. Theoretical Computer Science 412(28):3035–3044, Elsevier, 2011. X X A
Luca Aceto 2011 L. ACETO, D. DE FRUTOS-ESCRIG, C. GREGORIO-RODRIGUEZ AND A. INGOLFSDOTTIR. Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Information Processing Letters 111(9):408–413, Elsevier, 2011. X X A
Magnús Már Halldórsson 2011 Magnús M. Halldórsson, Guy Kortsarz, Maxim Sviridenko. Min Sum Edge Coloring in General Multigraphs via Configuration LP. ACM Transactions on Algorithms, 7(2), Article 22, March 2011. X X A
Marjan Sirjani 2011 H. Hojjat, M.R. Mousavi, and M. Sirjani. Formal Analysis of SystemC Designs in Process Algebra, Fundamenta Informaticae 107 (1): 19-42, IOS Press, 2011. X X A
Marjan Sirjani 2011 C. Talcott, M. Sirjani, S. Ren, Comparing Three Coordination Models: Reo, ARC, and RRD, Science of Computer Programming, 76(1): 3-22 (2011) X X A
Marjan Sirjani 2011 N. Khakpour, S, Jalili, C. Talcott, M. Sirjani, M. M. Mousavi, Formal Modeling of Evolving Self-Adaptive Systems, Science of Computer Programming, Accepted 2011 X X A
Marjan Sirjani 2011 B. Pourvatan, M. Sirjani, H. Hojjat, F. Arbab, Symbolic execution of Reo circuits using constraint automata, Science of Computer Programming, Accepted 2011 X X A
Stephan Schiffel 2011 Sebastian Haufe, Daniel Michulke, Stephan Schiffel, and Michael Thielscher. Knowledge-based general game playing. KI, 25(1):25–33, 2011.

A
Yngvi Björnsson 2011 Hilmar Finnsson and Yngvi Björnsson. CadiaPlayer: Search Control Techniques. KI Journal, 25(1):9–16, Springer, 2011.
X A
Ýmir Vigfússon 2011 G. Chockler, G. Laden, Y. Vigfusson.  Design and Implementation of Caching Services in the Cloud.  In IBM Journal of Research and Development. In press. December 2011. X X A
Anna Ingólfsdóttir 2011 L. ACETO, D. DE FRUTOS-ESCRIG, C. GREGORIO-RODRIGUEZ AND A. INGOLFSDOTTIR.  The equational theory of weak complete simulation semantics over BCCSP. To appear in the Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2012), Lecture Notes in Computer Science, Springer-Verlag, January 2012. 
X B
Anna Ingólfsdóttir 2011 L. ACETO, I.FÁBREGAS, D. DE FRUTOS-ESCRIG, A. INGOLFSDOTTIR AND M. PALOMINO.  Graphical representation of covariant-contravariant modal formulas. Proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), Electronic Proceedings in Theoretical Computer Science 64, pp. 1–15, 2011.
X B
Anna Ingólfsdóttir 2011 L. ACETO, G. CALTAIS, E. GORIAC AND A. INGOLFSDOTTIR.  Axiomatizing GSOS with predictes. Proceedings of the 8th Workshop on Structural Operational Semantics (SOS 2011). Electronic
X B
Anna Ingólfsdóttir 2011 Proceedings in Theoretical Computer Science 62, pp. 1–16. 2011.
X B
Anna Ingólfsdóttir 2011 L. ACETO, M. CIMINI, A. INGOLFSDOTTIR, A. REYNISSON, S. SIGURDARSON AND M. SIRJANI.  Modelling and simulation of real-time systems using Timed Rebeca. Proceedings of FOCLASA 2011, Electronic Proceedings in Theoretical Computer Science 58, pp. 1–19, 2011.
X B
Anna Ingólfsdóttir 2011 L. ACETO, D. DE FRUTOS-ESCRIG, C. GREGORIO-RODRIGUEZ AND A. INGOLFSDOTTIR.  Axiomatizing weak simulation semantics over BCCSP. Proceedings of ICTAC 2011, the 8th International Colloquium on Theoretical Aspects of Computing, Lecture Notes in Computer Science 6919, pp. 7–24, Springer-Verlag, 2011. 
X B
Anna Ingólfsdóttir 2011 L. ACETO, W. VAN DER HOEK, A. INGOLFSDOTTIR AND J. SACK.  Sigma algebras in probabilistic epistemic dynamics. Proceedings of the 13th International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), (K. Apt ed.), pp. 191–199, ACM, 2011.
X B
Anna Ingólfsdóttir 2011 L. ACETO, G. CALTAIS, E. GORIAC AND A. INGOLFSDOTTIR.   PREG Axiomatizer : A ground bisimilarity checker for GSOS with predicates. Proceedings of CALCO/CALCO Tools, Lecture Notes in Computer Science 6859, pp. 378–385, Springer-Verlag, 2011.
X B
Anna Ingólfsdóttir 2011 L. ACETO, M. CIMINI, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Rule formats for distributivity. Proceedings of LATA 2011, 5th International Conference on Languages Automata Theory and Applications (Adrian Horia Dediu, Shunsuke Inenaga, Carlos Martin-Vide eds.), Lecture Notes in Computer Science 6638, pp. 80–91, Springer-Verlag, 2011.
X B
Anna Ingólfsdóttir 2011 L. ACETO, I.FÁBREGAS, D. DE FRUTOS-ESCRIG, A. INGOLFSDOTTIR AND M. PALOMINO.  Relating modal refinements, covariant-contravariant simulations and partial bisimulations. Proceedings of IPM International Conference on Foundations of Software Engineering (FSEN 2011)  (F. Arbab and M. Sirjani, eds.), Lecture Notes in Computer Science, Springer-Verlag, 2011. To appear. (Paper invited to a special issue of the journal Science of Computer Programming devoted to the conference.)
X B
Anna Ingólfsdóttir 2011 L. ACETO, A. BIRGISSON, A. INGOLFSDOTTIR AND  M. MOUSAVI. Decompositional reasoning about the history of parallel processes.  Proceedings of IPM International Conference on Foundations of Software Engineering (FSEN 2011)  (F. Arbab and M. Sirjani, eds.), Lecture Notes in Computer Science, Springer-Verlag, 2011. To appear. (Paper invited to a special issue of the journal Science of Computer Programming devoted to the conference.)
X B
Björn Þór Jónsson 2011 Herwig Lejsek, Björn Þór Jónsson, Laurent Amsaleg. NV-Tree: Nearest Neighbours at the Billion Scale. Proceedings of the ACM International Conference on Multimedia Retrieval (ICMR), Trento, Italy, April, 2011.
X B
Hannes Högni Vilhjálmsson 2011 Carstensdottir, E., Gudmundsdottir, K., Valgardsson, G. and Vilhjalmsson, H. (2011), "Where to Sit? The Study and Implementation of Seat Selection in Public Places", H. Vilhjalmsson (Eds.): Proceedings of the 11th International Conference on Intelligent Virtual Agents, September 15-17, Reykjavik, Iceland, Lecture Notes in Computer Science, 6895:473-474, Springer-Verlag, Berlin Heidelberg
X B
Hannes Högni Vilhjálmsson 2011 Thrainsson, P. R., Petursson, A. L. and Vilhjalmsson, H. (2011) "Dynamic Planning for Agents in Games Using Social Norms and Emotions", H. Vilhjalmsson (Eds.): Proceedings of the 11th International Conference on Intelligent Virtual Agents, September 15-17, Reykjavik, Iceland, Lecture Notes in Computer Science, 6895:473-474, Springer-Verlag, Berlin Heidelberg
X B
Henning Úlfarsson 2011 S. Kitaev, P. Salimov, C. Severs and H. Ulfarsson. On the representability of line graphs. The 15th Conference on Developments in Language Theory, Milan, Italy, 2011. G. Mauri and A. Leporati (Eds.): DLT 2011, LNCS 6795, pp. 478–479. Springer, Heidelberg (2011)
X B
Hrafn Loftsson 2011 Hrafn Loftsson, Sigrún Helgadóttir and Eiríkur Rögnvaldsson. 2011. Using a morphological database to increase the accuracy in PoS tagging. In Proceedings of Recent Advances in Natural Language Processing (RANLP 2011). Hissar, Bulgaria.
X B
Hrafn Loftsson 2011 Martha Dís Brandt, Hrafn Loftsson, Hlynur Sigurþórsson and Francis M. Tyers. 2011. Apertium-IceNLP: A rule-based Icelandic to English machine translation system. In Proceedings of the 15th Annual Conference of the European Association for Machine Translation (EAMT-2011). Leuven, Belgium.
X B
Kristinn R. Þórisson 2011 H. Dindo, A. Chella, G. La Tona, M. Vitali, E. Nivel & K. R. Thórisson (2011). Learning Problem Solving Skills from Demonstration: An Architectural Approach. Proceedings of Artificial General Intelligence 2011.
X B
Luca Aceto 2011 L. ACETO, I.FÁBREGAS, D. DE FRUTOS-ESCRIG, A. INGOLFSDOTTIR AND M. PALOMINO.  Graphical representation of covariant-contravariant modal formulas. Proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), Electronic Proceedings in Theoretical Computer Science 64, pp. 1–15, 2011.
X B
Luca Aceto 2011 L. ACETO, G. CALTAIS, E. GORIAC AND A. INGOLFSDOTTIR.  Axiomatizing GSOS with predictes. Proceedings of the 8th Workshop on Structural Operational Semantics (SOS 2011). Electronic Proceedings in Theoretical Computer Science 62, pp. 1–16. 2011.
X B
Luca Aceto 2011 L. ACETO, M. CIMINI, A. INGOLFSDOTTIR, A. REYNISSON, S. SIGURDARSON AND M. SIRJANI.  Modelling and simulation of real-time systems using Timed Rebeca. Proceedings of FOCLASA 2011, Electronic Proceedings in Theoretical Computer Science 58, pp. 1–19, 2011.
X B
Luca Aceto 2011 L. ACETO, D. DE FRUTOS-ESCRIG, C. GREGORIO-RODRIGUEZ AND A. INGOLFSDOTTIR.  Axiomatizing weak simulation semantics over BCCSP. Proceedings of ICTAC 2011, the 8th International Colloquium on Theoretical Aspects of Computing, Lecture Notes in Computer Science 6919, pp. 7–24, Springer-Verlag, 2011. 
X B
Luca Aceto 2011 L. ACETO, W. VAN DER HOEK, A. INGOLFSDOTTIR AND J. SACK.  Sigma algebras in probabilistic epistemic dynamics. Proceedings of the 13th International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), (K. Apt ed.), pp. 191–199, ACM, 2011.
X B
Luca Aceto 2011 L. ACETO, G. CALTAIS, E. GORIAC AND A. INGOLFSDOTTIR.   PREG Axiomatizer : A ground bisimilarity checker for GSOS with predicates. Proceedings of CALCO/CALCO Tools, Lecture Notes in Computer Science 6859, pp. 378–385, Springer-Verlag, 2011.
X B
Luca Aceto 2011 L. ACETO, M. CIMINI, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Rule formats for distributivity. Proceedings of LATA 2011, 5th International Conference on Languages Automata Theory and Applications (Adrian Horia Dediu, Shunsuke Inenaga, Carlos Martin-Vide eds.), Lecture Notes in Computer Science 6638, pp. 80–91, Springer-Verlag, 2011.
X B
Magnús Már Halldórsson 2011 Magnús M. Halldórsson, Pradipta Mitra. Wireless Capacity with Oblivious Power in General Metrics. In Proc. 22nd ACM-SIAM Symposium on Discrete Algorithms (SODA), San Francisco, California, January 2011.
X B
Magnús Már Halldórsson 2011 Magnús M. Halldórsson, Boaz Patt-Shamir, Dror Rawitz. Scheduling with interval conflicts. In Proc. 28th International Symposium on Theoretical Aspects of Computer Science (STACS), March 2011. Leibniz International Proceedings in Informatics.
X B
Magnús Már Halldórsson 2011 Magnús M. Halldórsson, Pradipta Mitra. Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model. In Proc. 38th International Conference on Automata, Languages, and Programming (ICALP), July 2011.
X B
Magnús Már Halldórsson 2011 Magnús M. Halldórsson, Sergey Kitaev, Artem Pyatkin. Alternation graphs. To appear in Proc. 37th Int. Workshop on Graph-Theoretic Concepts in Computer Science (WG), June 21-24, 2011. Springer LNCS.
X B
Magnús Már Halldórsson 2011 Magnús M. Halldórsson, Pradipta Mitra. Wireless Capacity With Arbitrary Gain Matrix.  To appear in Proc. Proc.  7th Int. Symp.  Algorithms for Sensor Systems,  Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS), September 2011. Springer LNCS.
X B
Magnús Már Halldórsson 2011 Magnús M. Halldórsson, Pradipta Mitra. Wireless Connectivity and Capacity. To appear in Proc. 23rd ACM-SIAM Symposium on Discrete Algorithms (SODA), Kyoto, Japan, January 2012.
X B
Marjan Sirjani 2011 M. Sirjani, M. M. Jaghoori, Ten Years of Analyzing Actors: Rebeca Experience, LNCS 7000, 2011
X B
Marjan Sirjani 2011 M. M. Jaghoori, O. Hlynsson, M. Sirjani, Networks of Real-Time Actors: Schedulability Analysis and Coordination, 8th International Workshop on Formal Aspects of Component Software (FACS 2011), 2011
X B
Marjan Sirjani 2011 L. Aceto, M. Cimini, A. Ingolfsdottir, A. H. Reynisson, S. H. Sigurdarson, M. Sirjani, Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca, ENTCS, Proceedings of FOCLASA 2011, PP. 1-19, 2011
X B
Marjan Sirjani 2011 B. Pourvatan, M. Sirjani, F. Arbab, M. Bonsangue, Synthesis of Reo Circuits through Decomposition of Complete Constraint Automata, 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 14-16, 2010, Guimarães, Portugal.
X B
Marta K. Lárusdóttir 2011 Larusdottir, M. K. “Usability Evaluation in Software Development Practice”, short paper and poster at the INTERACT conference 2011, Lisbon, September, 2011.
X B
Pradipta Prometheus Mitra 2011 Magnus M. Halldorsson, Pradipta Mitra. Wireless capacity with arbitrary gain matrix, 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS) 2011.
X B
Pradipta Prometheus Mitra 2011 Magnus M. Halldorsson, Pradipta Mitra. Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model, 38th International Colloquium on Automata, Languages and Programming (ICALP) 2011, pp.  625-636.
X B
Pradipta Prometheus Mitra 2011 Eyjólfur Ingi Ásgeirsson, Pradipta Mitra, On a game theoretic approach to capacity maximization in wireless networks, 30th IEEE International Conference on Computer Communications (INFOCOM) 2011, pp. 3029-3037.
X B
Pradipta Prometheus Mitra 2011 Magnus M. Halldorsson, Pradipta Mitra. Wireless Capacity with Oblivious Power in General Metrics, 22nd ACM-SIAM Symposium on Discrete Algorithms (SODA) 2011, pp. 1538-1548.
X B
Stephan Schiffel 2011 Stephan Schiffel and Michael Thielscher. Reasoning about general games described in GDL-II. In Proceedings of the AAAI Conference on Artificial Intelligence, San Francisco, August 2011. AAAI Press.
X B
Ute Schiffel 2011 Marc Brünink, André Schmitt, Thomas Knauth, Martin Süßkraut, Ute Schiffel, Stephan Creutz, and Christof Fetzer. Aaron : An adaptable execution environment. In The 41st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2011), 2011.
X B
Ute Schiffel 2011 Martin Süßkraut, André Schmitt, Ute Schiffel, Marc Brünink, and Christof Fetzer. Silistra compiler: Building reliable systems with unreliable hardware (Poster paper). In Proceedings of The 41st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2011), 2011.
X B
Yngvi Björnsson 2011 Mark H. M. Winands and Yngvi Björnsson (2011)  Alpha-Beta-Based Playouts in Monte-Carlo Tree Search. In IEEE Conference on Computational Intelligence and Games (CIG 2011), pages 110-117.
X B
Yngvi Björnsson 2011 Hilmar Finnsson and Yngvi Björnsson (2011). Game-Tree Properties and MCTS Performance. In the GIGA'11 workshop at the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11).
X B
Yngvi Björnsson 2011 Stefán Freyr Guðmundsson and Yngvi Björnsson (2011).  MCTS: Improved Action Selection Techniques for Deterministic Games. In the GIGA'11 workshop at the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11).
X B
Ýmir Vigfússon 2011 K.V.Jonsson, Y.Vigfusson. Securing Distributed Aggregation with Trusted Devices. To appear in the 16th Nordic Conference in Secure IT Systems (Nordsec), Tallinn, Estonia. October 2011.
X B
Ýmir Vigfússon 2011 R. Melamed, G. Laden, Y. Vigfusson. Adaptive and Dynamic Funnel Replication in Clouds. In Proc. VLDB Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Seattle, Washington. September 2011.
X B
Kristinn R. Þórisson 2011 Schmidhuber, J., Thórisson, K. R. and Looks, M. (eds.), Proceedings of Artificial General Intelligence 2011.
X C1
Kristinn R. Þórisson 2011 Vilhjalmsson, H. H., Kopp, S. and Thórisson, K. R. (eds.), Proceedings of Intelligent Virtual Agents 2011.
X C1
Luca Aceto 2011 L. ACETO AND M. MOUSAVI. Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011), volume 60 of Electronic Proceedings in Theoretical Computer Science, 6 August 2011.
X C1
Luca Aceto 2011 L. ACETO, M.  HENZINGER AND J. SGALL. Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), Parts I and II. Lecture Notes in Computer Science volumes 6755 and 6756, Springer-Verlag, July 2011. (Note: This is a two-volume book.)
X C1
Magnús Már Halldórsson 2011 C. Demetrescu, M. M. Halldórsson (eds). Algorithms – ESA 2011: 19th Annual European Symposium, Saarbrücken, Germany, September 2011. Springer LNCS #6942.
X C1
Deon Garrett 2011 D. Dasgupta, D. Garrett, G. Hernandez, F. Nino, A. Romero, A. Kaushal, and J. Simien. Genetic-Based Solutions to Variations of the United States Navy's Sailor Assignment Problem. In Variants of Evolutionary Algorithms for Real-World Applications (R. Chiong, T. Weise, and Z. Michalewicz ed.). Springer. 2011. To Appear.
X C2
Hannes Högni Vilhjálmsson 2011 Koutsombogera, M., Ammendrup, S. M., Vilhjálmsson, H. and Papageorgiou, H. (2011), "Nonverbal Expression of Turn Management in TV Interviews: A Cross-Cultural Study between Greek and Icelandic" in A. Esposito et al. (Eds.): Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues, Lecture Notes in Computer Science 6456:207-213, Springer-Verlag Berlin Heidelberg
X C2
Anna Ingólfsdóttir
 2011 Luca Aceto, Anna Ingolfsdottir and Jiri Srba.  The Algorithmics of Bisimilarity. Chapter 3 in Advanced Topics in Bisimulation and Coinduction (Jan Rutten and Davide Sangiorgi editors), volume 52 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, October 2011.   X
 C2
 Luca Aceto
 2011 Luca Aceto, Anna Ingolfsdottir and Jiri Srba.  The Algorithmics of Bisimilarity. Chapter 3 in Advanced Topics in Bisimulation and Coinduction (Jan Rutten and Davide Sangiorgi editors), volume 52 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, October 2011.   X
 C2
Yngvi Björnsson 2011 Vadim Bulitko, Yngvi Björnsson, Nathan Sturtevant, and Ramon Lawrence (2010). Real-time heuristic search for pathfinding in video games. . In Artificial Intelligence for Computer Games (Eds. González-Calero, Pedro Antonio; Gómez-Martín, Marco Antonio), pp. 1-30. Springer, 2011.
X C2
Björn Þór Jónsson 2011 Grímur Tómasson, Hlynur Sigurþórsson, Björn Þór Jónsson, Laurent Amsaleg. PhotoCube: Effective and Efficient Multi-Dimensional Browsing of Personal Photo Collections. Demonstration paper. Proceedings of the ACM International Conference on Multimedia Retrieval (ICMR), Trento, Italy, April, 2011.
X D
Stephan Schiffel 2011 Daniel Michulke and Stephan Schiffel. Distance features for general game playing. In Yngvi Björnsson, Nathan Sturtevant, and Michael Thielscher, editors, Proceedings of the IJCAI-11 Workshop on General Game Playing (GIGA'11), Barcelona, Spain, July 2011.
X D
Ute Schiffel 2011 Ute Schiffel,  Hardware Error Detection Using AN-Codes, Ph.D. Thesis, Technische Universität Dresden, 2011

D
Anders Claesson 2010 Anders Claesson, Mark Dukes, Einar Steingrímsson, Permutations sortable by n-4 passes through a stack, Annals of Combinatorics 14 (2010) 45–51 X X A
Anders Claesson 2010 Anders Claesson, Sergey Kitaev, Kari Ragnarsson, Bridget Eileen Tenner, Boolean complexes for Ferrers graphs, The Australasian Journal of Combinatorics 48 (2010) 159–173
X A
Anders Claesson 2010 Fan Chung, Anders Claesson, Mark Dukes, Ronald Graham, Descent polynomials for permutations with bounded drop size, European Journal of Combinatorics 31 (2010) 1853–1867 X X A
Anders Claesson 2010 Mireille Bousquet-Mélou, Anders Claesson, Mark Dukes, Sergey Kitaev, (2+2)-free posets, ascent sequences and pattern avoiding permutations, Journal of Combinatorial Theory Series A 117 (2010) 884–909 X X A
Anisse Kasraoui 2010 A. Kasraoui, and D. Stanton and J. Zeng, The combinatorics of Al-Salam Chihara q-Laguerre polynomials, Advances in Applied Mathematics (2010), doi:10.1016/j.aam.2010.04.008 X
A
Anisse Kasraoui 2010 A. Kasraoui, Ascents and descents in 01-fillings of moon polyominoes, European J. Combin. 31(2010), no1, 87-105. X
A
Anna Ingólfsdóttir
 2010 Luca Aceto, Anna Ingolfsdottir and Joshua Sack. Resource bisimilarity and graded bisimilarity coincide. Information Processing Letters 111(2):68–76, Elsevier, 31 December 2010.  X X
 A
Anna Ingólfsdóttir 2010 L. ACETO, W. FOKKINK, A. INGOLFSDOTTIR AND M. MOUSAVI. Lifting Non-Finite Axiomatizability
Results to Extensions of Process Algebras. Acta Informatica 47(3):147–177, May 2010.		 X X A
Björn Þór Jónsson 2010 Arnar Ólafsson, Björn Þór Jónsson, Laurent Amsaleg, Herwig Lejsek. Dynamic Behavior of Balanced NV-trees. Multimedia Systems, 2010. Accepted for publication (available on-line). X X A
Einar Steingrímsson 2010 Anders Claesson, Mark Dukes, Einar Steingrímsson, Permutations sortable by n-4 passes through a stack, Annals of Combinatorics 14 (2010) 45–51 X X A
Hannes Högni Vilhjálmsson 2010 Pedica, C. and Vilhjálmsson, H. (2010) "Spontaneous Avatar Behavior for Human Territoriality", Applied Artificial Intelligence, 24(6):575-593, Taylor & Francis Group X X A
Henning Úlfarsson 2010 Q. Chen, S. Marcus, H. Ulfarsson. Very twisted stable maps. Communications in Analysis. X X A
Joshua Sack
 2010
 Luca Aceto, Anna Ingolfsdottir and Joshua Sack. Resource bisimilarity and graded bisimilarity coincide. Information Processing Letters 111(2):68–76, Elsevier, 31 December 2010.  X
 X
 A
Joshua Sack 2010 Joshua Sack. Logic for Update Products and Steps into the Past. Annals of Pure and Applied Logic, 161:12, 2010, pp 1431-1461. X X A
Kristinn R. Þórisson 2010 Thórisson, K. R., N. Spivack & J. Wissner (2010). The Semantic Web: From Representation to Realization. In LNCS Journal of Transactions on Computational Collective Intelligence. Ngoc Thanh Nguyen, Ryszard Kowalczyk (Eds.).
X A
Luca Aceto
 2010
 Luca Aceto, Anna Ingolfsdottir and Joshua Sack. Resource bisimilarity and graded bisimilarity coincide. Information Processing Letters 111(2):68–76, Elsevier, 31 December 2010. X
 X
 A
Luca Aceto 2010 L. ACETO, W. FOKKINK, A. INGOLFSDOTTIR AND M. MOUSAVI. Lifting Non-Finite Axiomatizability
Results to Extensions of Process Algebras. Acta Informatica 47(3):147–177, May 2010.		 X X A
Luca Zamboni 2010 Abelian complexity of minimal subshifts, (with G. Richomme, K. Saari). J. Lond. Math. Soc. (2) X X A
Luca Zamboni 2010 On the maximal abelian pattern complexity of infinite words (with T. Kamae, S. Widmer), Ergod. Thoer. & Dynam. Sys. (2010). X X A
Luca Zamboni 2010 Balance and Abelian complexity of the Tribonacci word, (with G. Richomme, K. Saari), Adv. Appl. Math., 45 (2010), p. 212--231. X X A
Luca Zamboni 2010 Structure of $k$-interval exchange transformations: induction, trajectories, and distance theorems, (with S. Ferenczi), J. Anal. Math., volume 112 (2010), p. 289--329
X A
Luca Zamboni 2010 On the graphs of central episturmian words, (with A. de Luca), Theoret. Comput. Sci. 411 (2010), p. 70--90. X X A
Luca Zamboni 2010 Involutions of central episturmian words, (with A. de Luca), European J. Combinatorics, 31 (2010), p. 867--886. X X A
Luca Zamboni 2010 Standard factors of Sturmian words, (with G. Richomme, K. Saari), Theor. Inform. Appl. (RAIRO), 44 (2010), p. 159--174. X X A
Magnús Már Halldórsson 2010 Magnús M. Halldórsson. Online coloring of hypergraphs. Information Processing Letters
110:370–372, 2010.
 X X A
Magnús Már Halldórsson 2010 Magnús M. Halldórsson, Joseph Y. Halpern, Li (Erran) Li, Vahab S. Mirrokni. On Spectrum Sharing Games. Distributed Computing 22(4):235–248, 2010. DOI: 10.1007/s00446-010-0098-0 X X A
Magnús Már Halldórsson 2010 Geir Agnarsson and Magnús M. Halldórsson. Vertex coloring the square of outerplanar graphs of low degree. Discussiones Mathematicae Graph Theory, 2010.
X A
Marjan Sirjani 2010 M. M. Jaghoori, M. Sirjani, M. R. Mousavi, E. Khamespanah, A. Movaghar, Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca, Acta Informatica, 47(1): 33-66 (2010) X X A
Marjan Sirjani 2010 H. Sabouri, M. Sirjani, Actor-based Slicing Techniques for Efficient Reduction of Rebeca Models, Science of Computer Programming X X A
Marjan Sirjani 2010 H. R. Shahriari, M. S. Makarem, M. Sirjani, R. Jalili, A. Movaghar, Vulnerability Analysis of Networks to Detect Multiphase Attacks Using the Actor-based Language Rebeca, Journal of Computers and Electrical Engineering, Elsevier, Volume: 36   Issue: 5   Special Issue: Sp. Iss. SI   Pages: 874-885 (available online June 2008). X
A
Martina Kubitzke 2010 Gesa Kämpf and Martina Kubitzke. Exterior depth and exterior generic annihilator numbers. Communications in Algebra, 2010. X X A
Robert Parviainen 2010 Dukes M and Parviainen R. Ascent sequences and upper triangular matrices containing non-negative integers. ELECTRONIC JOURNAL OF COMBINATORICS    Volume: 17    Issue: 1  Article Number: R53 X X A
Sergey Kitaev 2010 S. Avgustinovich, A. Glen, B. V. Halldórsson, S. Kitaev: On shortest crucial words avoiding abelian powers, Discrete Applied Mathematics 158 (2010) 605-607. X X A
Sergey Kitaev 2010 S. Kitaev, J. Remmel: Place-difference-value patterns: A generalization of generalized permutation and word patterns, Integers: Electronic Journal of Combinatorial Number Theory 10 (2010), A11, pp. 129-154.
X A
Sergey Kitaev 2010 S. Kitaev, A. Pyatkin: On avoidance of V- and Lambda-patterns in permutations,  Ars Combinatoria 97  (2010)  203-215. X X A
Sergey Kitaev 2010 M. Bousquet-Mélou, A. Claesson, M. Dukes, S. Kitaev: Unlabeled (2+2)-free posets, ascent sequences and pattern avoiding permutations, Journal of Combinatorial Theory - Series A 117 (2010) 7, 884-909. X X A
Sergey Kitaev 2010 A. Claesson, S. Kitaev, K. Ragnarsson, B. E. Tenner: Boolean complexes for Ferrers graphs, Australasian Journal of Combinatorics 48 (2010) 159-173.
X A
Sergey Kitaev 2010 S. Heubach, S. Kitaev: Avoiding substrings in compositions, Congressus Numerantium.
X A
Vit Jelinek 2010 The Rank-Width of the Square Grid (Vít Jelínek), Discrete Applied Mathematics 158(7) (2010), 841—850. X
A
Yngvi Björnsson 2010 Vadim Bulitko, Yngvi Björnsson, and Ramon Lawrence. Case-Based Sub- goaling in Real-Time Heuristic Search for Video Game Pathfinding. Journal of Artificial Intelligence Research (JAIR), 39:269–300, 2010. X X A
Yngvi Björnsson 2010 Mark H.M. Winands, Yngvi Björnsson and Jahn-Takeshi Saito (2010). Monte Carlo Tree Search in Lines of Actions. IEEE Transactions on Computational Intelligence and AI in Games. In press.
X A
Anders Claesson 2010 Anders Claesson, Fan Chung, Mark Dukes and Ronald Graham, Descent polynomials for permutations with bounded drop size, The 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010), San Francisco State University, August 2-6, 2010
X B
Anders Claesson 2010 Anders Claesson, Svante Linusson, n! matchings, n! posets, The 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010), San Francisco State University, August 2-6, 2010
X B
Anders Claesson 2010 Anders Claesson, Vit Jelínek, Eva Jelinkova, Sergey Kitaev, Pattern avoidance in partial permutations, The 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010), San Francisco State University, August 2-6, 2010
X B
Anna Ingólfsdóttir 2010 L. ACETO, M. CIMINI, A. INGO LFSDOTTIR, M. MOUSAVI AND M. RENIERS. On Rule Formats for Zero and Unit Elements. Proceedings of the Twenty-sixth Conference on the Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science 256, pp. 145–160, Elsevier, 6 September 2010.
X B
Anna Ingólfsdóttir 2010 L. ACETO, A. INGO LFSDOTTIR, M. MOUSAVI AND M. RENIERS. A Rule Format for Unit Elements. Proceedings of SOFSEM 2010: The 36th International Conference on Current Trends in Theory and Practice of Computing, Lecture Notes in Computer Science 5901, pp. 141–152, Springer-Verlag, 2010.
X B
Anna Ingólfsdóttir 2010 L. ACETO, A. BIRGISSON, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Rule Formats for Determinism and Idempotency. Proceedings of IPM International Conference on Fundamentals of Software Engineering (FSEN09) (F. Arbab and M. Sirjani, eds.), Iran, April 15–17 2009, Lecture Notes in Computer Science 5961, pp. 146–161, Springer-Verlag, 2010.
X B
Anna Ingólfsdóttir 2010 L. ACETO, M. CIMINI AND A. INGO LFSDOTTIR. A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages. Proceedings of Structural Operational Semantics 2009, Electronic Proceedings in Theoretical Computer Science 18, pp. 1–16, February 2010.
X B
Björn Þór Jónsson 2010 Herwig Lejsek, Kristleifur Daðason, Björn Þór Jónsson, Laurent Amsaleg. GPU Acceleration of Eff2 Descriptors using CUDA. Proceedings of the ACM Multimedia Conference, Firenze, Italy, October, 2010.
X B
Björn Þór Jónsson 2010 Herwig Lejsek, Hrönn Þormóðsdóttir, Friðrik Heiðar Ásmundsson, Kristleifur Daðason, Ársæll Þór Jóhannsson, Björn Þór Jónsson, Laurent Amsaleg. VidentifierTM Forensic: Large-Scale Video Identification in Practise. Proceedings of Multimedia in Forensics workshop (MiFor), Firenze, Italy, October, 2010.
X B
Björn Þór Jónsson 2010 Gylfi Þór Guðmundsson, Björn Þór Jónsson, Laurent Amsaleg. A Large-Scale Performance Study of Cluster-Based High-Dimensional Indexing. Proceedings of the Workshop on Very-Large-Scale Multimedia Corpus, Mining and Retrieval, Firenze, Italy, October, 2010.
X B
Hannes Högni Vilhjálmsson 2010 Pedica, C., Vilhjálmsson, H. and Larusdottir, M. (2010) "Avatars in Conversation: The Importance of Simulating Territorial Behavior", J. Allbeck (Eds.): Proceedings of the 10th International Conference on Intelligent Virtual Agents, September 20-22, Philadelphia, USA, Lecture Notes in Artificial Intelligence, 6356:336-342, Springer-Verlag, Berlin Heidelberg
X B
Hannes Högni Vilhjálmsson 2010 Koutsombogera, M., Ammendrup, S., Vilhjálmsson, H. and Papageorgiou H. (to appear) "Non-verbal Expressions of Turn Management in TV Interviews: A Cross-Cultural Study between Greek and Icelandic", in A. Esposito et al. (Eds.): Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces: Theoretical and Practical Issues.. Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin Heidelberg
X B
Henning Úlfarsson 2010 H. Ulfarsson. A unification of permutation patterns related to Schubert varieties. The 22nd International Conference on Formal Power Series & Algebraic Combinatorics (FPSAC 2010), San Francisco State University, August 2-6, 2010
X B
Hrafn Loftsson 2010 Hrafn Loftsson, Jökull H. Yngvason, Sigrún Helgadóttir and Eiríkur Rögnvaldsson. Developing a PoS-tagged corpus using existing tools. In Proceedings of "Creation and use of basic lexical resources for less-resourced languages", workshop at the 7th International Conference on Language Resources and Evaluation, LREC 2010. Valetta, Malta. 
X B
Kristinn R. Þórisson 2010 Felkin, M., J. Terrien & K. R. Thórisson (2010). Laughter Detection in Noisy Settings. The 21st National Conference on Artificial Intelligence and Cognitive Science, NUI Galway, 30 August - 1 September.
X B
Kristinn R. Þórisson 2010 Jonsson, G.K. & K. R. Thórisson (2010). Evaluating Multimodal Human-Robot Interaction: A Case Study of an Early Humanoid Prototype. Measuring Behavior 2010. Proceedings of the 6th International Conference on Methods and Techniques in Behavioral Research, The Netherlands, 24-27 August. Edited by L.P.J.J. Noldus, M.R. Ballinijn, C.A. Bruisten-Jeannot, I.J. Burfield, M.J. Gronert and A.J. Spink
X B
Kristinn R. Þórisson 2010 Gislason, O., G. R. Jonsdottir, H. Th. Thorisson, K. R. Thórisson (2010). Multiparty Turn taking - Using a Cognitive Model of Multimodal Dialogue Skills. Video, Intelligent Virtual Agents 2010.
X B
Luca Aceto 2010 L. ACETO, M. CIMINI, A. INGO LFSDOTTIR, M. MOUSAVI AND M. RENIERS. On Rule Formats for Zero and Unit Elements. Proceedings of the Twenty-sixth Conference on the Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science 256, pp. 145–160, Elsevier, 6 September 2010.
X B
Luca Aceto 2010 L. ACETO, A. INGO LFSDOTTIR, M. MOUSAVI AND M. RENIERS. A Rule Format for Unit Elements. Proceedings of SOFSEM 2010: The 36th International Conference on Current Trends in Theory and Practice of Computing, Lecture Notes in Computer Science 5901, pp. 141–152, Springer-Verlag, 2010.
X B
Luca Aceto 2010 L. ACETO, A. BIRGISSON, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Rule Formats for Determinism and Idempotency. Proceedings of IPM International Conference on Fundamentals of Software Engineering (FSEN09) (F. Arbab and M. Sirjani, eds.), Iran, April 15–17 2009, Lecture Notes in Computer Science 5961, pp. 146–161, Springer-Verlag, 2010.
X B
Luca Aceto 2010 L. ACETO, M. CIMINI AND A. INGO LFSDOTTIR. A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages. Proceedings of Structural Operational Semantics 2009, Electronic Proceedings in Theoretical Computer Science 18, pp. 1–16, February 2010.
X B
Luca Zamboni 2010 Automatic infinite permutation (with A. Frid), Journées Montoises 2010.
X B
Magnús Már Halldórsson 2010 Magnús M. Halldórsson, Hadas Shachnai. Return of the boss problem: Competing online against a non-adaptive adversary. In Proc. 5th FUN in Algorithms, June 2010. Springer LNCS # 6099.
X B
Magnús Már Halldórsson 2010 Unnar Th. Bachmann, Magnús M. Halldórsson, Hadas Shachnai. Online selection of intervals and t-intervals. In Proc. 12th Scandinavian Workshop on Algorithm Theory (SWAT), Bergen, Norway, June 2010. Springer LNCS # 6139.
X B
Magnús Már Halldórsson 2010 Bjarni V. Halldórsson, Magnús M. Halldórsson, Elena Losievskaja, and Mario Szegedy. Streaming algorithms for independent sets. In Proc. 37th International Conference on Automata, Languages, and Programming (ICALP), July 2010. Springer LNCS # 6198
X B
Magnús Már Halldórsson 2010 Yuval Emek, Magnús M. Halldórsson, Yishay Mansour, Boaz Patt-Shamir, Jaikumar Radhakrishnan and Dror Rawitz. Online set packing and competitive scheduling of multi-part tasks. In Proc. 29th ACM Symposium on Principles of Distributed Computing (PODC), 2010
X B
Magnús Már Halldórsson 2010 Magnús M. Halldórsson, Sergey Kitaev, Artem Pyatkin. Graphs Capturing Alternations in Words. In Proc. 14th Conference on Developments in Language Theory, August 17-20, 2010. Short paper. Springer LNCS # 6224
X B
Magnús Már Halldórsson 2010 [Magnús M. Halldórsson, Pradipta Mitra. Wireless Capacity with Oblivious Power in General Metrics. To appear in Proc. 22nd ACM-SIAM Symposium on Discrete Algorithms (SODA), Miami, Florida, January 2011.]
X B
Marjan Sirjani 2010 N. Khakpour, R. Khosravi, M. Sirjani, S, Jalili, Formal Analysis of Policy-Based Self-Adaptive Systems, Proceedings of SAC'10, 2010.
X B
Marjan Sirjani 2010 N. Khakpour, S, Jalili, C. Talcott, M. Sirjani, M. M. Mousavi, PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems, Proceedings of FACS09, Electr. Notes Theor. Comput. Sci. 263: 129-143 (2010)
X B
Marjan Sirjani 2010 H. Sabouri, M. Sirjani, Slicing-based Reductions for Rebeca, Proceedings of FACS´08, Elsevier ENTCS post-proceedings, 260: 209-224 (2010).
X B
Marta Lárusdóttir 2010 Larusdottir, M. K., Bjarnadottir, E., Gulliksen, J. "The Focus on Usability in Testing Practices in Industry", the Human Computer Interaction Symposium at the World Computer Congress 2010, Brisbane, September, 2010
X B
Marta Lárusdóttir 2010 Claudio, P., Vilhjalmsson, H., Larusdottir, M., Avatars in Conversation: The Importance of Simulating Territorial, the 10th International Conference on Intelligent Virtual Agents Behavior, Pensylvania, 2010.
X B
Sergey Kitaev 2010 S. Kitaev, J. Remmel: Enumerating (2+2)-free posets by the number of minimal elements and other statistics. Discrete Math. Theor. Comput. Sci. Proc. AK (2010) 689-700. Proceedings of the 22nd International Conference on Formal Power Series & Algebraic Combinatorics, San Francisco State University, San Francisco, USA, August 2-6 (2010).
X B
Sergey Kitaev 2010 A. Claesson, V. Jelinek, E. Jelinkova, S. Kitaev: Pattern avoidance in partial permutations.  Discrete Math. Theor. Comput. Sci. Proc. AK (2010) 493-504. Proceedings of the 22nd International Conference on Formal Power Series & Algebraic Combinatorics, San Francisco State University, San Francisco, USA, August 2-6 (2010).
X B
Vit Jelinek 2010 Testing Planarity of Partially Embedded Graphs (P. Angelini, G. Di Battista, F. Frati, Vít Jelínek, J. Kratochvíl, M. Patrignani, I. Rutter), Proceedings of SODA 2010, 202-221.
X B
Vit Jelinek 2010 The Moebius Function of Separable Permutations (Vít Jelínek, E. Jelínková, E. Steingrímsson), Proceedings of FPSAC 2010.
X B
Vit Jelinek 2010 Pattern Avoidance in Partial Permutations (A. Claesson, Vít Jelínek, E. Jelínková, S. Kitaev), Proceedings of FPSAC 2010.
X B
Yngvi Björnsson 2010 Hilmar Finnsson and Yngvi Björnsson (2010). Learning simulation control in general game-playing agents. In The Twenty-Fourth AAAI Conference on Artificial Intelligence, page 954-959.
X B
Yngvi Björnsson 2010 Nathan Sturtevant, Vadim Bulitko, and Yngvi Björnsson (2010). On learning in real-time heuristic search. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Toronto, Canada.
X B
Luca Aceto 2010 L. ACETO AND P. SOBOCINSKI. Proceedings of the Seventh Workshop on Structural Operational Semantics, volume 32 of Electronic Proceedings in Theoretical Computer Science, 11th August 2010. Available at http://dx.doi.org/10.4204/EPTCS.32.
X C1
Yngvi Björnsson 2010 Vadim Bulitko, Yngvi Björnsson, Nathan Sturtevant, and Ramon Lawrence (2010). Real-time heuristic search for pathfinding in video games. In Artificial Intelligence for Games. Springer. In press.
X C1
Anna Ingólfsdóttir 2010 L. ACETO, A. INGOLFSDOTTIR AND J. Srba. The algorithmics of bisimilarity. To appear as a chapter in the book „Bisimulation and Coinduction“ (Jan Rutten and Davide Sangiorgi editors), Cambridge University Press.
X C2
Luca Aceto 2010 L. ACETO, A. INGOLFSDOTTIR AND J. Srba. The algorithmics of bisimilarity. To appear as a chapter in the book „Bisimulation and Coinduction“ (Jan Rutten and Davide Sangiorgi editors), Cambridge University Press. 
X C2
Sergey Kitaev 2010 S. Kitaev: A survey on partially ordered patterns, In Permutation Patterns (2010), S. Linton, N. Ruskuc, and V. Vatter, Eds., vol. 376 of London Mathematical Society Lecture Note Series, Cambridge University Press, pp. 115-135.
X C2
Sergey Kitaev 2010 M. Halldórsson, S. Kitaev, A. Pyatkin: Graphs capturing alternations in words, (DLT 2010), Y. Gao, H. Lu, S. Seki, S. Yu (Eds.): Lecture Notes in Computer Science 6224 (2010) 436--437.
X C2
Björn Þór Jónsson 2010 Matias Bjørling, Lionel Le Folgoc, Ahmed Mseddi, Philippe Bonnet, Luc Bouganim, Björn Þór Jónsson. Performing Sound Flash Device Measurements: The uFLIP Experience (demonstration paper). Proceedings of the ACM SIGMOD International Conference on Management of Data. Indianapolis, IN, USA, June, 2010.
X D
Pradipta Mitra 2010 Wireless Capacity with Oblivious Power in General Metrics, Magnus M. Halldorsson and Pradipta Prometheus Mitra, accepted to appear in ACM-SIAM symposium on Discrete Algorithms (SODA), 2011
X D
Anders Claesson 2009 Anders Claesson, Sergey Kitaev, Einar Steingrímsson. Decompositions and statistics for β(1,0)-trees and nonseparable permutations Advances. in Applied Mathematics 42 (2009) X X A
Anisse Kasraoui 2009 A. Kasraoui, d-Regular Set Partitions and Rook Placements,    Séminaire Lotharingien de Combinatoire, B62a (2009),  8 pp.

A
Anisse Kasraoui 2009 A. Kasraoui, A classification of Mahonian maj-inv statistics,  Advances in Applied Mathematics 42 (2009), Issue 3, 342-357. X
A
Anisse Kasraoui 2009 A. Kasraoui and J. Zeng,  Euler-Mahonian statistics on ordered partitions  (II) (with Jiang Zeng),  Journal of Combinatorial Theory, Series A 116 (2009), Issue 3 , 539-563 X
A
Anna Ingólfsdóttir 2009 L. ACETO, W. J. FOKKINK, A. INGO LFSDOTTIR AND B. LUTTIK. A Finite Equational Base for CCS with Left Merge and Communication Merge. ACM Transactions on Computational Logic Volume 10, Number 1, January 2009. X X A
Ari Kristinn Jónsson 2009 Sudhakar Y. Reddy, Mitchell Ai-Chang, Michael Iatauro, Elif Kürklü, Matthew E. Boyce, Jeremy D. Frank, and Ari K. Jónsson, "Planning Solar Array Operations on the International Space Station", to appear in forthcoming Special Issue of Computational Intelligence, 2009. X X A
Ásrún Matthíasdóttir 2009 Starfsánægja og starfsumhverfi framhaldsskólakennara. Co-authors Guðrún Ragnarsdóttir, and Jón Friðrik Sigurðsson. In print in Netla
X A
Björn Þór Jónsson 2009 Herwig Lejsek, Friðrik Heiðar Ásmundsson, Björn Þór Jónsson, Laurent Amsaleg. NV-tree: An Efficient Disk-Based Index for Approximate Search in Very Large High-Dimensional Collections. IEEE Transactions on Pattern Analysis and Machine Intelligence, 31(5), May, 2009. X X A
Einar Steingrímsson 2009 A. Claesson, S. Kitaev, E. Steingrímsson: Decompositions and statistics for β(1,0)-trees and nonseparable permutations, Advances in Applied Mathematics 42 (2009) X X A
Joshua Sack 2009 Joshua Sack. Extending Probabilistic Dynamic Epistemic Logic. Synthese 169:2, 2009, pp. 241-257 X X A
Kristinn R. Þórisson 2009 Ng-Thow-Hing, V., K. R. Thórisson, R. K. Sarvadevabhatla, J. Wormer, T. List (2009). The Cognitive Map architecture for facilitating human-robot interaction in humanoid robots. IEEE Robotics & Automation. Volume: 16   Issue: 1   Pages: 55-66 X X A
Luca Aceto 2009 L. ACETO, W. J. FOKKINK, A. INGO LFSDOTTIR AND B. LUTTIK. A Finite Equational Base for CCS with Left Merge and Communication Merge. ACM Transactions on Computational Logic Volume 10, Number 1, January 2009. X X A
Luca Zamboni 2009 Palindromic richness, (with A. Glen, J. Justin, S. Widmer),  European J. Combinatorics,  30 (2009) p. 510--531. X X A
Luca Zamboni 2009 On theta-episturmian words, (with M. Bucci, A. de Luca, A. De Luca),   European J. Combinatorics, 30 (2009) p. 473--479. X X A
Luca Zamboni 2009 Characterizations of words with many periods, (with R. Tijdeman), Integers,  9 (2009), p. 333--342.
X A
Luca Zamboni 2009 A new characteristic property of rich words, (with M. Bucci, A. De Luca, A. Glen),  Theoret. Comput. Sci.,  410 (2009), p. 2860--2863.  X X A
Luca Zamboni 2009 A connection between palindromic and factor complexity using return words, (with M. Bucci,  A. De Luca, A. Glen), Adv. Appl. Math.,  42 (2009), p. 60--74. X X A
Luca Zamboni 2009 Fine and Wilf theorem for any periods II, (with R. Tijdeman),  Theoret. Comput. Sci.,  410 (2009), p. 3027--3034. X X A
Magnús Már Halldórsson 2009 Akihisa Kako, Takao Ono, Tomio Hirata, and Magnús M. Halldórsson. Approximation Algorithms for the Weighted Independent Set Problem. Disc. Appl. Math. 157(4):617–626, February 2009. X X A
Magnús Már Halldórsson 2009 Guy Even, Magnús M. Halldórsson, Lotem Kaplan, Dana Ron. Scheduling with Conflicts: Online and Offline Algorithms. J. Scheduling, 12(2):199-224, April 2009. X X A
Magnús Már Halldórsson 2009 Magnús M. Halldórsson, Elena Losievskaja Independent sets in bounded-degree hypergraphs Disc. Appl. Math. 157(8):1773–1786, April 2009 X X A
Magnús Már Halldórsson 2009 Leah Epstein, Magnús M. Halldórsson, Asaf Levin, Hadas Shachnai. Weighted Sum Coloring in Batch Scheduling of Conflicting Jobs. Algorithmica,  Volume: 55   Issue: 4   Pages: 643-665 X X A
Marjan Sirjani 2009 M.M. Jaghoori, F. de Boer, T. Chotia, and M. Sirjani, Schedulability of asynchronous Real-time concurrent objects, Journal of Logic and Algebraic Programming, Elsevier, Volume 78, Issue 5, pp. 402-416, 2009. X X A
Martina Kubitzke 2010 Gesa Kämpf and Martina Kubitzke. Exterior depth and exterior generic annihilator numbers. Communications in Algebra, 2009, to appear.  X X A
Martina Kubitzke 2009 Martina Kubitzke and Eran Nevo. The Lefschetz property for barycentric subdivisions of shellable complexes. Transactions of the AMS, Volume: 361    Issue: 11    Pages: 6151-6163  X
A
Sergey Kitaev 2009 A. Claesson, S. Kitaev, E. Steingrimsson: Decompositions and statistics for beta(1,0)-trees and nonseparable permutations, Advances in Applied Mathematics 42 (2009) 313-328. X X A
Sergey Kitaev 2009 E. Deutsch, S. Kitaev, J. Remmel: Equidistribution of descents, adjacent pairs, and place-value pairs on permutations, Journal of Integer Sequences 12 (2009), Article 09.5.1, 19pp.   X A
Sergey Kitaev 2009 S. Kitaev, J. Liese, J. Remmel, B. Sagan: Rationality, irrationality, and Wilf equivalence in generalized factor order, Electronic Journal of Combinatorics, Volume: 16   Issue: 2 Article Number: R22 X X A
Sergey Kitaev 2010 A. Burstein, S. Kitaev, T. Mansour: Independent sets in certain classes of (almost) regular graphs, Pure Mathematics and Applications (PU.M.A.), to appear   X A
Sergey Kitaev 2010 A. Burstein, S. Kitaev: Partially ordered patterns and their combinatorial interpretations, Pure Mathematics and Applications (PU.M.A.), to appear   X A
Vit Jelinek 2009 New Equivalences for Pattern Avoiding Involutions  (M. Dukes,  Vít Jelínek, T. Mansour, and A. Reifegerste), Proceedings of AMS 137 (2009), 457—465. X
A
Vit Jelinek 2009 Wilf-Equivalence on k-ary Words, Compositions, and Parking Functions (Vít Jelínek, T. Mansour), Electronic Journal of Combinatorics 16(1) (2009), #R58. X
A
Yngvi Björnsson 2009 Yngvi Björnsson and Hilmar Finnsson (2009). CadiaPlayer: A Simulation-Based General Game Player. IEEE Transactions on Computational Intelligence and AI in Games, 1(1), pp.4-15.   X A
Anders Claesson 2009 Anders Claesson, M. Bousquet-Mélou, M. Dukes and S. Kitaev, Unlabeled (2+2)-free posets, ascent sequences and pattern avoiding permutations, 21th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009), Hagenberg, Austria, July 2009   X B
Anna Ingólfsdóttir 2009 L. ACETO, A. INGOLFSDOTTIR, KIM G. LARSEN AND J. SRBA. Teaching Concurrency: Theory in Practice. Proceedings of TFM2009, 2nd Int. FME Conference on Teaching Formal Methods: “Widening Access to Formal Methods” (J. Gibbons and J. N. Oliveira, eds.), Lecture Notes in Computer Science 5846, pp. 158–175, Springer-Verlag, 2009.   X B
Anna Ingólfsdóttir 2009 ACETO, A. INGOLFSDOTTIR AND J. SACK. Characteristic Formulae for Fixed-Point Semantics: A General Framework. To appear in the Proceedings of EXPRESS 2009, Electronic Proceedings in Theoretical Computer Science.   X B
Ásrún Matthíasdóttir 2009 You must be independent and have self-confidence. Attitudes of Distance Learners. Proceeding of the International Conference on Computer Systems and Technologies - CompSysTech'09 in Bulgaria. ACM Database.   X B
Ásrún Matthíasdóttir 2009 Learning Spanish through blogging. Application of ICT to language learning and teaching at Reykjavík University. In print in proceedings of the conference ICT in language learning, Florence. Co-author Pilar Concheiro   X B
Björn Þór Jónsson 2009 Herwig Lejsek, Friðrik Heiðar Ásmundsson, Kristleifur Daðason, Ársæll Þór Jóhannsson, Björn Þór Jónsson, Laurent Amsaleg. Videntifier Forensic: A New Law Enforcement Service for Automatic Identification of Illegal Video Material. Proceedings of Multimedia in Forensics workshop (MiFor), Beijing, China, October, 2009.   X B
Björn Þór Jónsson 2009 Stefán Freyr Stefánsson, Björn Þór Jónsson, Kristinn R. Thórisson. A YARP-Based Architectural Framework for Robotic Vision Applications. Proceedings of the International Conference on Computer Vision Theory and Applications (VISAPP, poster presentation). Lissabon, Portugal, February, 2009.   X B
Björn Þór Jónsson 2009 Best Paper Award: Luc Bouganim, Björn Þór Jónsson, Philippe Bonnet. uFLIP: Understanding Flash IO Patterns. Proceedings of the Fourth Biennial Conference on Innovative Data Systems (CIDR). Asilomar, CA, USA, January, 2009.   X B
Hannes Högni Vilhjálmsson 2009 Vilhjálmsson, H. (2009) "Representing Communicative Function and Behavior in Multimodal Communication" in A. Esposito et al. (Eds.): Multimodal Signals: Cognitive and Algorithmic Issues. Lecture Notes in Artificial Intelligence, 5398: 47-59, Springer-Verlag, Berlin Heidelberg   X B
Hannes Högni Vilhjálmsson 2009 Pedica, C. and Vilhjálmsson, H. (2009) "Spontaneous Avatar Behavior for Human Territoriality", Zs. Ruttkay et al. (Eds.): Proceedings of the 9th International Conference on Intelligent Virtual Agents, September 14-16, Amsterdam, The Netherlands, Lecture Notes in Artificial Intelligence, 5773: 344-357, Springer-Verlag, Berlin Heidelberg   X B
Hannes Högni Vilhjálmsson 2009 Cafaro, A., Gaito, R. and Vilhjálmsson, H. (2009) "Animating Idle Gaze in Public Places", Zs. Ruttkay et al. (Eds.): Proceedings of the 9th International Conference on Intelligent Virtual Agents, September 14-16, Amsterdam, The Netherlands, Lecture Notes in Artificial Intelligence, 5773: 250-256, Springer-Verlag, Berlin Heidelberg   X B
Hrafn Loftsson 2009 Verena Henrich, Timo Reuter and Hrafn Loftsson. CombiTagger: A System for Developing Combined Taggers. In Proceedings of the 22nd International FLAIRS Conference, Special Track: "Applied Natural Language Processing". Sanibel Island, Florida, USA. © 2009 AAAI.    X B
Hrafn Loftsson 2009 Hrafn Loftsson, Ida Kramarczyk, Sigrún Helgadóttir and Eiríkur Rögnvaldsson. Improving the PoS tagging accuracy of Icelandic text. In Proceedings of the 17th Nordic Conference of Computational Linguistics (NODALIDA-2009). Odense, Denmark.    X B
Hrafn Loftsson 2009 Anton K. Ingason, Skúli B. Jóhannsson, Sigrún Helgadóttir, Hrafn Loftsson and Eiríkur Rögnvaldsson. Context-Sensitive Spelling Correction and Rich Morphology. In Proceedings of the 17th Nordic Conference of Computational Linguistics (NODALIDA-2009). Odense, Denmark.    X B
Hrafn Loftsson 2009 Eiríkur Rögnvaldsson, Hrafn Loftsson, Kristín Bjarnadóttir, Sigrún Helgadóttir, Anna B. Nikulásdóttir, Matthew Whelpton and Anton K. Ingason. Icelandic Language Resources and Technology: Status and Prospects. In Proceedings of the NoDaLiDa 2009 Workshop "Nordic Perspectives on the CLARIN Infrastructure of Common Language Resources". Odense, Denmark.    X B
Hrafn Loftsson 2009 Hrafn Loftsson. Correcting a POS-Tagged Corpus Using Three Complementary Methods. In Proceedings of the 12th Conference of the European Chapter of the ACL (EACL 2009). Athens, Greece.    X B
Joshua Sack 2009 Bryan Renne, Joshua Sack, Audrey Yap. Dynamic Epistemic Temporal Logic. In the proceedings of the International Workshop Logic, Rationality, and Interaction 2009, Lecture Notes Artificial Intelligence 5834, FoLLI publications on Logic, Language and Information, Springer   X B
Joshua Sack 2009 Luca Aceto, Anna Ingolfsdottir, Joshua Sack. Characteristic Formulae for Fixed-point Semantics: a General Framework. Proceedings of the 16th International Workshop on Expressiveness and Concurrency 2009. Electronic Proceedings in Theoretical Computer Science   X B
Kristinn R. Þórisson 2009 Thórisson, K. R. (2009). From Constructionist to Constructivist A.I. AAAI Fall Symposium Series - Biologically Inspired Cognitive Architectures, Washington D.C., November 5-7.   X B
Kristinn R. Þórisson 2009 Stefánsson, S. F., B. Th. Jonsson and K. R. Thórisson (2009). A YARP-based Architectural Framework for Robotic Vision Applications. VISSAPP (1) 2009: 65-68.   X B
Kristinn R. Þórisson 2009 K. R. Thórisson and H. H. Vilhjalmsson (2009). Functional Description of Multimodal Acts: A Proposal. The Eight International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary, May 10-15.   X B
Kristinn R. Þórisson 2009 Jonsdottir, G. R. and Thórisson, K. R. (2009). Teaching Computers to Conduct Spoken Interviews: Breaking the Realtime Barrier With Learning. IVA '09, 446–459; LNAI 5773   X B
Kristinn R. Þórisson 2009 Nivel, E. & Thórisson, K. R. (2009). Self-Programming: Operationalizing Autonomy. Proceedings of the Second Conference on Artificial General Intelligence, 150-155, Arlington, VA, USA, March 6-9.   X B
Kristinn R. Þórisson 2009 Thórisson, K. R. & Nivel, E. (2009). Achieving Artificial General Intelligence Through Peewee Granularity. Proceedings of the Second Conference on Artificial General Intelligence, 222-223, Arlington, VA, USA, March 6-9.   X B
Kristinn R. Þórisson 2009 Thórisson, K. R. & Nivel, E. (2009). Holistic Intelligence: Transversal Skills and Current Methodologies. Proceedings of the Second Conference on Artificial General Intelligence, 220-221, Arlington, VA, USA, March 6-9.   X B
Kristinn R. Þórisson 2009 Thórisson, K. R., R. J. Saemundsson, G. R. Jonsdottir, B. Reynisson, C. Pedica, P. R. Thrainsson and P. Skowronski (2009). Applying Constructionist Design Methodology to Agent-Based Simulation Systems. 3rd International KES Symposium on Agents and Multi-agent Systems – Technologies and Applications    X B
Kristinn R. Þórisson 2009 Thórisson, K. R., N. Spivack and J. M. Wissner (2009). SemCards: A New Representation for Realizing the Semantic Web. 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks & Multiagent Systems, 5-7 October, Wrocław.   X B
Luca Aceto 2009 L. ACETO, A. INGOLFSDOTTIR, KIM G. LARSEN AND J. SRBA. Teaching Concurrency: Theory in Practice. Proceedings of TFM2009, 2nd Int. FME Conference on teaching Formal Methods: “Widening Access to Formal Methods” (J. Gibbons and J. N. Oliveira, eds.), Lecture Notes in Computer Science 5846, pp. 158–175, Springer-Verlag, 2009.
   X B
Luca Aceto 2009 ACETO, A. INGOLFSDOTTIR AND J. SACK. Characteristic Formulae for Fixed-Point Semantics: A General Framework. To appear in the Proceedings of EXPRESS 2009, Electronic Proceedings in Theoretical Computer Science.   X B
Luca Zamboni 2009 Abelian properties of words, (with G. Richomme, K. Saari), WORDS 2009 International Conference, Salerno.   X B
Magnús Már Halldórsson 2009 Olga Goussievskaia, Magnús M. Halldórsson, Roger Wattenhofer, Emo Welzl. Capacity of arbitrary wireless networks. In Proc. 28th Annual IEEE Conference on Computer Communications (INFOCOM), April 2009.   X B
Magnús Már Halldórsson 2009 Magnús M. Halldórsson, Roger Wattenhofer. Wireless communications is in APX. In Proc. 36th International Conference on Automata, Languages, and Programming (ICALP), July 2009.   X B
Magnús Már Halldórsson 2009 Geir Agnarsson, Magnús M. Halldórsson, Elena Losievskaja. SDP-based Algorithms for Maximum Independent Set Problems on Hypergraphs In Proc. 36th International Conference on Automata, Languages, and Programming (ICALP), July 2009   X B
Magnús Már Halldórsson 2009 Magnús M. Halldórsson. Wireless scheduling with power control. Proc. 17th European Symposium on Algorithms (ESA), September 2009.   X B
Marjan Sirjani 2009 B. Pourvatan, M. Sirjani, H. Hojjat, F. Arbab, Automated Analysis of Reo Circuits using Symbolic Execution, Preproceedings of FOCLASA09, to appear in ENTCS, 2009.   X B
Marjan Sirjani 2009 H. Hajabdolali Bazzaz, M. Sirjani, R. Khosravi, S. Taheri: Modeling Networking issues of Networkon-chip: a Coloured Petri nets Approach. SimuTools 2009: 22   X B
Marjan Sirjani 2009 R. Behjati, M. Nili Ahmadabadi, M. Sirjani, Bounded Rational Search for On-the-fly Model Checking of LTL Properties, Preproceedings of FSEN´09, Springer LNCS post-proceedings, 2009.   X B
Marjan Sirjani 2009 N. Khakpour, M. Sirjani and S. Jalili, Formal Analysis of Smart Home Policies using Compositional Verification , Proceedings of ICFI'09, 2009.  
B
Marjan Sirjani 2009 S. Tasharofi, M. Sirjani, Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM, Proceedings of FOCLASA´08, Elsevier ENTCS post-proceedings, Vol. 229, Issue 2, 21 July 2009, Pages 155-174  
B
Sergey Kitaev 2009 M. Bousquet-Melou, A. Claesson, M. Dukes, S. Kitaev: Unlabeled (2+2)-free posets, ascent sequences and pattern avoiding permutations. Proceedings of the 21th International Conference on Formal Power Series \& Algebraic Combinatorics, Hagenberg, Austria, July 20-24 (2009).   X B
Sergey Kitaev 2009 S. Kitaev, J. Liese, J. Remmel, B. Sagan: Rationality, irrationality, and Wilf equivalence in generalized factor order. Proceedings of the 21th International Conference on Formal Power Series \& Algebraic Combinatorics, Hagenberg, Austria, July 20-24 (2009).   X B
Vit Jelinek 2009 The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree (Vít Jelínek, E. Jelínková, J. Kratochvíl, B. Lidický, M. Tesař, and T. Vyskočil), Proceedings of 17th International Symposium on Graph Drawing (GD 2009).   X B
Yngvi Björnsson 2009 Vadim Bulitko, Yngvi Björnsson. (2009). kNN LRTA*: Simple Subgoaling for Real-Time Search. Artificial Intelligence and Interactive Digital Entertainment (AIIDE). AAAI Press. Stanford, California.   X B
Yngvi Björnsson 2009 Yngvi Björnsson, Vadim Bulitko, and Nathan Sturtevant (2009). TBA*: Time-Bounded A*. In Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09), pp. 431-436.   X B
Yngvi Björnsson 2009 Pálmi Skowronski, Yngvi Björnsson, and Mark H. M. Winands (2009). Automatic Discovery of Search-Control Features. In Proceedings of the Twelfth International Advances in Computer Games Conference (ACG'09), Pamplona, Spain, May 11-13.   X B
Yngvi Björnsson 2009 Mark H.M. Winands and Yngvi Björnsson. Evaluation Function Based Monte-Carlo LOA (2009). In Proceedings of the Twelfth International Advances in Computer Games Conference (ACG'09), Pamplona, Spain, May 11-13.   X B
Yngvi Björnsson 2009 Hilmar Finnsson and Yngvi Björnsson (2009). Simulation Control in General Game Playing Agents. In IJCAI'09 Workshop on General Intelligence in Game Playing Agents.    X B
Anna Ingólfsdóttir 2009 L. ACETO AND A. INGOLFSDOTTIR. Special Issue in memory of Nadia Busi of Mathematical Structures in Computer Science. Cambridge University Press, 2009. To appear   X C1
Anna Ingólfsdóttir 2009 L. ACETO, J. BAETEN, W. FOKKINK, A. INGOLFSDOTTIR AND U. NESTMANN. Special Issue: IFIP WG1.8 Workshop on Applying Concurrency Research in Industry. Journal of Logic and Algebraic Programming 78(4):191–288, April 2009.   X C1
Luca Aceto 2009 L. ACETO AND A. INGOLFSDOTTIR. Special Issue in memory of Nadia Busi of Mathematical Structures in Computer Science. Cambridge University Press, 2009. To appear.   X C1
Luca Aceto 2009 L. ACETO, J. BAETEN, W. FOKKINK, A. INGOLFSDOTTIR AND U. NESTMANN. Special Issue: IFIP WG1.8 Workshop on Applying Concurrency Research in Industry. Journal of Logic and Algebraic Programming 78(4):191–288, April 2009.   X C1
Anna Ingólfsdóttir 2009 L. ACETO, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Algebraic Properties for Free!. Bulletin of the European Association for Theoretical Computer Science 99:81–104, October 2009.   X C2
Luca Aceto 2009 L. ACETO, A. INGOLFSDOTTIR, M. MOUSAVI AND M. RENIERS. Algebraic Properties for Free!. Bulletin of the European Association for Theoretical Computer Science 99:81–104, October 2009.   X C2
Marta Lárusdóttir 2009 Lárusdóttir, M. K., 2009, “A Case Study - Hindrances and Success Factors in Student Projects” in IFIP International Federation for Information Processing, Volume 289, 2009; Creativity and HCI (Boston: Springer) pp. 189 – 202. From Experience to Design in Education; Paula Kotzé, William Wong, Joaquim Jorge, Alan Dix, Paula Alexandra Silva.   X C2
Martina Kubitzke 2009 Matthias Drton, Bernd Sturmfels, Seth Sullivant, Lectures on Algebraic Statistics, Oberwolfach Seminars, Birkhäuser, 2009. Chapter 6.3: Florian Block, Sofia Massa, Martina Kubitzke, Exercises: A colored Gaussian graphical model.   
C2
Sergey Kitaev 2009 A. Glen, B. V. Halldorsson, S. Kitaev: Crucial words for abelian powers, (DLT 2009), V. Diekert, D. Nowotka (Eds.): Lecture Notes in Computer Science 5583 (2009) 264-275.   X C2
Björn Þór Jónsson 2009 Friðrik Heiðar Ásmundsson, Herwig Lejsek, Kristleifur Daðason, Björn Þór Jónsson, Laurent Amsaleg. Videntifier Forensic: Robust and Efficient Detection of Illegal Multimedia. Proceedings of the ACM Multimedia Conference (demonstration paper). Beijing, China, October, 2009.   X D
Marta Lárusdóttir 2009 Larusdottir, M. K., Haraldsdottir, O. and Mikkelsen, B.: “User Involvement in Icelandic Software Industry. Proceedings for the 2nd international workshop on the interplay between usability evaluation and software development - I-Used 2009, at the Interact conference, Sweden, 2009.   X D
Anders Claesson 2008 Anders Claesson, Sergey Kitaev. Classification of bijections between 321- and 132-avoiding permutations. Séminaire Lotharingien de Combinatoire B60d (2008)   X A
Anisse Kasraoui 2008 M. Ishikawa, A. Kasraoui and J. Zeng, Euler-Mahonian statistics on ordered partitions,  SIAM Journal on Discrete Mathematics 22 (2008),  Issue 3, 1105-1137. X
A
Anna Ingólfsdóttir 2008 L. ACETO, W. J. FOKKINK AND A. INGOLFSDOTTIR. A Cancellation Theorem for BCCSP. Fundamenta Informaticae 88(1–2):1–21, 2008. X X A
Anna Ingólfsdóttir 2008 L. ACETO AND A. INGO LFSDOTTIR. On the Expressibility of Priority. Information Processing Letters 109(1):83–85, 2008. X X A
Anna Ingólfsdóttir 2008 L. ACETO, S. CAPOBIANCO, A. INGOLFSDOTTIR AND B. LUTTIK. The Equational Theory of Prebisimilarity over Basic CCS with Divergence. Information Processing Letters 108:284–289, 15 November 2008 X X A
Anna Ingólfsdóttir 2008 L. ACETO, S. CAPOBIANCO, AND A. INGOLFSDOTTIR. On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. Bulletin of the EATCS 95:220–240, June 2008.   X A
Anna Ingólfsdóttir 2008 L. ACETO, T. CHEN, W. J. FOKKINK AND A. INGO LFSDOTTIR. On the Axiomatizability of Priority. Mathematical Structures in Computer Science 18(1):5–28, February 2008.  X X A
Ásrún Matthíasdóttir 2008 Distance education in Iceland: A glimpse into the future. Lifelong Learning in Europe (LLinE), Vol. XIII Issue 4/2008 Remote Areas and Lifelong Learning   X A
Hrafn Loftsson 2008 Hrafn Loftsson. Tagging Icelandic text: A linguistic rule-based approach. Nordic Journal of Linguistics, 31(1), 47-72. X X A
Joshua Sack 2008 Joshua Sack. Temporal Languages for Epistemic Programs. Journal of Logic, Language and Information 17:2, 2008, pp. 183-216  
A
Luca Aceto 2008 L. ACETO, W. J. FOKKINK AND A. INGOLFSDOTTIR. A Cancellation Theorem for BCCSP. Fundamenta Informaticae 88(1–2):1–21, 2008.
 X X A
Luca Aceto 2008 L. ACETO AND A. INGO LFSDOTTIR. On the Expressibility of Priority. Information Processing Letters 109(1):83–85, 2008.
 X X A
Luca Aceto 2008 L. ACETO, S. CAPOBIANCO, A. INGOLFSDOTTIR AND B. LUTTIK. The Equational Theory of Prebisimilarity over Basic CCS with Divergence. Information Processing Letters
108:284–289, 15 November 2008
 X X A
Luca Aceto 2008 L. ACETO, S. CAPOBIANCO, AND A. INGOLFSDOTTIR. On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. Bulletin of the EATCS 95:220–240, June 2008.
   X A
Luca Aceto 2008 L. ACETO, T. CHEN, W. J. FOKKINK AND A. INGO LFSDOTTIR. On the Axiomatizability of Priority. Mathematical Structures in Computer Science 18(1):5–28, February 2008.  X X A
Luca Zamboni 2008 Rich, Sturmian, and trapezoidal words, (with A. de Luca, A. Glen), Theoret. Comput. Sci., 407 (2008), p. 569--573. X X A
Luca Zamboni 2008 Language of $k$-interval exchange transformations, (with S. Ferenczi), Bull. London Math. Soc.,  40 (2008),  p. 705--714. X X A
Luca Zamboni 2008 On some problems related to palindrome closure, (with M. Bucci, A. de Luca, A. De Luca),  Theor. Inform. Appl. (RAIRO),   42 (2008), p. 679--701. X X A
Luca Zamboni 2008 On different generalizations of episturmian words, (with M. Bucci, A. de Luca, A. De Luca), Theoret. Comput. Sci., 393 (1), (2008), p. 23--36. X X A
Magnús Már Halldórsson 2008 Geir Agnarsson, Ágúst Egilsson, Magnús Halldórsson. Vertex coloring acyclic digraphs and their corresponding hypergraphs. Discrete Applied Mathematics, 156(10):1918-1928, 28 May 2008 X X A
Magnús Már Halldórsson 2008 Rajiv Gandhi, Magnús M. Halldórsson, G. Kortsarz and H. Shachnai. Improved bounds for scheduling conflicting jobs with minsum criteria. ACM Transactions on Algorithms 4(1), Article 11, March 2008. X X A
Magnús Már Halldórsson 2008 Magnús M. Halldórsson, Takeshi Tokuyama. Minimizing Interference of a Wireless Ad-Hoc Network in a Plane Theoretical Computer Science, 402(1):29–42, 28 July 2008. http://dx.doi.org/10.1016/j.tcs.2008.03.003. X X A
Martina Kubitzke 2008 Martina Kubitzke and Volkmar Welker. The multiplicity conjecture for barycentric subdivisions. Communications in Algebra, 36, 4223–4248, 2008. X
A
Martina Kubitzke 2008 Gesa Kämpf and Martina Kubitzke. Notes on symmetric and exterior depth and annihilator numbers. Le Matematiche, Volume LXIII, Issue II, 2008.  
A
Sergey Kitaev 2008 Kitaev, T. Mansour, P. Seebold: Counting ordered patterns in words generated by morphisms, Integers: Electronic Journal of Combinatorial Number Theory 8 (2008), A03, 28pp.   X A
Sergey Kitaev 2008 S. Avgustinovich, S. Kitaev: On uniquely k-determined permutations, Discrete Mathematics 308 (2008), 1500-1507. X X A
Sergey Kitaev 2008 S. Kitaev, A. Pyatkin: On representable graphs, Automata, Languages and Combinatorics 13 (2008) 1, 45-54.   X A
Sergey Kitaev 2008 S. Kitaev, T. Mansour, J. Remmel: Counting descents, rises, and levels, with prescribed first element, in words, Discrete Mathematics & Theoretical Computer Science 10:3 (2008), 1-22. X X A
Sergey Kitaev 2008 S. Kitaev, S. Seif: Word problem of the Perkins semigroup via directed acyclic graphs, Order, DOI 10.1007/s11083-008-9083-7 (2008). X X A
Sergey Kitaev 2008 A. Claesson, S. Kitaev: Classification of bijections between 321- and 132-avoiding permutations, Seminaire Lotharingien de Combinatoire B60d (2008), 30 pp.   X A
Vit Jelinek 2008 On Pattern-Avoiding Partitions (Vít Jelínek, T. Mansour), Electronic Journal of Combinatorics 15 (2008), #R39. X
A
Vit Jelinek 2008 Generalizations of Khovanskii's Theorems on the Growth of Sumsets in Abelian Semigroups (Vít Jelínek, M. Klazar), Advances in Applied Mathematics 41(1) (2008), 115—132. X
A
Yngvi Björnsson 2008 Vadim Bulitko, Mitja Lustrek, Jonathan Schaeffer, Yngvi Björnsson and Sverrir Sigmundarson (2008). Dynamic Control in Real-Time Heuristic Search. Journal of Artificial Intelligence Research (JAIR), 32:419–452. X X A
Yngvi Björnsson 2008 Mark Winands and Yngvi Björnsson (2008). Enhanced Realization Probability Search. New Mathematics and Natural Computation, 3(6):329–327.    X A
Anders Claesson 2008 Anders Claesson, Sergey Kitaev, Classification of bijections between 321- and 132-avoiding permutations, 20th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008), Valparaiso, Chile, June 2008   X B
Anisse Kasraoui 2008 M. Ishikawa, A. Kasraoui and J. Zeng, Euler-Mahonian statistics on ordered partitions and Steingrímsson's conjecture---a survey. Combinatorial representation theory and related topics, 99--113, RIMS Kôkyûroku Bessatsu, B8, Res. Inst. Math. Sci. (RIMS), Kyoto, 2008.  
B
Anna Ingólfsdóttir 2008 L. ACETO, A. INGOLFSDOTTIR, B. LUTTIK AND P. VAN TILBURG. Finite Equational Bases for Fragments of CCS with Restriction and Relabeling. In the Proceedings of TCS 2008, 5th IFIP International Conference on Theoretical Computer Science, IFIP International Federation for Information Processing Series, pp. 317–332, Springer-Verlag, September 2008.   X B
Anna Ingólfsdóttir 2008 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND MOHAMMADREZA MOUSAVI. Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. In the Proceedings of TCS 2008, 5th IFIP International Conference on Theoretical Computer Science, IFIP International Federation for Information Processing Series, pp. 301–316, Springer-Verlag, September 2008.   X B
Björn Þór Jónsson 2008 Arnar Ólafsson, Björn Þór Jónsson, Laurent Amsaleg. Dynamic Behavior of Balanced NV-trees. Proceedings of the Sixth International Workshop on Content-Based Multimedia Indexing (CBMI). London, England, June, 2008.   X B
Hannes Högni Vilhjálmsson 2008 Pedica, C. and Vilhjálmsson, H. (2008) "Social Perception and Steering for Online Avatars", H. Prendinger et al. (Eds.): Proceedings of the 8th International Conference on Intelligent Virtual Agents, September 1-3, Tokyo, Japan, Lecture Notes in Artificial Intelligence, 5208: 104-116, Springer-Verlag, Berlin Heidelberg   X B
Hannes Högni Vilhjálmsson 2008 Heylen, D., Kopp, S., Marsella, S., Pelachaud, C., Vilhjálmsson, H. (2008) "The Next Step Towards a Functional Markup Language", H. Prendinger et al. (Eds.): Proceedings of the 8th International Conference on Intelligent Virtual Agents, September 1-3, Tokyo, Japan, Lecture Notes in Artificial Intelligence, 5208: 104-116, Springer-Verlag, Berlin Heidelberg   X B
Hrafn Loftsson 2008 A. K. Ingason, S. Helgadóttir, H. Loftsson and E. Rögnvaldsson. A Mixed Method Lemmatization Algorithm Using Hierachy of Linguistic Identities (HOLI). In B. Nordström and A. Rante (eds.), Advances in Natural Language Processing, 6th International Conference on NLP, GoTAL 2008, Proceedings. Gothenburg, Sweden.    X B
Hrafn Loftsson 2008 H. Loftsson and E. Rögnvaldsson. Linguistic richness and technical aspects of an incremental finite-state parser. In Proceedings of "Partial Parsing 2008", workshop at the 6th International Conference on Language Resources and Evaluation, LREC 2008. Marrakech, Morocco.   X B
Kristinn R. Þórisson 2008 Thórisson, K. R. and G. R. Jonsdottir (2008). A Granular Architecture for Dynamic Realtime Dialogue. Intelligent Virtual Agents (IVA), Tokyo, Japan, September 1-3.   X B
Kristinn R. Þórisson 2008 G. R. Jonsdottir, K. R. Thórisson and E. Nivel (2008). Learning Smooth, Human-Like Turn taking in Realtime Dialogue. Intelligent Virtual Agents (IVA), Tokyo, Japan, September 1-3.   X B
Kristinn R. Þórisson 2008 Thórisson, K. R., G. R. Jonsdottir and E. Nivel (2008). Methods for Complex Single-Mind Architecture Designs. Proc. AAMAS, Estoril, Portugal, June.   X B
Luca Aceto 2008 L. ACETO, A. INGOLFSDOTTIR, B. LUTTIK AND P. VAN TILBURG. Finite Equational Bases for Fragments of CCS with Restriction and Relabeling. In the Proceedings of TCS 2008, 5th IFIP International Conference on Theoretical Computer Science, IFIP International Federation for Information Processing Series, pp. 317–332, Springer-Verlag, September 2008.   X B
Luca Aceto 2008 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND MOHAMMADREZA MOUSAVI. Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. In the Proceedings of TCS 2008, 5th IFIP International Conference on Theoretical Computer Science, IFIP International Federation for Information Processing Series, pp. 301–316, Springer-Verlag, September 2008.   X B
Luca Zamboni 2008 A new characteristic property of rich words, (with M. Bucci, A. De Luca, A. Glen), Journée Montoises (2008).   X B
Luca Zamboni 2008 Relationally periodic sequences and subword complexity, (with J. Cassaigne, T. Kärki),  Developments in Language Theory, 12th International Conference, DLT 2008, Kyoto, Japan.   X B
Luca Zamboni 2008 Standard Words and Abelian Powers in Sturmian Words, (with G. Richomme and K. Saari), Journée Montoises (2008).   X B
Magnús Már Halldórsson 2008 Takuro Fukunaga, Magnús M. Halldórsson, Hiroshi Nagamochi. Robust Cost Colorings. Proc. 18th SIAM-ACM Symposium on Discrete Algorithms (SODA), San Fransisco, January 2008.   X B
Magnús Már Halldórsson 2008 Magnús M. Halldórsson, Guy Kortsarz, Maxim Sviridenko. Min Sum Edge Coloring in General Multigraphs via Configuration LP. In Proc. 13th Conf. on Integer Programming and Combinatorial Optimization (IPCO), Bertinoro, May 2008. LNCS.   X B
Magnús Már Halldórsson 2008 Magnús M. Halldórsson, Hadas Shachnai. Batch Coloring Flat Graphs and Thin. In Proc. 11th Scandinavian Workshop on Algorithm Theory (SWAT), Gothenburg, Sweden, July 2008. Springer LNCS # 5124   X B
Marjan Sirjani 2008 F. Mahdikhani, M. R. Hashemi, M. Sirjani, QoS Aspects in Web Services Compositions, Proceedings of The Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), 2008.  
B
Marjan Sirjani 2008 Hojjat, M. R. Mousavi, M. Sirjani, A Framework for Performance Evaluation and Functional Verification in Stochastic Process Algebra, pp. 339-346, ACM SAC 2008  
B
Marjan Sirjani 2008 H. Hojjat, M. R. Mousavi, M. Sirjani, Process Algebraic Verification of SystemC Codes, pp. 62-67, IEEE ACSD 2008  
B
Marjan Sirjani 2008 R. Behjati, H. Sabouri, N. Razavi, M. Sirjani, An Effective Approach for Model Checking SystemC Designs, pp. 56-61, IEEE ACSD 2008  
B
Marjan Sirjani 2008 R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi, H. Iravanchi, Modeling and Analysis of Reo Connectors using Alloy, LNCS 5052, pp. 169-183, Coordination 2008  
B
Marjan Sirjani 2008 C. Talcott, M. Sirjani, S. Ren, Comparing Three Coordination Models: Reo, ARC, and RRD, Proceedings of FOCLASA 2007, ENTCS, 2008  
B
Sergey Kitaev 2008 S. Kitaev, T. Mansour, P. Seebold: Counting ordered patterns in words generated by morphisms, Pre-proceedings of the 2nd International Conference on Language and Automata Theory and Applications} (LATA), Tarragona, Spain, March 13-19 (2008), 301-312.   X B
Sergey Kitaev 2008 A. Claesson, S. Kitaev: Classification of bijections between 321- and 132-avoiding permutations. To appear in proceedings of the 20th International Conference on Formal Power Series & Algebraic Combinatorics, Valparaiso, Chile, June 23-27 (2008).   X B
Vit Jelinek 2008 Equivalences for Pattern-Avoiding Involutions and Classification (M. Dukes, Vít Jelínek, T. Mansour, and A. Reifegerste), Proceedings of 20th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008), DMTCS proceedings AJ (2008), 181—188.  
B
Vit Jelinek 2008 Clustered Planarity: Clusters with Few Outgoing Edges (Vít Jelínek, O. Suchý, M. Tesař, and T. Vyskočil), Proceedings of 16th International Symposium on  Graph Drawing (GD 2008), LNCS 5417 (2009), 102—113.  
B
Vit Jelinek 2008 Clustered Planarity: Embedded Clustered Graphs with Two-Component Clusters (Vít Jelínek, E. Jelínková, J. Kratochvíl, and B. Lidický), Proceedings of 16th International Symposium on Graph Drawing (GD 2008), LNCS 5417 (2009), 121—132.  
B
Vit Jelinek 2008 The Rank-Width of the Square Grid (Vít Jelínek), Proceedings of 34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2008), LNCS 5344 (2008), 230—239.  
B
Yngvi Björnsson 2008 Hilmar Finnsson and Yngvi Björnsson (2008). Simulation-Based Approach to General Game Playing. In The Twenty-Third AAAI Conference on Artificial Intelligence, pp. 259–264.   X B
Yngvi Björnsson 2008 Jónheiður Ísleifsdóttir and Yngvi Björnsson (2008). GTQ: A Language and Tool for Game-Tree Analysis. In Proceedings of the Sixth International Computers and Games Conference (CG'08), Beijing, China, pp. 217–228.    X B
Yngvi Björnsson 2008 Mark, Winands, Yngvi Björnsson and Jahn-Takeshi Saito (2008). Monte-Carlo Tree Search Solver. In Proceedings of the Sixth International Computers and Games Conference (CG'08), Beijing, China, pp. 25–36.    X B
Anna Ingólfsdóttir 2008 L. ACETO AND A. INGOLFSDOTTIR  Special Issue: The 16th Nordic Workshop on Programming Theory (NWPT 2006). Journal of Logic and Algebraic Programming 77(1-2):1–156 (September-October 2008).    X C1
Anna Ingólfsdóttir 2008 ACETO L., I. DAMGAARD, L.A. GOLDBERG, M.M. HALLDORSSON, A. INGOLFSDOTTIR AND I. WALUKIEWICZ. Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008, Proceedings, Parts I and II. Lecture Notes in Computer Science volumes 5125 and 5126, Springer-Verlag, July 2008. (Note: This is a two-volume book.)   X C1
Luca Aceto 2008 L. ACETO AND A. INGOLFSDOTTIR  Special Issue: The 16th Nordic Workshop on Programming Theory (NWPT 2006). Journal of Logic and Algebraic Programming 77(1-2):1–156 (September-October 2008).    X C1
Luca Aceto 2008 ACETO L., I. DAMGAARD, L.A. GOLDBERG, M.M. HALLDORSSON, A. INGOLFSDOTTIR AND I. WALUKIEWICZ. Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008, Proceedings, Parts I and II. Lecture Notes in Computer Science volumes 5125 and 5126, Springer-Verlag, July 2008. (Note: This is a two-volume book.)    X C1
Luca Aceto 2008 L. Aceto, M. Bravetti, W. Fokkink and A.D. Gordon. Special Issue: Algebraic Process Calculi (The First Twenty Five Years and Beyond): Volume 3}. Journal of Logic and Algebraic Programming 75(1):1--166 (February-March 2008).   X C1
Magnús Már Halldórsson 2008 L. Aceto, I. Damgård, L. A. Goldberg, M. M. Halldórsson, A. Ingólfsdóttir, I. Walukiewicz (Eds). Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Track A: Algorithms, Automata, Complexity, and Games. Springer 2008, ISBN 978-3-540-70574-1   X C1
Magnús Már Halldórsson 2008 L. Aceto, I. Damgård, L. A. Goldberg, M. M. Halldórsson, A. Ingólfsdóttir, I. Walukiewicz (Eds). Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II: Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations. Springer 2008, ISBN 978-3-540-70582-6.   X C1
Anna Ingólfsdóttir 2008 L. ACETO, J. BAETEN, W. FOKKINK, A. INGOLFSDOTTIR AND U. NESTMANN. Applying Concurrency Research in Industry: Report on a Strategic Workshop. Bulletin of the European Association for Theoretical Computer Science 94:113–129, February 2008.    X C2
Einar Steingrímsson 2008 Generalized permutation patterns - a short survey To appear in "Permutation Patterns, St Andrews 2007", S.A. Linton, N. Ruskuc, V. Vatter (eds.), LMS Lecture Note Series, Cambridge
University Press (2008)		   X C2
Kristinn R. Þórisson 2008 Thórisson, K. R. (2008). Modeling Multimodal Communication as a Complex System. In I. Wachsmuth, M. Lenzen, G. Knoblich (eds.), Springer Lecture Series in Computer Science: Modeling Communication with Robots and Virtual Humans, 143-168. New York: Springer.   X C2
Kristinn R. Þórisson 2008 Bonaiuto, J., K. R. Thórisson (2008). Towards a Neurocognitive Model of Realtime Turn taking in Face-to-Face Dialogue. In I. Wachsmuth, M. Lenzen, G. Knoblich (eds.), Embodied Communication in Humans And Machines. U.K.: Oxford University Press   X C2
Luca Aceto 2008 L. ACETO, J. BAETEN, W. FOKKINK, A. INGOLFSDOTTIR AND U. NESTMANN. Applying Concurrency Research in Industry: Report on a Strategic Workshop. Bulletin of the European Association for Theoretical Computer Science 94:113–129, February 2008.    X C2
Sergey Kitaev 2008 S. Kitaev, T. Mansour, P. Seebold: Counting ordered patterns in words generated by morphisms, Lecture Notes in Computer Science 5196 (2008), 287-298.   X C2
Ari Kristinn Jónsson 2008 Sudhakar Y. Reddy1, Mitchell Ai-Chang, Michael J. Iatauro1, Elif Kurklu , Matthew E. Boyce, Jeremy D. Frank, and Ari K. Jónsson, "Planning and Monitoring Solar Array Operations on the ISS", in workshop "Scheduling and Planning Applications", at the International Conference on Automated Planning and Scheduling (ICAPS), 2008.   X D
Hannes Högni Vilhjálmsson 2008 Vilhjálmsson, H. and Thórisson, K.R (2008) "A Brief History of Function Representation from Gandalf to SAIBA" in the proceedings of the 1st Function Markup Language Workshop at AAMAS, Portugal, June 12-16, 2008   X D
Marta Lárusdóttir 2008 Isleifsdottir, J and Larusdottir, M. K: “Measuring the User Experience of a Task Oriented Software” accepted for the COST-294 open workshop named: Meaningful Measures: Valid Useful User Measurement, Reykjavik, June, 18th, 2008.   X D
Anders Claesson 2007 Anders Claesson, T. Kyle Petersen Conway's napkin problem American Mathematical Monthly 114 (2007)  X
A
Ari Kristinn Jónsson 2007 Ari Jónsson, Robert Morris and Liam Pedersen, "Autonomy in Space: Current Capabilities and Future Challenges", in AI Magazine, Vol. 27, Issue 4. X X A
Ásrún Matthíasdóttir 2007 Online data collection in academic research: advantages and limitations. British Journal of Educational Technology  Volume: 38   Issue: 4   Pages: 574-582. Co-author Michael Dal and Samuel Lefever. X X A
Einar Steingrímsson 2007 E. Steingrímsson and L. K. Williams: Permutation tableaux and permutation patterns, Journal of Combinatorial Theory, Series A, 114 (2007), 211-234. X X A
Kristinn R. Þórisson 2007 Thórisson, K. R. (2007). Integrated A.I. Systems. Minds & Machines, 17:11-25, 2007. X X A
Magnús Már Halldórsson 2007 Geir Agnarsson and Magnús M. Halldórsson. Strongly simplicial vertices of powers of trees. Discrete Mathematics 307:2647–2652, 2007. X X A
Magnús Már Halldórsson 2007 Magnús M. Halldórsson, Kazuo Iwama, Shuichi Miyazaki and Hiroki Yanagisawa. Improved approximation of the stable marriage problem. ACM Transactions on Algorithms 3(3), Article 30, August 2007. X
A
Magnús Már Halldórsson 2007 Guy Kortsarz, Magnús Halldórsson, Jaikumar Radhakrishnan and Sivaramakrishnan Sivasubramanian. Complete Partitions of Graphs. Combinatorica, 27(5), 2007. X
A
Marjan Sirjani 2007 H. Hojjat, H. Nakhost, M. Sirjani., Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP), Journal of Universal Computer Science (J.UCS), vol 13, no. 13, pp. 2076-2104, 2007. X
A
Marta Lárusdóttir 2007 Hvannberg, E., Lai-Chong Law, E., Larusdottir, M. K.: Heuristic evaluation: Comparing ways of finding and reporting usability problems, Interacting with Computers, Volume 19, issue 2, March, 2007, p. 225- 240, http://dx.doi.org/10.1016/j.intcom.2006.10.001. X X A
Pawel Bartoszek 2007 Bartoszek, Pawel & Hreinsdóttir, Freyja (2007). The Koszul Dual of a Quotient Ring by the Jacobian Ideal of a Trilinear Form. Communications in Algebra, 35 (3), 915-929. X
A
Robert Parviainen 2007 Robert Parviainen. Estimation of Bond Percolation Thresholds on the Archimedean Lattices.  J. Phys. A. 40 (31), 9253-9256, 2007. X
A
Robert Parviainen 2007 Robert Parviainen. Parametric production matrices and weighted succession rules: a Dyck path example. J. Integer S. Vol 10, Article 07.6.1. 2007.  X
A
Sergey Kitaev 2007 S. Kitaev: Introduction to partially ordered patterns, Discrete Applied Mathematics 155 (2007), 929-944. X X A
Sergey Kitaev 2007 S. Kitaev, J. Remmel: Classifying Descents According to Parity, Annals of Combinatorics 11 (2007), 173-193. X X A
Sergey Kitaev 2007 S. Heubach, S. Kitaev, T. Mansour: Partially ordered patterns and compositions, Pure Mathematics and Applications (PU.M.A.) 17 (2007), No. 1-2, pp. 1-12.   X A
Sergey Kitaev 2007 S. Kitaev, J. Robbins: On multi-dimensional patterns, Pure Mathematics and Applications (PU.M.A.) 18 (2007), No. 3-4, pp. 1-9.   X A
Vit Jelinek 2007 Dyck Paths and Pattern-Avoiding Matchings  (Vít Jelínek), European Journal of Combinatorics 28(1) (2007), 202—213 X
A
Vit Jelinek 2007 Probabilistic Strategies for the Partition and Plurality Problems (Z. Dvořák, Vít Jelínek, D. Kráľ, J. Kynčl, and M. Saks), Random Structures and Algorithms 30(1-2) (2007), 63—77. X
A
Vit Jelinek 2007 Noncrossing Hamiltonian Paths in Geometric Graphs (J. Černý, Z. Dvořák, Vít Jelínek, and J. Kára), Discrete Applied Mathematics 155(9) (2007), 1096—1105. X
A
Vit Jelinek 2007 Labelings of Graphs with Fixed and Variable Edge-Weights (R. Babilon, Vít Jelínek, D. Kráľ, and P. Valtr), SIAM J. on Discrete Mathematics 21(3) (2007), 688—706. X
A
Yngvi Björnsson 2007 Jonathan Schaeffer, Neil Burch, Yngvi Björnsson, Akihiro Kishhimoto, Martin Müller, Rob Lake, Paul Lu, Steve Sutphen (2007). Checkers is Solved. Science, vol. 317(5844):1518-1522. X X A
Anna Ingólfsdóttir 2007 L. ACETO AND A. INGOLFSDOTTIR. The Saga of the Axiomatization of Parallel Composition. In the Proceedings of CONCUR 2007 (Luis Caires and Vasco Thudichum Vasconcelos editors), Lisbon, Portugal, 3–8 September 2007, Lecture Notes in Computer Science 4703, pp. 2–16, Springer-Verlag, 2007.   X B
Anna Ingólfsdóttir 2007 L. ACETO, A. INGOLFSDOTTIR  AND M. MOUSAVI. Impossibility Results for the Equational Theory of Timed CCS. In the Proceedings of Algebra and Coalgebra in Computer Science, 2nd Conference, CALCO 2007 (Ugo Montanari, Till Mossakowski and Magne Haveraaen editors), Bergen, Norway, 20–24 August 2007, Lecture Notes in Computer Science 4624, pp. 80–95, Springer-Verlag, 2007.   X B
Anna Ingólfsdóttir 2007 L. ACETO, W. J. FOKKINK, AND A. INGOLFSDOTTIR. Ready to Preorder: Get Your BCCSP Axiomatization for Free! In the Proceedings of Algebra and Coalgebra in Computer Science, 2nd Conference, CALCO 2007 (Ugo Montanari, Till Mossakowski and Magne Haveraaen editors), Bergen, Norway, 20–24 August 2007, Lecture Notes in Computer Science 4624, pp. 65–79, Springer-Verlag, 2007.   X B
Ari Kristinn Jónsson 2007 Ari Jónsson, Robert Morris and Liam Pedersen, “Autonomy in Space Exploration: Current Capabilities and Future Challenges”, to appear in Proceedings of IEEE Aerospace Conference, 2007   X B
Ásrún Matthíasdóttir 2007 Books vs. e-material. What is the deal? Proceeding of the international conference on Computer Systems and Technologies - CompSysTech'07 in Bulgaria. Co-author Þóra Halldórsdóttir   X B
Björn Þór Jónsson 2007 Kári Harðarson, Björn Þór Jónsson. Breaking out of the Shoebox: Towards Having Fun with Digital Images. Proceedings of the Third International Workshop on Computer Vision Meets Databases (CVDB 2007). Beijing, China, June 2007.   X B
Hannes Högni Vilhjálmsson 2007 Vilhjalmsson, H., Cantelmo, N., Cassell, J., Chafai, N., Kipp, M., Kopp, S., Mancini, M., Marsella, S., Marshall A., Pelachaud, C., Ruttkay Z., Thorisson, K., van Welbergen, H. and van der Werf, R. (2007) "The Behavior Markup Language: Recent Developments and Challenges", C. Pelachaud et al. (Eds.): Proceedings of The 7th International Conference on Intelligent Virtual Agents, September 17-19, Paris, France, Lecture Notes in Artificial Intelligence, 4722: 99-111, Springer-Verlag, Berlin Heidelberg   X B
Hrafn Loftsson 2007 H. Loftsson and E. Rögnvaldsson. IceNLP: A Natural Language Processing Toolkit for Icelandic. In Proceedings of InterSpeech 2007, Special session: "Speech and language technology for less-resourced languages". Antwerp, Belgium.    X B
Hrafn Loftsson 2007 H. Loftsson and E. Rögnvaldsson. IceParser: An Incremental Finite-State Parser for Icelandic. In J. Nivre, H-J. Kaalep, K. Muischnek and M. Koit (eds.), Proceedings of the 16th Nordic Conference of Computational Linguistics NODALIDA-2007. Tartu, Estonia.    X B
Hrafn Loftsson 2007 H. Loftsson. Tagging Icelandic Text using a Linguistic and a Statistical Tagger. In Proceedings of Human Language Technologies 2007: The Conference of the North American Chapter of the ACL. Rochester, NY, USA.    X B
Kristinn R. Þórisson 2007 Thórisson, K. R. (2007). Avatar Intelligence Infusion — Key Noteworthy Issues. Keynote presentation, 10th International Conference on Computer Graphics and Artificial Intelligence, 3IA 2007, Athens, Greece, May 30-31, 123-134.   X B
Kristinn R. Þórisson 2007 Vilhjalmsson, H., Cantelmo, N., Cassell, J., Chafai, N., Kipp, M., Kopp, S., Mancini, M., Marsella, S., Marshall A., Pelachaud, C., Ruttkay Z., Thorisson, K., van Welbergen, H. and van der Werf, R. (2007). The Behavior Markup Language: Recent Developments and Challenges. C. Pelachaud et al. (Eds.): Intelligent Virtual Agents (IVA'07), LNAI 4722: 99-111, Springer-Verlag Berlin Heidelberg.   X B
Kristinn R. Þórisson 2007 Jonsdottir, G. R., J. Gratch, E. Fast, & K. R. Thorisson (2007). Fluid Semantic Back-Channel Feedback in Dialogue: Challenges & Progress. Proceedings of 7th International Conference on Intelligent Virtual Agents, Paris, France, September, C. Pelachaud, J-C. Martin, E. Andre, G. Cholet, K. Karpouzis & D. Pele (Eds.), 154-160.   X B
Kristinn R. Þórisson 2007 Ng-Thow-Hing, V., T. List, K.R. Thórisson, J. Lim, J. Wormer (2007). Design and Evaluation of Communication Middleware in a Distributed Humanoid Robot Architecture. IROS '07 Workshop Measures and Procedures for the Evaluation of Robot Architectures and Middleware, 29 Oct. - 2 Nov. San Diego, California.   X B
Kristinn R. Þórisson 2007 Thórisson, K. R. (2007). Integrated A.I. Systems. Minds & Machines, 17:11-25, 2007. Invited paper at The Dartmouth Artificial Intelligence Conference: The Next 50 Years — Commemorating the 1956 Founding of AI as a Research Discipline, July 13-15, 2006, Dartmouth, New Hampshire, U.S.A.   X B
Luca Aceto 2007 L. ACETO AND A. INGOLFSDOTTIR. The Saga of the Axiomatization of Parallel Composition. In the Proceedings of CONCUR 2007 (Luis Caires and Vasco Thudichum Vasconcelos editors), Lisbon, Portugal, 3–8 September 2007, Lecture Notes in Computer Science 4703, pp. 2–16, Springer-Verlag, 2007.
   X B
Luca Aceto 2007 L. ACETO, A. INGOLFSDOTTIR  AND M. MOUSAVI. Impossibility Results for the Equational Theory of Timed CCS. In the Proceedings of Algebra and Coalgebra in Computer Science, 2nd Conference, CALCO 2007 (Ugo Montanari, Till Mossakowski and Magne Haveraaen editors), Bergen, Norway, 20–24 August 2007, Lecture Notes in Computer Science 4624, pp. 80–95, Springer-Verlag, 2007.   X B
Luca Aceto 2007 L. ACETO, W. J. FOKKINK, AND A. INGOLFSDOTTIR. Ready to Preorder: Get Your BCCSP Axiomatization for Free! In the Proceedings of Algebra and Coalgebra in Computer Science, 2nd Conference, CALCO 2007 (Ugo Montanari, Till Mossakowski and Magne Haveraaen editors), Bergen, Norway, 20–24 August 2007, Lecture Notes in Computer Science 4624, pp. 65–79, Springer-Verlag, 2007.   X B
Luca Zamboni 2007 Suffix automata and standard Sturmian words, (with M. Sciortino), Lecture Notes in Comput. Sci., 4588 (2007), p. 382--398.  
B
Luca Zamboni 2007 Relational Fine and Wilf words, (with V. Halava, T. Harju, T. Kärki,), in P. Arnoux, N. Bedaride, and J. Cassaigne, editors, WORDS 2007, Proceedings of the 6th International Conference on Words, Institut de Mathématiques de Luminy, Marseille, France, September 17-21, 2007, pp. 159-167.  
B
Magnús Már Halldórsson 2007 Magnús M. Halldórsson, Elena Losievskaja. Independent sets in bounded-degree hypergraphs. In Proc. of 10th Int'l Workshop on Algorithms and Data Structures (WADS), Halifax, Canada, August 2007, Springer LNCS #4619.   X B
Magnús Már Halldórsson 2007 M. M. Halldorsson, C. Knauer, A. Spillner, and T. Tokuyama. Parameterized algorithms and complexity of non-crossing spanning trees. In Proc. of 10th Int'l Workshop on Algorithms and Data Structures (WADS), Halifax, Canada, August 2007, Springer LNCS #4619.   X B
Magnús Már Halldórsson 2007 Takuro Fukunaga, Magnús M. Halldórsson, Hiroshi Nagamochi. "Rent-or-Buy" scheduling and cost coloring problems. In Proc. 27th Int'l Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), New Delhi, India, December 2007, Springer LNCS.   X B
Marjan Sirjani 2007 M.M. Jaghoori, F. de Boer and M. Sirjani, Task Scheduling in Rebeca, Proceedings of the 19th Nordic Workshop on Programming Theory (NWPT 2007), Oslo, Norway, pp. 16-18, October 2007.  
B
Marjan Sirjani 2007 N. Hakimipour, N. Razavi, M. Sirjani, Modeling and formal verification of hardware designs. Proceedings of 5th IEEE East-West Design & Test Symposium (EWDTS 2007), 2007.  
B
Marjan Sirjani 2007 S. Tasharofi, M. Vakilian, R. Zilouchian Moghaddam, M. Sirjani, Modeling Web Services using Coordination Language Reo, Proceedings of WS-FM07, LNCS 4937 , pp. 108-123, 2007.  
B
Marjan Sirjani 2007 M. Sirjani, Rebeca: Theory, Applications and Tools, Proceedings of FMCO'06, LNCS 4709, pp. 102 -126, 2007.  
B
Marjan Sirjani 2007 F. AlaviZadeh, A. Hashemi-Nekoo, M. Sirjani, ReUML: a UML Profile for Modeling and Verification of Reactive Systems, Proceedings of ICSEA'07, 2007.  
B
Marjan Sirjani 2007 H. Hojjat, M. Sirjani, M. R. Mousavi, J. F. Groote: Sarir, A Rebeca to mCRL2 Translator, Proceedings of. ACSD 2007, IEEE, pp. 216-222, 2007.  
B
Marjan Sirjani 2007 N. Razavi, M. Sirjani: Compositional Semantics of System-Level Designs Written in SystemC, Proceedings of FSEN 2007, LNCS 4767, pp. 113-128, 2007.  
B
Marjan Sirjani 2007 M. R. Kakoee, H. Shojaei, H. Ghasemzadeh, M. Sirjani, Z. Navabi, A New Approach for Design and Verification of Transaction Level Models, Proceedings of ISCAS 2007, IEEE, pp. 3760-3763,2007.  
B
Marta Lárusdóttir 2007 Larusdottir, M. K. short paper and poster named “Success factors in practical student projects” accepted for the conference: HCI Educators 2007: Creativity3: Experiencing to educate and design, Aveiro, Portugal, March, 29 – 30, 2007.   X B
Pradipta Mitra 2007 Anirban Dasgupta, John E. Hopcroft, Ravi Kannan, Pradipta Prometheus Mitra: Spectral clustering with limited independence. ACM-SIAM Symposium on Discrete Algorithms (SODA) 2007: 1036-1045  
B
Sergey Kitaev 2007 S. Avgustinovich, S. Kitaev: On uniquely k-determined permutations, Proceedings of the the 19th International Conference on Formal Power Series & Algebraic Combinatorics, Nankai University, Tianjin, China, July 2--6 (2007).   X B
Vit Jelinek 2007 Pattern-Avoiding Fillings of Rectangular Shapes (Vít Jelínek), Proc. of 19th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2007).  
B
Vit Jelinek 2007 Generalizations of Khovanskii's Theorem on Growth of Sumsets in Abelian Semigroups — extended abstract (Vít Jelínek, M. Klazar), Proceedings of European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB 2007), Electronic Notes in Discrete Mathematics 29(1) (2007), 273—276  
B
Yngvi Björnsson 2007 Vadim Bulitko, Yngvi Björnsson, Mitja Lustrek, Jonathan Schaeffer, Sverrir Sigmundarson (2007). Dynamic Control in Path-Planning with Real-Time Heuristic Search. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS'07). Providence, RI, pp. 49-56.   X B
Yngvi Björnsson 2007 Yngvi Björnsson and Jónheiður Ísleifsdóttir (2007). GTQL: A Query Language for Game Trees. In Proceedings of Computer Games Workshop (CGW'07). Amsterdam, The Netherlands, pp. 205-216.   X B
Anna Ingólfsdóttir 2007 L. ACETO, A. INGOLFSDOTTIR, KIM G. LARSEN AND J. SRBA. Reactive Systems: Modelling, Specification and Verification, Cambridge University Press, August 2007. ISBN-13: 9780521875462.   X C1
Anna Ingólfsdóttir 2007 L. ACETO AND A. INGOLFSDOTTIR. Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006: Special Issue. Journal of Logic and Algebraic Programming 73(1–2): 1–146, September-October 2007.    X C1
Björn Þór Jónsson 2007 Laurent Amsaleg, Björn Þór Jónsson, Vincent Oria. Proceedings of the Third International Workshop on Computer Vision meets Databases (CVDB 2007). Beijing, China, June, 2007.   X C1
Luca Aceto 2007 L. ACETO, A. INGOLFSDOTTIR, KIM G. LARSEN AND J. SRBA. Reactive Systems: Modelling, Specification and Verification, Cambridge University Press, August 2007. ISBN-13: 9780521875462.    X C1
Luca Aceto 2007 L. ACETO AND A. INGOLFSDOTTIR. Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006: Special Issue. Journal of Logic and Algebraic Programming 73(1–2): 1–146, September-October 2007.    X C1
Luca Aceto 2007 L. Aceto, M. Bravetti, W. Fokkink and A.D. Gordon. Special Issue: Algebraic Process Calculi (The First Twenty Five Years and Beyond): Volume 2. Journal of Logic and Algebraic Programming 72(1):1--122, May-June 2007.    X C1
Luca Aceto 2007 L. Aceto, M. Bravetti, W. Fokkink and A.D. Gordon. Special Issue: Algebraic Process Calculi (The First Twenty Five Years and Beyond): Volume 1. Journal of Logic and Algebraic Programming 70(2):119-238, February 2007.    X C1
Anna Ingólfsdóttir 2007 L. ACETO AND A. INGOLFSDOTTIR. Characteristic Formulae: From Automata to Logic. In The Concurrency Column, Bulletin of the EATCS 91, pp. 58–75, February 2007.    X C2
Luca Aceto 2007 L. ACETO AND A. INGOLFSDOTTIR. Characteristic Formulae: From Automata to Logic. In The Concurrency Column, Bulletin of the EATCS 91, pp. 58–75, February 2007.    X C2
Björn Þór Jónsson 2007 Kristleifur Daðason, Herwig Lejsek, Friðrik Heiðar Ásmundsson, Björn Þór Jónsson, Laurent Amsaleg. Eff2 Videntifier: Identifying Pirated Videos in Real-Time. Demonstration paper. Proceedings of the ACM Multimedia Conference. Santa Augsburg, Germany, September, 2007.   X D
Hrafn Loftsson 2007 Hrafn Loftsson. Tagging and parsing Icelandic text. Ph.D. thesis. Department of Computer Science, University of Sheffield, United Kingdom.   
D
Luca Aceto 2007 L. ACETO. Impossibility Results in the Equational Logic of Processes, in Proceedings of the Workshop on Logic, Models and Computer Science (LMCS06) (F. Corradini and C. Toffalori eds.), Electronic Notes in Theoretical Computer Science 169:3–6,    X D
Marta Lárusdóttir 2007 Thorgeirsson, T. and Larusdottir, M. K.: “Case study: Are CUP attributes useful to developers?” accepted for the COST-294 open Workshop, Downstream Utility: The good, the bad and the utterly useless usability feedback, Toulouse, November, 6th, 2007.    X D
Marta Lárusdóttir 2007 Larusdottir, M. K. “Using the Think-Aloud method – A Case Study” accepted for the COST294-MAUSE International workshop "Review, Report and Refine Usability Evaluation Methods (R3-UEM)", Athens, 5th of March, 2007.   X D
Anisse Kasraoui 2006 A. Kasraoui and J. Zeng, Distribution of crossings, nestings and alignments of two edges in matchings and partitions,  Electronic Journal of Combinatorics 13 (2006), no. 1, Research paper 33. X
A
Anna Ingólfsdóttir 2006 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND S. NAIN. Bisimilarity is not Finitely Based over BPA with Interrupt. Theoretical Computer Science 366(1–2):60–81, 16 November 2006. X X A
Björn Þór Jónsson 2006 Björn Þór Jónsson, María Arinbjarnar, Bjarnsteinn Þórsson, Michael J. Franklin, Divesh Srivastava. Performance and Overhead of Semantic Cache Management. ACM Transactions on Internet Technology, 6(3), August, 2006. X X A
Hrafn Loftsson 2006 Hrafn Loftsson. 2006. Tagging Icelandic text: An experiment with integrations and combinations of taggers. Language Resources and Evaluation, 40(2), 175-181. X X A
Kristinn R. Þórisson 2006 Kopp S, Krenn B, Marsella S, Marshall AN, Pelachaud C, Pirker H, Thorisson KR and Vilhjalmsson H. Towards a common framework for multimodal generation: The behavior markup language. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE , Volume: 4133, Pages: 205-217 X X A
Luca Aceto 2006 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND S. NAIN. Bisimilarity is not Finitely Based over BPA with Interrupt. Theoretical Computer Science 366(1–2):60–81, 16 November 2006. X X A
Luca Zamboni 2006 On the number of partitions of an integer in the $m$-bonacci base, (with M. Edson),  Ann. Inst. Fourier (Grenoble),  56 no.7  (2006), p. 2271--2283. X
A
Luca Zamboni 2006 Initial powers of Sturmian sequences, (with V. Berthé, C. Holton,), Acta. Arith.,  122 (2006), no. 4, p. 315--347. X
A
Magnús Már Halldórsson 2006 Rajiv Gandhi, Magnús M. Halldórsson, G. Kortsarz and H. Shachnai. Improved results for data migration and open-shop scheduling. ACM Transactions on Algorithms, Vol. 2, No. 1, 116-129, January 2006. X
A
Magnús Már Halldórsson 2006 Reuven Bar-Yehuda, Seffi Naor, Magnús M. Halldórsson, Hadas Shachnai, and Irina Shapira. Scheduling Split Intervals. SIAM Journal on Computing, Vol. 36, No. 1, 1–15, 2006. X
A
Magnús Már Halldórsson 2006 Thomas Bataillon, Thomas Mailund, Steinunn Thorlacius, Eirikur Steingrimsson, Thorunn Rafnar, Magnus M. Halldorsson, Violeta Calian, Mikkel H. Schierup. The effective size of the Icelandic population inferred from unphased microsatellite markers and the prospects for LD mapping. European Journal of Human Genetics, Advance online publication 31 May 2006; doi: 10.1038/sj.ejhg.5201669 X
A
Magnús Már Halldórsson 2006 Magnús M. Halldórsson. Approximating the (h,k)-labelling problem. Int. J. Mobile Network Design and Innovation, Vol. 1, No. 2, 113–117, 2006. (Special Issue on W-FAP '05), 2006.

A
Marjan Sirjani 2006 C. Baier, M. Sirjani, F. Arbab, J.J. Rutten, Modeling component connectors in Reo by constraint automata, Journal of Science of Computer Programming, Vol. 61, Issue 2, pp. 75-113, July 2006. X
A
Robert Parviainen 2006 Richard Brak, Sylvie Corteel, John Essam, Robert Parviainen and Andrew Rechnitzer. A Combinatorial Derivation of the PASEP Stationary State.  Elec. J. Comb. (13) R108, 2006. X
A
Robert Parviainen 2006 Robert Parviainen. Lattice Path Enumeration of Patterns with k Occurrences of the Pattern 2-13.  J. Integer Seq.

A
Robert Parviainen 2006 Robert Parviainen. Vol 9, Article 06.3.2. 2006. Permutations, Cycles, and the Pattern 2-13.  Elec. J. Comb. (13) R111, 2006.  X
A
Sergey Kitaev 2006 S. Kitaev: Counting independent sets on path-schemes, Journal of Integer Sequences 9, no. 2 (2006), Article 06.2.2, 8pp
X A
Sergey Kitaev 2006 S. Kitaev, J. Remmel: Classifying Descents According to Equivalence mod k, Electronic Journal of Combinatorics 13(1) (2006), #R64. X X A
Sergey Kitaev 2006 S. Kitaev, T. McAllister, K. Petersen: Enumerating segmented patterns in compositions and encoding with restricted permutations, Integers: Electronic Journal of Combinatorial Number Theory 6 (2006), A34, 16pp.
X A
Vit Jelinek 2006 Matchings Avoiding Partial Patterns and Lattice Paths (Vít Jelínek, N. Li, T. Mansour, and S. Yan), Electronic Journal of Combinatorics 13 (2006), #R89. X
A
Anisse Kasraoui 2006 M. Ishikawa, A. Kasraoui and J. Zeng, Computing generating functions of ordered partitions with the transfer-matrix method, Proceedings of the Fourth Colloquium on Mathematics and Computer Science, Discrete Mathematics and Theoretical Computer Science Proceedings  (2006)

B
Anna Ingólfsdóttir 2006 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND B. LUTTIK. A Finite Equational Base for CCS with Left Merge and Communication Merge. In the Proceedings of ICALP 2006 (Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener editors), Lecture Notes in Computer Science 4052 (Part II), pp. 492–503, Springer-Verlag, July 2006.
X B
Anna Ingólfsdóttir 2006 L. ACETO, T. CHEN, W. J. FOKKINK AND A. INGOLFSDOTTIR. On the Axiomatizability of Priority. In the Proceedings of ICALP 2006 (Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener editors), Lecture Notes in Computer Science 4052 (Part II), pp. 480–491, Springer-Verlag, July 2006.
X B
Ari Kristinn Jónsson 2006 Guillaume Brat, Ewen Denney, Dimitra Giannakopoulou and Ari Jónsson, "Verification of Autonomous Systems for Space Applications", in Proceedings of IEEE Aerospace Conference, 2006

B
Ari Kristinn Jónsson 2006 Guillaume Brat, Ewen Denney, Kimberley Farrell, Dimitra Giannakopoulou, Ari Jónsson, Jeremy Frank, Mark Boddy, Todd Carpenter, Tara Estlin and Mihail Pivtoraiko, "A Robust Compositional Architecture for Autonomous Systems", in Proceedings of IEEE Aerospace Conference, 2006

B
Ásrún Matthíasdóttir 2006 Women Disappearing in Computer Science. Proceeding of the international conference 3rd E-learning Conference – Computer Science Education in Coimbra, Portugal.
X B
Ásrún Matthíasdóttir 2006 How to Teach programming languages to novice students? Lecturing or not? Proceeding of International Conference on Computer Systems and Technologies - CompSysTech'06 in Bulgaria
X B
Ásrún Matthíasdóttir 2006 Forget about Lecturing. Proceeding of the international conference Methods, Material and Tools for Programming Education, Tampere Finland.
X B
Björn Þór Jónsson 2006 Herwig Lejsek, Friðrik Heiðar Ásmundsson, Björn Þór Jónsson, Laurent Amsaleg. Scalability of Local Image Descriptors: A Comparative Study. Proceedings of the ACM Multimedia Conference. Santa Barbara, CA, USA, October, 2006.
X B
Björn Þór Jónsson 2006 Árni Már Jónsson, Björn Þór Jónsson. Towards pB+-trees in the Field: Implementation Choices and Performance. Proceedings of the First International Workshop on Performance and Evaluation of Data Management Systems (EXPDB). Chicago, IL, June 2006.
X B
Hannes Högni Vilhjálmsson 2006 Kopp, S., Krenn, B., Marsella, S., Marshall, A. N., Pelachaud, C., Pirker, H., Thorisson, K. and Vilhjalmsson, H. (2006) "Towards a Common Framework for Multimodal Generation in ECAs: The Behavior Markup Language", J. Gratch et al. (Eds.): Proceedings of The 6th International Conference on Intelligent Virtual Agents, August 21-23, Marina del Rey, CA, USA, Lecture Notes in Computer Science, 4133: 205-217, Springer-Verlag, Berlin Heidelberg
X B
Hannes Högni Vilhjálmsson 2006 Valente, A., Johnson, W. L. and Vilhjalmsson, H. (2006) "The Tactical Language and Culture Training System: A Demonstration", in Proceedings of The 21st National Conference on Artificial Intelligence, July 16-20, Boston, MA, AAAI (demonstration/abstract)

B
Hrafn Loftsson 2006 H. Loftsson.  Tagging a morphologically complex language using heuristics. In T. Salakoski, F. Ginter, S. Pyysalo and T. Pahikkala (eds.), Advances in Natural Language Processing, 5th International Conference on NLP, FinTAL 2006, Proceedings. Turku, Finland. 

B
Kristinn R. Þórisson 2006 Kopp, S., B. Krenn, S. Marsella, A. N. Marshall, C. Pelachaud, H. Pirker, K. R. Thórisson, H. Vilhjálmsson, (2006). Towards a Common Framework for Multimodal Generation: The Behavior Markup Language. Proceedings of Intelligent Virtual Agents (IVA '06), August 21-23. Nominated for Best Conference Paper Award. Also published in Springer Lecture Notes in Computer Science.
X B
Kristinn R. Þórisson 2006 Saemundsson, R., K. R. Thórisson, G. R. Jónsdóttir, M. Arinbjarnar, H. Finnsson, H. Gudnason, V. Hafsteinsson, G. Hannesson, J. Isleifsdottir, Á. Jóhannsson, G. Kristjansson, S. Sigmundarson (2006). Modular Simulation of Knowledge Development in Industry: A Multi-Level Framework. Proceedings of the First International Conference on Economic Sciences with Heterogeneous Interacting Agents, Italy, June 15-17.
X B
Luca Aceto 2006 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND B. LUTTIK. A Finite Equational Base for CCS with Left Merge and Communication Merge. In the Proceedings of ICALP 2006 (Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener editors), Lecture Notes in Computer Science 4052 (Part II), pp. 492–503, Springer-Verlag, July 2006.
X B
Luca Aceto 2006 L. ACETO, T. CHEN, W. J. FOKKINK AND A. INGOLFSDOTTIR. On the Axiomatizability of Priority. In the Proceedings of ICALP 2006 (Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener editors), Lecture Notes in Computer Science 4052 (Part II), pp. 480–491, Springer-Verlag, July 2006.
X B
Magnús Már Halldórsson 2006 Magnús M. Halldórsson, Ragnar K. Karlsson. On split interval graphs and scheduling. In Proc. 32nd International Workshop on Graph-Theoretic Concepts in Computer Science WG 2006, Bergen. Spring Lecture Notes in Computer Science, Vol. 4110. 

B
Magnús Már Halldórsson 2006 Leah Epstein, Magnús M. Halldórsson, Asaf Levin, Hadas Shachnai. Weighted Sum Coloring in Batch Scheduling of Conflicting Jobs. APPROX '06, Barcelona. Springer Lecture Notes in Computer Science, Vol. 4271. LNCS. 

B
Magnús Már Halldórsson 2006 Magnús M. Halldórsson, Takeshi Tokuyama. Minimizing Interference of a Wireless Ad-Hoc Network in a Plane In Proc. 2nd International Workshop, ALGOSENSORS Venice, Italy, July, 2006, Springer Lecture Notes in Computer Science, Vol. 4240.

B
Marjan Sirjani 2006 F. Ghassemi, N. Nemat-Bakhsh, B. T. Ladani and M. Sirjani, A Formal Model for Organization of Multi-agent Systems, In Proceeding of the Symposium on Information Technology Development, Iran, 2006

B
Marjan Sirjani 2006 F. Ghassemi, N. Nemat-Bakhsh, B. T. Ladani and M. Sirjani, Specification and Implementation of Multi-Agent Organizations, In proceeding of Second International Conference on Web Information Systems and Technologies, pp. 447-453, 2006, Portugal.

B
Marjan Sirjani 2006 F. Ghassemi, N. Nemat-Bakhsh, B. T. Ladani and M. Sirjani, A Formal Model for Coordination Behavior of the Organization in Multi Agent Systems, In proceeding of second International Conference on Information & Communication Technologies: from Theory to Applications, Syria, IEEE, 2006.

B
Marjan Sirjani 2006 M.R. Mousavi, M. Sirjani, F. Arbab, Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'05), San Francisco, CA, USA, August 2005, Electronic Notes in Theoretical Computer Science, Elsevier Science B.V., 154(1): 83-99 (2006).

B
Marjan Sirjani 2006 H. R. Shahriari, M. Sadegh Makarem, M. Sirjani, R. Jalili and A. Movaghar, Modeling and Verification of Complex Network Attacks Using an Actor-Based Language, Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran, pp. 152-158, January 2006.

B
Marjan Sirjani 2006 F. Ghassemi, S. Tasharofi and M. Sirjani, Automated Mapping of Reo to Constraint Automata, In Proceeding of the first International Conference on Fundamental of Software Engineering 2005, pp. 99-115, Iran, ENTCS 159, Elsevier, 2006.

B
Marjan Sirjani 2006 H. Hojjat, H. Nokhost, M. Sirjani, Formal Verification of the IEEE 802.1D Spanning Tree Protocol using Extended Rebeca, In Proceeding of the first International Conference on Fundamental of Software Engineering 2005, pp. 139-159, Iran, ENTCS 159, Elsevier, 2006.

B
Marjan Sirjani 2006 M.M. Jaghoori, A. Movaghar and M. Sirjani, Modere: The Model-checking Engine of Rebeca, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, France, pp. 1810-1815, April 2006.

B
Pradipta Mitra 2006 Anirban Dasgupta, John E. Hopcroft, Ravi Kannan, Pradipta Prometheus Mitra: Spectral Clustering by Recursive Partitioning. Annual European Symposium on Algorithms (ESA) 2006: 256-267

B
Sergey Kitaev 2006 R. Ehrenborg, S. Kitaev, P. Perry: A Spectral Approach to Pattern-Avoiding Permutations, Proceedings of the 18th International Conference on Formal Power Series & Algebraic Combinatorics, the University of California, San Diego, USA, June 19-23 (2006).
X B
Sergey Kitaev 2006 S. Kitaev, J. Remmel: Classifying descents according to equivalence mod k, Permutation Patterns Conference 2006, Reykjavik University, Reykjavik, Iceland, June 12-16 (2006).
X B
Yngvi Björnsson 2006 Yngvi Björnsson, Ryan Hayward, Michael Johanson, and Jack van Rijswijck (2006). Dead Cell Analysis in Hex and the Shannon Game, Graph Theory, Trends in Mathematics, pp. 45-59.
X B
Yngvi Björnsson 2006 Yngvi Björnsson, Jonathan Schaeffer, Nathan Sturtevant (2006). Partial Information Endgame Databases, Lecture Notes in Computer Science Vol. 4250. In Proceedings of the Advances in Computer Games 11, Taipei, Taiwan, pp. 11-22.
X B
Yngvi Björnsson 2006 Yngvi Björnsson and Kári Halldórsson (2006). Improved Heuristics for Optimal Pathfinding on Game Maps, In Proceedings of the 2nd International Conference on Artificial Intelligence and Interactive Entertainment (AIIDE'06), Marina Del Ray, CA, pp. 9-14.
X B
Yngvi Björnsson 2006 Sverrir Sigmundarson and Yngvi Björnsson (2006). Value Back-Propagation vs. Backtracking in Real-Time Heuristic Search, In The Twenty-First National Conference on Artificial Intelligence (AAAI'06), Workshop on Learning for Search, Boston, MA, USA, pp. 136-141.
X B
Anna Ingólfsdóttir 2006 L. ACETO AND A. INGOLFSDOTTIR. Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25–31, 2006. Proceedings, Lecture Notes in Computer Science 3921, Springer-Verlag, March 2006. ISBN: 3-540-33045-3.
X C1
Anna Ingólfsdóttir 2006 A. INGOLFSDOTTIR, B. MISHRA and H. R. NIELSON. Special issue of Transactions on Computational Systems Biology} devoted to selected papers from BIO-CONCUR 2004}. Lecture Notes in Bioinformatics Editor-in-chief: Priami, Corrado Ingolfsdottir, Anna; Mishra, Bud; Nielson, Hanne Riis (Eds.) 2006, VII, 185 p. Also available online. Softcover ISBN: 978-3-540-48837-8.
X C1
Björn Þór Jónsson 2006 Laurent Amsaleg, Björn Þór Jónsson and Vincent Oria. Special Issue: Selected Papers from the First International Workshop on Computer Vision Meets Databases (CVDB 2004). Multimedia Tools and Applications, 31(3), December, 2006.
X C1
Luca Aceto 2006 L. ACETO AND A. INGOLFSDOTTIR. Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on
Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25–31, 2006. Proceedings, Lecture Notes in Computer Science 3921, Springer-Verlag, March 2006. ISBN: 3-540-33045-3.
X C1
Luca Aceto 2006 L. Aceto and A.D. Gordon. Essays on Algebraic Process Calculi. Electronic Notes in Theoretical Computer Science 162, pp. 1-340, Elsevier, 29 September 2006. 
X C1
Björn Þór Jónsson 2006 Herwig Lejsek, Friðrik Heiðar Ásmundsson, Björn Þór Jónsson, Laurent Amsaleg. Blazingly Fast Image Copyright Protection. Demonstration paper. Proceedings of the ACM Multimedia Conference. Santa Barbara, CA, USA, October, 2006. 
X D
Luca Aceto 2006 L. ACETO AND W. FOKKINK. The Quest for Equational Axiomatizations of Parallel Composition:
Status and Open Problems, in Essays on Algebraic Process Calculi, Electronic Notes in Theoretical Computer Science 162:43–48, Elsevier, 29 September 2006.
X D
Marta Lárusdóttir 2006 Larusdottir, M. K. “Reducing the gap between HCI research and software development teams in Iceland” accepted to the workshop named: Improving the Relationship between Research and Practice in Interaction Design at Nordchi, 15 of October, 2006.
X D
Marta Lárusdóttir 2006 Larusdottir, M. K.: “Food and groceries delivery service”, accepted to the workshop HCI Educators' Yellow Book Workshop at the HCI 2006 conference: The 20th BCS group conference in co-operation with ACM, London, 11th of September, 2006.
X D
Marta Lárusdóttir 2006 Larusdottir, M. K. "Using Rapid Contextual Design at Reykjavik University",  accepted paper for the workshop named "HCIEd.2006-1 Inventivity: Teaching theory, design and innovation in HCI" held by British Computer Society HCI Group (BHCIG), the International Federation of Information Processing (IFIP) WG13.1 Education, and the Irish Computer Society" in Limrick in Ireland, 23rd – 24th March, 2006.
X D
Anders Claesson 2005 Anders Claesson Counting segmented permutations using bicoloured Dyck paths The Electronic Journal of Combinatorics 12 (2005) X
A
Anders Claesson 2005 Anders Claesson, Toufik Mansour Enumerating permutations avoiding a pair of Babson-Steingrímsson patterns Ars Combinatoria 77 (2005) X
A
Anna Ingólfsdóttir 2005 D.GUDBJARTSSON, T.THORVALDSSON, AUGUSTIN KONG, GUNNAR GUNNARSSON, A.INGOLFSDOTTIR.(2005) Allegro version 2. Nature Genetics. 37: 1015-1016.  X
A
Anna Ingólfsdóttir 2005 A.INGOLFSDOTTIR, D.GUDBJARTSSON Genetic Linkage Analysis, Algorithms and their Implementation. Transactions on Computational Systems Biology, 123-144 (2005).  X
A
Anna Ingólfsdóttir 2005 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND  B. LUTTIK. Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge. Logical Methods in Computer Science, Vol. 1 (1:3), 9 March 2005, 12 pages. X
A
Anna Ingólfsdóttir 2005 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND B. LUTTIK. CCS with Hennessy's Merge has no Finite Equational Axiomatization. Theoretical Computer Science 330(3):377–405, 9 February 2005 X
A
Einar Steingrímsson 2005 M. Bousquet-Mélou and E. Steingrímsson: Decreasing subsequences in permutations and Wilf equivalence for involutions. Journal of Algebraic Combinatorics 22 (2005), X X A
Luca Aceto 2005 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND  B. LUTTIK. Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge. Logical Methods in Computer Science, Vol. 1 (1:3), 9 March 2005, 12 pages. X X A
Luca Aceto 2005 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND B. LUTTIK. CCS with Hennessy's Merge has no Finite Equational Axiomatization. Theoretical Computer Science 330(3):377–405, 9 February 2005 X X A
Luca Zamboni 2005 Joinings of three-interval exchange transformations, (with S. Ferenczi, C. Holton), Ergodic Theory & Dynam. Systems,  25  (2005), p. 483--502. X
A
Luca Zamboni 2005 Interactions between dynamics, arithmetics and combinatorics: The good, the bad, and the ugly, (with V. Berthé, S. Ferenczi),  Algebraic and Topological Dynamics, AMS Contemporary Mathematics, 385 (2005), p. 333--365.

A
Magnús Már Halldórsson 2005 Artur Czumaj, Magnús M. Halldórsson, Andrzej Lingas, and Johan Nilsson. Approximation algorithms for optimization problems in graphs with superlogarithmic treewidth. Information Processing Letters, 2005. 94(2):49–53, 30 April 2005. X
A
Marjan Sirjani 2005 M. Sirjani, A. Movaghar, A. Shali, F. S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6), pp. 1054-1082, 2005. X
A
Marjan Sirjani 2005 M. Sirjani, A. Movaghar, Integrating Model Checking and Deduction for an Actor-Based Language, Scientia Journal 12(1), pp. 55-65, 2005.

A
Marjan Sirjani 2005 M. Sirjani, F. S. de Boer, A. Movaghar, Modular Verification of a Component-based Actor Language, J.UCS 11(10), pp. 1695–1717, 2005. X
A
Robert Parviainen 2005 Anthony J. Guttmann, Robert Parviainen and Andrew Rechnizter. Self-avoiding walks and trails on the 3.12.12 lattice. J. Phys. A. 38(3), 2005. X
A
Robert Parviainen 2005 Robert Parviainen and John C, Wierman. Inclusions and non-inclusions among the Archimedean and Laves lattices, with applications to bond percolation thresholds. Congr. Numer. 176, 89-128, 2005. 

A
Sergey Kitaev 2005 S. Kitaev, T. Mansour, A. Vella: Pattern avoidance in matrices, Journal of Integer Sequences 8, no. 2 (2005), Article 05.2.2, 16pp. 
X A
Sergey Kitaev 2005 S. Kitaev: Partially Ordered Generalized Patterns, Discrete Mathematics 298 (2005), 212-229. X X A
Sergey Kitaev 2005 S. Kitaev, T. Mansour: Simultaneous avoidance of generalized patterns, Ars Combinatoria 75 (2005), 267-288. X X A
Sergey Kitaev 2005 S. Kitaev, T. Mansour: On multi-avoidance of generalized patterns, Ars Combinatoria 76 (2005), 321-350.  X X A
Sergey Kitaev 2005 S. Kitaev, T. Mansour: Linear sequences and Chebyshev polynomials, The Fibonacci Quarterly 43.3 (2005), 256-261 X X A
Sergey Kitaev 2005 A. Burstein, S. Kitaev: On unavoidable sets of word patterns, SIAM Journal on Discrete Mathematics 19 (2005) 2, 371-381. X X A
Sergey Kitaev 2005 S. Kitaev: Segmented partially ordered generalized patterns, Theoretical Computer Science 349 (2005) 3, 420-428. X X A
Yngvi Björnsson 2005 Ryan Hayward, Yngvi Björnsson, Michael Johanson, Morgan Kan, Nathan Po and Jack van Rijswijck (2005). Solving 7x7 Hex with domination, fill-in, and virtual-connections, Theoretical Computer Science, vol. 349 (2), pp. 123-139. X X A
Anna Ingólfsdóttir 2005 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND S. NAIN. Bisimilarity is not Finitely Based over BPA with Interrupt. In the Proceedings of Algebra and Coalgebra in Computer Science, 1st Conference, CALCO 2005, Swansea,Wales, 3–6 September 2005, Lecture Notes in Computer Science 3629, pp. 54–68, Springer-Verlag, 2005.
X B
Ari Kristinn Jónsson 2005 David Joslin, Jeremy Frank, Ari Jónsson and David Smith, "Simulation-based Planning for Planetary Rover Experiments", in Proceedings of the 2005 Winter Simulation Conference, 2005

B
Ari Kristinn Jónsson 2005 Ari Jónsson, Conor McGann, Liam Pedersen, Michael Iatauro, Srikanth Rajagopalan, "Autonomy Software Architecture for LORAX (Life on Ice Robotic Antarctic Explorer), in Proceedings of the Int'l Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS), 2005

B
Ari Kristinn Jónsson 2005 Vandi Verma, Tara Estlin, Ari Jónsson, Corina Pasareanu, Reid Simmons, Kam Tso, "Plan Execution Interchange Language (PLEXIL) for executable plans and command sequences", in Proceedings of the international Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS), 2005

B
Ari Kristinn Jónsson 2005 John Bresina, Ari Jónsson, Paul Morris, and Kanna Rajan, "Mixed-Initiative Activity Planning for Mars Rovers", Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), 2005

B
Ari Kristinn Jónsson 2005 Guillaume Brat and Ari Jónsson, "Challenges in verification and validation of autonomous systems for   space exploration", Proceedings of International Joint Conference on Neural Networks, 2005

B
Ari Kristinn Jónsson 2005 John Bresina, Ari Jónsson, Paul Morris, and Kanna Rajan, "Activity Planning for Mars Exploration Rovers", in Proceedings of 15th International Conference on Automated Planning and Scheduling  (ICAPS), 2005

B
Ásrún Matthíasdóttir 2005 How do teachers use information and communication technology in Icelandic high schools in 2002? Co-authors: Michael Dal og Samuel Lefever. ACM database
X B
Ásrún Matthíasdóttir 2005 Learning objects in a multimedia interactive environment: the codewitz project. ACM database
X B
Ásrún Matthíasdóttir 2005 Usefulness of Learning Objects in Computer Science Learning. The Codewitz project. Proceedings of the international conference Methods, Material and Tools for Programming Education, Tampere Finland
X B
Ásrún Matthíasdóttir 2005 Team Work in a Project Work Courses in Computer Science Education. Proceedings of the 6th Annual LTSN-ICS Conference
X B
Ásrún Matthíasdóttir 2005 Distance education in computer science. Proceedings of the International Conference on Computer Systems and Technologies (e-learning). Co-author Kári Harðarson.
X B
Björn Þór Jónsson 2005 Herwig Lejsek, Friðrik Heiðar Ásmundsson, Björn Þór Jónsson, Laurent Amsaleg. Efficient and Effective Image Copyright Protection. Proceedings of the BDA 2005 Conference. St. Malo, France, October, 2005.
X B
Björn Þór Jónsson 2005 Hlynur Hauksson, Rut Sigurðardóttir, Björn Þór Jónsson, Laurent Amsaleg. The Quality vs. Time Trade-off for Approximate Image Descriptor Search. Proceedings of the IEEE EMMA workshop. Tokyo, Japan, April 2005.
X B
Björn Þór Jónsson 2005 Sigurður H. Einarsson, Ragnheiður Ýr Grétarsdóttir, Björn Þór Jónsson, Laurent Amsaleg. The Eff2 Image Retrieval System Prototype. Proceedings of the Data-bases and Applications Conference (DBA). Innsbruck, Austria, February 2005.
X B
Hannes Högni Vilhjálmsson 2005 Johnson, W. L., Vilhjalmsson, H. and Marsella, S. (2005) "Serious Games for Language Learning: How Much Game, How Much AI?", in Proceedings of The 12th International Conference on Artificial Intelligence in Education, July 18-22, Amsterdam, The Netherlands, IOS Press

B
Hannes Högni Vilhjálmsson 2005 Vilhjalmsson, H. and Samtani, P. (2005) "MissionEngine: Multi-system integration using Python in the Tactical Language Project", in Proceedings of PyCon, March 23-25, Washington, D.C., Python Software Foundation

B
Hannes Högni Vilhjálmsson 2005 Vilhjalmsson, H. (2005) "Augmenting Online Conversation through Automatic Discourse Tagging", in Proceedings of The 6th Annual Minitrack on Persistent Conversation at HICSS, January 3-6, 2005, Big Island, Hawaii, IEEE

B
Hannes Högni Vilhjálmsson 2005 Warwick, W. and Vilhjalmsson, H. (2005) "Engendering Believable Communicative Behaviors in Synthetic Entities for Tactical Language Training: An Interim Report", in Proceedings of Behavior Representation in Modeling and Simulation, May 16-19, Universal City, CA, SISO

B
Hannes Högni Vilhjálmsson 2005 Beal, C., Shaw, E., Chui, Y., Lee, H., Vilhjalmsson, H. and Qu, L. (2005) "Enhancing ITS instruction with integrated assessments of learner mood, motivation and gender", in Proceedings of The 12 International Conference on Artificial Intelligence in Education, July 18-22, IOS Press (poster)

B
Hannes Högni Vilhjálmsson 2005 Johnson, W. L., Vilhjalmsson, H. and Samtani, P. (2005) "The Tactical Language Training System: Demonstration", Artificial Intelligence and Interactive Digital Entertainment, June 1-3, Marina del Rey, CA (demonstration/abstract)

B
Hrafn Loftsson 2005 H. Loftsson and E. Rögnvaldsson. Abstract/Demo: Shallow parsing of Icelandic text. The Swedish Language Technology Conference,. Gothenburg, Sweden.
X B
Kristinn R. Þórisson 2005 List, T., J. Bins, R. B. Fisher, D. Tweed, K. R. Thórisson (2005). Two Approaches to a Plug-and-Play Vision Architecture – CAVIAR and Psyclone. Proceedings of AAAI-05, Workshop on Modular Construction of Human-Like Intelligence, Pittsburgh, PA, July 10, AAAI Technical Report WS-05-08, 16-23.
X B
Kristinn R. Þórisson 2005 Thórisson, K. R., T. List, C. Pennock, J. DiPirro (2005). Whiteboards: Scheduling Blackboards for Semantic Routing of Messages & Streams. Proceedings of AAAI-05, Workshop on Modular Construction of Human-Like Intelligence, Pittsburgh, PA, July 10, AAAI Technical Report WS-05-08, 8-15.
X B
Kristinn R. Þórisson 2005 Thórisson, K. R. (2005). On the Nature of Presence. Proceedings of Artificial Intelligence and the Simulation of Behavior AISB-2005, Workshop on Presence Cues for Virtual Humanoids, Hertforshire, Hatfield, U.K., April 12-15, 15-21.
X B
Luca Aceto 2005 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR AND S. NAIN. Bisimilarity is not Finitely Based over BPA with Interrupt. In the Proceedings of Algebra and Coalgebra in Computer Science, 1st Conference, CALCO 2005, Swansea,Wales, 3–6 September 2005, Lecture Notes in Computer Science 3629, pp. 54–68, Springer-Verlag, 2005.
X B
Luca Zamboni 2005 Palindromes and Pseudo-Palindromes in Episturmian and Pseudo-Palindromic Infinite Words, (with V. Anne, I. Zorca), Words 2005, 5th International Conference on Words., Publications du LACIM, 36 (2005), p. 91--100.

B
Magnús Már Halldórsson 2005 Akihisa Kako, Takao Ono, Tomio Hirata, and Magnus M. Halldorsson. Approximation Algorithms for the Weighted Independent Set Problem. In Proc. 31st International Workshop on Graph-Theoretic Concepts in Computer Science (WG '05), Metz, France, June 2005. Springer Lecture Notes in Computer Science, Vol. 3787, bls. 341–350.

B
Marjan Sirjani 2005  F. Arbab, C. Baier, F.S. de Boer, J.J.M.M. Rutten and M. Sirjani, Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Proceedings of the 7th International Conference on Coordination Models and Languages (Coordination 2005), pp. 236-251, 2005.

B
Marjan Sirjani 2005 M. Sirjani, , F.S. de Boer, A. Movaghar, A. Shali, Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing, in Proceedings of ACSD 2005, St. Malo, France, IEEE Computer Society, pp. 212-221, June 2005

B
Marjan Sirjani 2005 F. Arbab, C. Baier, F.S. de Boer, J.J.M.M. Rutten and M. Sirjani, Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Proceedings of the 7th International Conference on Coordination Models and Languages (Coordination 2005), pp. 236-251, 2005.

B
Marta Lárusdóttir 2005 Larusdottir, M. K. and Ármannsdóttir, S. E. “A Case Study of Software Replacement”, Proceedings of the International Conference on Software Development, University of Iceland, Reykjavik, May 27 – June 1, 2005.
X B
Sergey Kitaev 2005 A. Burstein, S. Kitaev: Partially ordered generalized patterns and their combinatorial interpretation, The Third International Conference on Permutation Patterns, the University of Florida, Gainesville, Florida, March 7-11, (2005).
X B
Sergey Kitaev 2005 S. Kitaev: Introduction to the POPs, Workshop on Permutation Patterns, the University of Haifa, Israel, May 29-June 3 (2005).
X B
Vit Jelinek 2005 Three Optimal Algorithms for Balls of Three Colors (Z. Dvořák, Vít Jelínek, D. Kráľ, J. Kynčl, and M. Saks), Proceedings of 22nd Symposium on theoretical Aspects of Computer Science (STACS 2005), LNCS 3404 (2005), 206—217.

B
Vit Jelinek 2005 On the Complexity of the G-Reconstruction Problem (Z. Dvořák, Vít Jelínek), Proceedings the The 16th Annual International Symposium on Algorithms and Computation (ISAAC 2005), LNCS 3827 (2005), 196—205.

B
Yngvi Björnsson 2005 Jonathan Schaeffer, Yngvi Björnsson, Neil Burch, Akihiro Kishimoto, Martin Muller, Rob Lake, Paul Lu and Steve Sutphen (2005). Solving Checkers, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI´05), Edinburgh, pp. 292-297.

B
Yngvi Björnsson 2005 Yngvi Björnsson, Markus Enzenberger, Rob Holte and Jonathan Schaeffer (2005). Fringe Search: Beating A* at Pathfinding on Computer Game Maps. In Proceedings of the IEEE Symposium on Computational Intelligence and Games, Colchester, Essex, UK, pp. 125-132.
X B
Anna Ingólfsdóttir 2005 L. ACETO, Z. ESIK, W. J. FOKKINK AND A. INGOLFSDOTTIR. Special issue of Theoretical Computer Science devoted to selected papers from Process Algebra: Open Problems and Future Directions (July 21–25, 2003, University of Bologna Residential Center, Bertinoro (Forl`ı), Italy), volume 335(2–3):127– 406, 23 May 2005. 
X C1
Björn Þór Jónsson 2005 Laurent Amsaleg, Björn Þór Jónsson, Vincent Oria. Proceedings of the Second International Workshop on Computer Vision meets Databases (CVDB 2005). Baltimore, MD, USA, June, 2005.
X C1
Luca Aceto 2005 L. ACETO, Z. ESIK, W. J. FOKKINK AND A. INGOLFSDOTTIR. Special issue of Theoretical Computer Science devoted to selected papers from Process Algebra: Open Problems and Future Directions (July 21–25, 2003, University of Bologna Residential Center, Bertinoro (Forl`ı), Italy), volume 335(2–3):127– 406, 23 May 2005. 
X C1
Anna Ingólfsdóttir 2005 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR, AND B. LUTTIK. Finite Equational Bases in Process Algebra: Results and Open Questions. Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (Aart Middeldorp, Vincent van Oostrom, Femke Raamsdonk, and Roel de Vrijer editors), Lecture Notes in Computer Science 3838, pp. 338–367, Springer-Verlag, December 2005. ISBN: 3-540-30911-X.
X C2
Luca Aceto 2005 L. ACETO, W. J. FOKKINK, A. INGOLFSDOTTIR, AND B. LUTTIK. Finite Equational Bases in Process Algebra: Results and Open Questions. Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (Aart Middeldorp, Vincent van Oostrom, Femke Raamsdonk, and Roel de Vrijer editors), Lecture Notes in Computer Science 3838, pp. 338–367, Springer-Verlag, December 2005. ISBN: 3-540-30911-X. 
X C2
Ari Kristinn Jónsson 2005 Vandi Verma, Ari Jónsson, Reid Simmons, Tara Estlin, Rich Levinson, "Survey of Plan Execution Systems", in workshop "Plan execution: A reality check", at the International Conference on Automated Planning and Scheduling (ICAPS), 2005

D
Ari Kristinn Jónsson 2005 John Bresina, Ari Jónsson, Paul Morris and Kanna Rajan, "Mixed-Initiative Planning in MAPGEN: Capabilities and Shortcomings", in workshop on Mixed Initiative Planning and Scheduling at the International Conference on Automated Planning and Scheduling (ICAPS), 2005

D
Hannes Högni Vilhjálmsson 2005 Vilhjalmsson, H. and Stacy, M. (2005) "Social Performance Framework", Workshop on Modular Construction of Human-Like Intelligence at the 20th National AAAI Conference on Artificial Intelligence , July 9th, Pittsburgh, PA, AAAI

D

Was the content helpful? Yes No