2009 |
11 | René Mayrhofer, Kaisa Nyberg, and Tim Kindberg. Secure Spontaneous Interaction, Special issue, International Journal of Security and Networks Volume 4 Nos. 1/2. Inderscience, 2009. |
|
2008 |
10 | Javier Esparza and Keijo Heljanko. Unfoldings – A Partial-Order Approach to Model Checking. EATCS Monographs in Theoretical Computer Science. Springer-Verlag, March 2008. |
|
9 | Kaisa Nyberg, editor. Fast Software Encryption, 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers, volume 5086 of Lecture Notes in Computer Science. Springer, 2008. |
|
2007 |
8 | Verónica Dahl and Ilkka Niemelä, editors. Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, volume 4670 of Lecture Notes in Computer Science. Springer, 2007. |
|
2006 |
7 | Petteri Kaski and Patric R. J. Östergård. Classification Algorithms for Codes and Designs. Number 15 in Algorithms and Computation in Mathematics. Springer-Verlag, Berlin Heidelberg, 2006. |
|
2005 |
6 | Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, , and Joost Vennekens, editors. 05171 Abstracts Collection – Nonmonotonic Reasoning, Answer Set Programming and Constraints, number 05171 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2005. |
|
2004 |
5 | Vladimir Lifschitz and Ilkka Niemelä, editors. Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Artificial Intelligence 2923. Springer-Verlag, 2004. |
|
1998 |
4 | Ilkka Niemelä and Torsten Schaub, editors. Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, Trento, Italy, May 1998. Helsinki University of Technology, Digital Systems Laboratory, Research Report A52. |
|
3 | Ilkka Niemelä, editor. Proceedings of the HeCSE Workshop on Emerging Technologies in Distributed Systems, Lammi, Finland, Jan 1998. Helsinki University of Technology, Digital Systems Laboratory, Research Report A50. |
|
1996 |
2 | Ilkka Niemelä, editor. Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, Budapest, Hungary, August 1996. Universität Koblenz-Landau, Fachbericht Informatik 18–96. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/. |
|
1995 |
1 | Rachel Ben-Eliyahu and Ilkka Niemelä, editors. Working Notes of the IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, Montreal, Canada, August 1995. AAAI Press. |
|