Christian Kroiss

According to our database1, Christian Kroiss authored at least 11 papers between 2008 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
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

2015

2014
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

2012
Teaching agile software development through lab courses.
Proceedings of the IEEE Global Engineering Education Conference, 2012

2010
Context Acquisition and Acting in Pervasive Physiological Applications.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

2009
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

2008
Designing Rich Internet Applications Combining UWE and RUX-Method.
Proceedings of the Eighth International Conference on Web Engineering, 2008


  Loading...