Jan Mikác

According to our database1, Jan Mikác authored at least 4 papers between 2005 and 2009.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Flush: an example of development by refinements in SCADE/Lustre.
Int. J. Softw. Tools Technol. Transf., 2009

2008
An export architecture for a multimedia authoring environment.
Proceedings of the 2008 ACM Symposium on Document Engineering, 2008

2007
Multimedia Authoring for Communities of Teachers.
Int. J. Web Based Learn. Teach. Technol., 2007

2005
Raffinement et preuves de systèmes Lustre. (Refinements and Proofs of Lustre Systems).
PhD thesis, 2005


  Loading...