prof. Ing. Tomáš Vojnar, Ph.D.

2010

• MEMICS 2010: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  MATYSKA Luděk KOZUBEK Michal VOJNAR Tomáš ZEMČÍK Pavel ANTOŠ David

  Editorství tématického sborníku

  Rok: 2010, druh: Editorství tématického sborníku

2009

• MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  VOJNAR Tomáš HLINĚNÝ Petr MATYÁŠ Václav ANTOŠ David

  Editorství tématického sborníku

  Rok: 2009, druh: Editorství tématického sborníku

• MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, selected papers

  HLINĚNÝ Petr MATYÁŠ Václav VOJNAR Tomáš

  Editorství tématického sborníku

  Rok: 2009, druh: Editorství tématického sborníku

• Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers

  ČEŠKA Milan KOTÁSEK Zdeněk KŘETÍNSKÝ Mojmír MATYSKA Luděk VOJNAR Tomáš

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2009, ročník: 251

2008

• MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  ČEŠKA Milan KOTÁSEK Zdeněk KŘETÍNSKÝ Mojmír MATYSKA Luděk VOJNAR Tomáš ANTOŠ David

  Editorství tématického sborníku

  Rok: 2008, druh: Editorství tématického sborníku

• MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  ČEŠKA Milan KOTÁSEK Zdeněk KŘETÍNSKÝ Mojmír MATYSKA Luděk VOJNAR Tomáš ANTOŠ David

  Uspořádání workshopu

  Rok: 2008, druh: Uspořádání workshopu

2007

• Verifying VHDL Designs with Multiple Clocks in SMV

  SMRČKA Aleš ŘEHÁK Vojtěch VOJNAR Tomáš ŠAFRÁNEK David MATOUŠEK Petr ŘEHÁK Zdeněk

  Článek ve sborníku

  Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, rok: 2007

2006

• Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)

  MATYSKA Luděk KUČERA Antonín VOJNAR Tomáš KOTÁSEK Zdeněk ANTOŠ David KRAJÍČEK Ondřej

  Účelové publikace

  Rok: 2006, druh: Účelové publikace