Prof. RNDr. Mojmír Křetínský, CSc.

Personal photo

 

Rozsáhlé výpočetní systémy: modely, aplikace a verifikace III. (MUNI/A/0855/2013)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2014 - 12/2014
Investor/Programme:Masaryk University / Student Project Grant at MU (specific research, rector's programme)
more
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0765/2013)
MU Investigator:Prof. RNDr. Petr Hliněný, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2014 - 12/2014
Investor/Programme:Masaryk University / Student Project Grant at MU (specific research, rector's programme)
more
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (MUNI/A/0760/2012)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2013 - 12/2013
Investor/Programme:Masaryk University / Student Project Grant at MU (specific research, rector's programme)
more
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (MUNI/A/0914/2009)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2010 - 12/2012
Investor/Programme:Masaryk University / Student Project Grant at MU (specific research, rector's programme)
more
Verification and Analysis of Large-Scale Computer Systems (GA201/09/1389)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2009 - 12/2011
Investor/Programme:Czech Science Foundation / Standard Projects
more
Application of formal methods in the verification of processes (FRVS/446/2005/G6)
MU Investigator:RNDr. Vojtěch Řehák, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2005 - 12/2005
Investor/Programme:Ministry of Education, Youth and Sports of the CR / University Development Fund
more
Verification of infinite-state systems (GA201/03/1161)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2003 - 12/2005
Investor/Programme:Czech Science Foundation / Standard Projects
more
Infinite state concurrent systems - models and verification (GA201/00/0400)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/2000 - 12/2002
Investor/Programme:Czech Science Foundation / Standard Projects
more
Decidability and complexity of observational equivalences on infinite - state processes (GA201/99/D026)
MU Investigator:Mgr. Jitka Stříbrná, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:9/1999 - 8/2002
Investor/Programme:Czech Science Foundation / Standard Projects
more
(Un)decidable Problems in Process Algebras (GA201/98/P046)
MU Investigator:Prof. RNDr. Antonín Kučera, Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/1998 - 12/2000
Investor/Programme:Czech Science Foundation / Standard Projects
more
Algorithmic Verification Boundaries for Infinite-State Systems (GA201/97/0456)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/1997 - 12/1999
Investor/Programme:Czech Science Foundation / Standard Projects
more
Computational Logic and Computational Methods (MUNI/33/002/1995)
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/1995 - 12/1999
Investor/Programme:The Royal Society / The Royal Society Projects
more
Analysis of Concurrent Infinite State Systems (GA201/93/2123)
MU Investigator:Prof. RNDr. Mojmír Křetínský, CSc.
MU Faculty/Unit:Faculty of Informatics
Project Period:1/1993 - 1/1995
Investor/Programme:Czech Science Foundation / Standard Projects
more