Jan Calta

According to our database1, Jan Calta authored at least 4 papers between 2009 and 2011.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010
Formal Verification of Self-Organizing Systems.
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

Finding Uniform Strategies for Multi-agent Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009
Formal Analysis of Fault Recovery in Self-Organizing Systems.
Proceedings of the Eighth IEEE International Conference on Dependable, 2009


  Loading...