School of Computer Science
| 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 |
|---|---|---|---|---|---|
| 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 | 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 | 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 | 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 Larustdottir, 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 Articial 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 Turntaking - 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 ScandinavianWorkshop 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 ias 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 ias 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 theWeighted 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 Articial 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 eaching 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, Preroceedings 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 aWireless 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 Relabelling. 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 Turntaking 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 Relabelling. 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 Effecxtive 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 Turntaking 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 Appliations", 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 | Onlina 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, Volumn 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. Coauthor Þó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 theWorkshop 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 Dissapering 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 Componentbased 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? Coauthors: 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 | Usfulness 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 Tradeoff 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 |
