|
Stefan Schwoon and Javier Esparza. A note on on-the-fly verification algorithms. Technical Report 2004/06, Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, November 2004. |
|
|
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm. A Semantics for Procedure Local Heaps and its Abstractions. Tech. Rep. 1, AVACS, Sep 2004. |
|
|
Markus Holzer and Stefan Schwoon. Reflections on Reflexion – computational complexity considerations on a puzzle game. In Paolo Ferragina and Roberto Grossi, editors, Proceedings of the Third International Conference on FUN with Algorithms, pages 90–105. Università di Pisa, May 2004. |
|
|
Markus Holzer and Stefan Schwoon. Assembling molecules in Atomix is hard. Theoretical Computer Science, 303(3):447–462, February 2004. |
|
|
Javier Esparza and Kousha Etessami. Verifying probabilistic procedural programs. In Proceedings of FSTTCS 2004, volume 3328 of LNCS, Lecture Notes in Computer Science, pages 16–31, 2004. |
|
|
Ahmed Bouajjani, Javier Esparza, and Tayssir Touili. Reachability analysis of synchronized PA-systems. In Proceedings of Infinity 2004, 2004. |
|
|
Javier Esparza, Antonín Kučera, and Richard Mayr. Model checking probabilistic pushdown automata. In LICS 2004. IEEE Computer Society, 2004. |
|
|
Javier Esparza, Antonín Kučera, and Richard Mayr. Model checking probabilistic pushdown automata. Technical report, Faculty of Informatics, Masaryk University, Brno, 2004. |
|
|
J. Esparza. A polynomial-time algorithm for checking consistency of free-choice signal transition graphs. Fundamenta Informaticae, 62(2):197–220, 2004. |
|
|
Michael Luttenberger. Effiziente Berechnung optimaler Strategien für Paritätsspiele. Master's thesis, Universität Stuttgart, 2004. In German. |
|
|
Matthias Hopf, Michael Luttenberger, and Thomas Ertl. Hierarchical splatting of scattered 4d data. IEEE Computer Graphics and Applications, 24(04):64–72, 2004. |
|
|
T. Froehner, M. Nickles, and G. Weiß. Open ontologies – The need for modeling heterogeneous knowledge. In Proceedings of the International Conference on Information and Knowledge Engineering (IKE-2004), 2004. |
|
|
T. Froehner, M. Nickles, and G. Weiß. Towards modeling the social layer of emergent knowledge using open ontologies. In ECAI Workshop on Agent-Mediated Knowledge Management (AMKM), pages 10–19, 2004. |
|
|
M. Nickles, T. Froehner, and G. Weiß. Social annotation of semantically heterogeneous knowledge. In Proceedings of the 4th International Workshop on Knowledge Markup and Semantic Annotation (SemAnnot), 2004. |
|
|
M. Nickles, T. Froehner, and G. Weiß. Open ontologies and open knowledge bases for modeling the social layer of the Semantic Web (poster). In The Third International Semantic Web Conference (ISCW), 2004. |
|
|
M. Nickles and M. Rovatsos. Towards a unified model of sociality in multiagent systems. International Journal of Computer and Information Science, 5(2):73–88, 2004. |
|
|
M. Nickles, M. Rovatsos, and G. Weiß, editors. Agents and Computational Autonomy. Potential, Risks, and Solutions, volume 2969 (Hot Topics) of Lecture Notes in Computer Science. Springer-Verlag, 2004. |
|
|
M. Nickles, M. Rovatsos, and G. Weiß. Empirical-rational semantics of agent communication. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pages 94–101, 2004. |
|
|
M. Rovatsos, M. Nickles, and G. Weiß. An empirical model of communication in multiagent systems. In F. Dignum, editor, Agent communication languages, Lecture Notes in Computer Science, Vol. 2922, pages 18–36. Springer-Verlag, 2004. Invited paper. |
|
|
G. Weiß, J. Duscher, M. Rovatsos, and M. Nickles. Spezifikation von Softwareautonomie. Künstliche Intelligenz (KI), 4/04, 2004. |
|
|
Achim Rettinger. Learning from recorded games: A scoring policy for simulated soccer agents. In Ubbo Visser, Hans-Dieter Burkhard, Patrick Doherty, and Gerhard Lakemeyer, editors, Proceedings of the ECAI 2004, 16th European Conference on Artificial Intelligence, Workshop 8: Agents in Dynamic and Real-Time Environments, pages 43–48, 2004. |
|
|
Dejvuth Suwimonteerabuth. Verifying Java bytecode with the Moped model checker. Master's thesis, Universität Stuttgart, 2004. |
|
Contact
