Christian Kroiss

According to our database1, Christian Kroiss
  • authored at least 10 papers between 2008 and 2016.
  • has a "Dijkstra number"2 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

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