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
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