Fakulta informačních technologií VUT v Brně

Výzkumná skupina formálních modelů

Projekty

  • 2012

    Matematické základy teorie formálních jazyků, FRVŠ MŠMT - Fond rozvoje vysokých škol (FRVŠ), FR271/2012/G1, 2012, ukončen
    Řešitel: Zemek Petr
    Spoluřešitelé: Meduna Alexander, Vrábel Lukáš, Zemek Petr
    Detail

  • 2010

    Bezkontextové gramatiky a zásobníkové automaty, MŠMT ČR - KONTAKT, MEB041003, 2010-2011, ukončen
    Řešitel: Meduna Alexander
    Spoluřešitelé: Čermák Martin, Koutný Jiří, Křivka Zbyněk, Meduna Alexander
    Detail

  • 2007

    Inovativní přístup k projektům z oblasti překladačů, FRVŠ MŠMT, FR673/2007/G1, 2007, ukončen
    Řešitel: Rychnovský Lukáš
    Spoluřešitelé: Křivka Zbyněk, Meduna Alexander, Rychnovský Lukáš
    Detail

    Multi-Information Technologies, GAČR, GA201/07/0005, 2007-2009, ukončen
    Řešitel: Meduna Alexander
    Spoluřešitelé: Kolář Dušan, Lukáš Roman, Meduna Alexander
    Detail

    Výuka teoretické informatiky na mezinárodní úrovni EU, FRVŠ MŠMT, FR762/2007/G1, 2007, ukončen
    Řešitel: Techet Jiří
    Spoluřešitelé: Masopust Tomáš, Meduna Alexander, Techet Jiří
    Detail

  • 2006

    Didaktické demonstrace modelů pro popis formálních jazyků, FRVŠ MŠMT, FR1909/2006/G1, 2006, ukončen
    Řešitel: Křivka Zbyněk
    Spoluřešitelé: Křivka Zbyněk, Lukáš Roman, Meduna Alexander
    Detail

    Virtuální laboratoř aplikace mikroprocesorové techniky, MŠMT ČR - Informační technologie pro znalostní společnost, 2C06008, 2006-2011, ukončen
    Řešitel: Dulík Tomáš
    Spoluřešitelé: Bližňák Michal, Budíková Věra, Dulík Tomáš, Jirák Ota, Kadlec Jiří, Kolář Dušan, Křivka Zbyněk, Meduna Alexander, Olšarová Nela, Trbušek Josef, Vašíček Zdeněk
    Detail

  • 2005

    Inovace předmětů Funkcionální a logické programování a Postrelační databáze, FRVŠ MŠMT, FR1246/2005/F1, 2005, ukončen
    Řešitel: Kolář Dušan
    Spoluřešitelé: Kolář Dušan
    Detail

  • 2004

    Optimally Integrated Models of Modern Information Technologies, GAČR, GA201/04/0441, 2004-2006, ukončen
    Řešitel: Meduna Alexander
    Spoluřešitelé: Kolář Dušan, Meduna Alexander
    Detail

Nahoru