Výpis publikací

CHALUPA, Marek, Tomáš JAŠEK, Lukáš TOMOVIČ, Martin HRUŠKA, Veronika ŠOKOVÁ, Paulína AYAZIOVÁ, Jan STREJČEK a Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Německo: Springer, 2020, s. 413-417. ISBN 978-3-030-45236-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-45237-7_31.

KOTÁSEK, Zdeněk, Jan BOUDA, Ivana ČERNÁ, Lukáš SEKANINA, Tomáš VOJNAR a David ANTOŠ. Mathematical and Engineering Methods in Computer Science MEMICS 2011, Seventh International Doctoral Workshop, Revised Selected Papers. Springer-Verlag, 2012, 215 s. ISBN 978-3-642-25928-9. Dostupné z: https://dx.doi.org/10.1007/978-3-642-25929-6.

KUČERA, Antonín, Thomas A. HENZINGER, Jaroslav NEŠETŘIL, Tomáš VOJNAR a David ANTOŠ. 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: NOVPRESS, 2012. ISBN 978-80-87342-15-2.

KOTÁSEK, Zdeněk, Jan BOUDA, Ivana ČERNÁ, Lukáš SEKANINA, Tomáš VOJNAR a David ANTOŠ. MEMICS 2011, Seventh Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno University of Technology, Antonínská 548/1, Brno 601 90, 2011, 146 s. ISBN 978-80-214-4305-1.

MATYSKA, Luděk, Michal KOZUBEK, Tomáš VOJNAR, Pavel ZEMČÍK a David ANTOŠ. Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4.

MATYSKA, Luděk, Michal KOZUBEK, Tomáš VOJNAR, Pavel ZEMČÍK a David ANTOŠ. MEMICS 2010: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: NOVPRESS s.r.o., 2010, 213 s. ISBN 978-80-87342-10-7.

VOJNAR, Tomáš, Petr HLINĚNÝ, Václav MATYÁŠ a David ANTOŠ. MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. first. Brno: NOVPRESS s.r.o., nám. Republiky 725/15, 614 00 Brno, 2009, 258 s. ISBN 978-80-87342-04-6.

HLINĚNÝ, Petr, Václav MATYÁŠ a Tomáš VOJNAR. MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, selected papers. Dagstuhl: Schloss Dagstuhl Leibniz-Zentrum fur Informatik, 2009, 250 s. ISBN 978-3-939897-15-6.

ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA a Tomáš VOJNAR. Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier B.V., 2009, roč. 251, 96 s. ISSN 1571-0661.

ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA, Tomáš VOJNAR a David ANTOŠ. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008.

ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA, Tomáš VOJNAR a David ANTOŠ. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 1. vyd. Brno: Ing. Zdeněk Novotný CSc., Ondráčkova 105, 628 00 Brno, 2008, s. 1-286. ISBN 978-80-7355-082-0.

SMRČKA, Aleš, Vojtěch ŘEHÁK, Tomáš VOJNAR, David ŠAFRÁNEK, Petr MATOUŠEK a Zdeněk ŘEHÁK. Verifying VHDL Designs with Multiple Clocks in SMV. In 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. Bonn: Springer-Verlag, 2007, s. 148-164, 16 s. ISBN 978-3-540-70951-0.

MATYSKA, Luděk, Antonín KUČERA, Tomáš VOJNAR, Zdeněk KOTÁSEK, David ANTOŠ a Ondřej KRAJÍČEK. Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov: FIT BUT, 2006, 281 s. Proceedings. ISBN 80-214-3287-X.