According to our database1, Christian Kroiss
Legend:Book In proceedings Article PhD thesis Other
Simulation and statistical model-checking of logic-based multi-agent system models.
PhD thesis, 2016
Logic-based modeling of information transfer in cyber-physical multi-agent systems.
Future Generation Comp. Syst., 2016
Ode to the PST.
Proceedings of the Software, 2015
Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2014
Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems.
Proceedings of the Nature of Computation and Communication - International Conference, 2014
A statistical model checker for situation calculus based multi-agent models.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Teaching agile software development through lab courses.
Proceedings of the IEEE Global Engineering Education Conference, 2012
Context Acquisition and Acting in Pervasive Physiological Applications.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010
A Component-Based Approach for Realizing User-Centric Adaptive Systems.
Proceedings of the Mobile Wireless Middleware, Operating Systems, and Applications, 2009
UWE4JSF: A Model-Driven Generation Approach for Web Applications.
Proceedings of the Web Engineering, 9th International Conference, 2009
Designing Rich Internet Applications Combining UWE and RUX-Method.
Proceedings of the Eighth International Conference on Web Engineering, 2008