Jan Komenda

•  

• Conferences

• 	Select
  Year:	recent all 2013201220112010200920082007200620052004200320022001200019991998199719961995199419931992199119901989198819871986

•  
•  

• Recent 5 :   

• • Badouel Eric, Bouillard Anne, Darondeau Philippe, Komenda Jan
  • Residuation of tropical series: rationality issues
  • 50th IEEE Conference on Decision and Control and European Control Conference
  • Orlando, USA (December 2011)

  x

  Associated with grants:
  

• • Komenda Jan, Lahaye Sebastien, Spacek Pavel
  • Application of product dioids for dead token detection in interval P-time event graphs
  • IFAC World Congress 2011
  • Milano, Italy (August 2011)

  x

  Associated with grants:
  

• • Komenda Jan
  • Coinduction in concurrent timed systems
  • CMCS 2011 (Coalgebraic methods in Computer Science)
  • Paphos, Cyprus (March 2010)

  x

  Associated with grants:
  

• • Boimond Jean-Louis, Komenda Jan, Lahaye Sébastien
  • Synchronous composition of interval weighted automata
  • 10th International Workshop on Discrete Event Systems (WODES 2010)
  • Berlin, germany (August 2010)

  x

  Associated with grants:
  FP7-ICT-2007-3.3-224498

• • Komenda Jan, Masopust Tomáš
  • Supremal Normal Sublanguages in Hierarchical Supervisory Control
  • 10th International Workshop on Discrete Event Systems (WODES 2010)
  • Berlin, Germany (August 2010)

  x

  Associated with grants:
  

•  

• Home

• Research

• Lectures

  • conferences

•  

• CV

• Publications

• all types

• articles

• chapters

• proceedings

•  

IM AS CR J. Komenda BB

last update: 28/12/2011