Informatik an der TU Clausthal > Forschung > Publikationen des Instituts


Publikationen des Instituts

TypPersonenJahr

 Filter:                 

Beiträge in Fachzeitschriften (294)

Huhn, Michaela and Milius, Stefan: Observations on Formal Safety Analysis in Practice, Science of Computer Programming, Elsevier, 2013

Loll, F. and Pinkwart, N.: LASAD: Flexible Representations for Computer-Based Collaborative Argumentation, International Journal of Human-Computer Studies, Volume 71, 2013

Behrens, T. and Dastani, M. and Dix, J. and H: The Multi-Agent Programming Contest, AI Magazine, Volume 33, 2012

Dix, J: Engineering Multi-Agent Systems (Dagstuhl Seminar 12342), Dagstuhl Reports, Volume 2, 2012

Gerlach, S.: Skalierbare Codegenerierung f, JavaSPEKTRUM, Volume 1, 2012

mehr

Bücher und Sammelbände (69)

Deynet, Michael: Kontextsensitiv lernende Sequenzvorhersage zur erfahrungsbasierten Unterst, Volume 7, Dr. Hut Verlag, 2013

Demazeau, Yves and M: Advances on Practical Applications of Agents and Multi-Agent Systems - 10th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2012, Salamanca, Spain, 28-30 March, 2012, Advances in Soft Computing, Volume 155, Springer Springer, 2012

Fischer, K. and M: Agent-Based Technologies and Applications for Enterprise Interoperability, Lecture Notes in Business Information Processing (LNBIP), Volume 98, Springer-Verlag, 2012

Pinkwart, N. and McLaren, B. M.: Educational Technologies for Teaching Argumentation Skills, Bentham Science Publishers, Sharjah, UAE, 2012

Coverbild Behrens, T. and Dix, J. and K: Special Issue about Multi-Agent-Contest II, Annals of Mathematics and Artificial Intelligence, Volume 61, Springer, Netherlands, 2011

mehr

Beiträge in Büchern (84)

Coverbild Bordini, Rafael and Dix, J: Chapter 13: Programming Multi-Agent Systems, MIT-Press, 2013

Coverbild Dix, J: Chapter 14: Verifying Multi-Agent Systems, MIT-Press, 2013

Hindriks, Koen and Dix, J: GOAL: A Multi-Agent Programming Language Applied to an Exploration Game, Springer, 2013

Taveter, Estefania Argente; Holger Billhardt; Carlos E. Cuesta; Sergio Esparcia; Jana G: Adaptive Agent Organisations, Volume 8, Springer, 2013

Taveter, Estefania Argente; Olivier Boissier; Sergio Esparcia; Jana G: Describing Agent Organisations, Volume 8, Springer, 2013

mehr

Konferenzbeiträge (818)

Bulling, Nils and Goranko, Valentin: How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games, to appear in 2013

Bulling, Nils and Dastani, Mehdi and Knobbout, Max: Monitoring Norm Violations in Multi-Agent Systems, ACM Press, 2013

Deiters, Constanze and Rausch, Andreas and Schindler, Mirco: Using Spectral Clustering to Automate Identification and Optimization of Component Structures, 2013

Herold, Sebastian and Rausch, Andreas: Complementing Model-Driven Development for the Detection of Software Architecture Erosion, 2013

Huhn, Michaela and Bessling, Sara: Enhancing Product Line Development by Safety Requirements and Verification, LNCS, Springer, 2013

mehr

Tagungsbände (65)

Coverbild Collier, Rem W. and Dix, J: Programming Multi-Agent Systems - 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers, Lecture Notes in Computer Science, Volume 6599, Springer, 2012

Giese, Holger and Huhn, Michaela and Phillips, Jan and Sch: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES VIII), 2012

Giese, Holger and Huhn, Michaela and Phillips, Jan and Sch: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme VII), 2011

Dix, J. and Fisher, M. and Novak, P.: Computational Logic and Multi-Agent Systems, Post Conference Proceedings of the 10th international workshop on Computational Logic in Multi-Agent Systems (CLIMA X), Lecture Notes in Artificial Intelligence, Volume 6214, Springer, Berlin, 2010

Dix, J. and Leite, J. and Governatori, Guido and Jamroga, Woitek: Computational Logic and Multi-Agent Systems, Conference Proceedings of the 11th international workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), Lecture Notes in Artificial Intelligence, Volume 6245, Springer, Berlin, 2010

mehr

Technische Berichte (201)

Behrens, Tristan and Dix, J: Multi-Agent Programming Contest 2011 Edition Documentation, 2012

Behrens, Tristan and Dix, J: Multi-Agent Programming Contest 2011 Edition Evaluation and Team Descriptions, 2012

Knieke, Christoph and Schindler, Bj: Defining Domain Specific Operational Semantics for Activity Diagrams, 2012

Kolatzki, Stefan and Goltz, Ursula and Hagner, Matthias and Rausch, Andreas and Schindler, Bj: Automated Verification of Functional Interface Compatibility, 2012

Klein, Harald and Knaus, Eric and Rausch, Andreas: (Towards) a systematic approach for planning collaboration in distributed software development, 2011

mehr

Ergebnisse als BibTeX-Code
Nach oben
 

© TU Clausthal 2013 · Impressum