Christian Kroiss

According to our database, Christian Kroiss authored at least 10 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Simulation and statistical model-checking of logic-based multi-agent system models.

Christian Kroiß

PhD thesis, 2016

Logic-based modeling of information transfer in cyber-physical multi-agent systems.

Christian Kroiß, Tomás Bures

Future Gener. Comput. Syst., 2016

2015

Ode to the PST.

Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed

Proceedings of the Software, 2015

2014

Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models.

Christian Kroiß

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2014

A statistical model checker for situation calculus based multi-agent models.

Christian Kroiß

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2012

Teaching agile software development through lab courses.

Andreas Schroeder, Annabelle Klarl, Philip Mayer, Christian Kroiss

Proceedings of the IEEE Global Engineering Education Conference, 2012

2010

Context Acquisition and Acting in Pervasive Physiological Applications.

Andreas Schroeder, Christian Kroiß, Thomas Mair

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

2009

A Component-Based Approach for Realizing User-Centric Adaptive Systems.

Gilbert Beyer, Moritz Hammer, Christian Kroiss, Andreas Schroeder

Proceedings of the Mobile Wireless Middleware, Operating Systems, and Applications, 2009

UWE4JSF: A Model-Driven Generation Approach for Web Applications.

Christian Kroiss, Nora Koch, Alexander Knapp

Proceedings of the Web Engineering, 9th International Conference, 2009

2008

Designing Rich Internet Applications Combining UWE and RUX-Method.

Juan Carlos Preciado, Marino Linaje Trigueros, Rober Morales-Chaparro, Fernando Sánchez-Figueroa, Gefei Zhang, Christian Kroiss, Nora Koch

Proceedings of the Eighth International Conference on Web Engineering, 2008