|
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 |
|
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 |
|
|
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 |
![]() |
Bordini, Rafael and Dix, J: Chapter 13: Programming Multi-Agent Systems, MIT-Press, 2013 |
![]() |
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 |
|
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 |
| mehr |
|
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 |