Publikace

Fakulta / Pracoviště MU

Rok publikování

Druh

Počet publikací: 132

Články ve sbornících

Tighter Construction of Tight Büchi Automata

JANKOLA Marek STREJČEK Jan

Článek ve sborníku

Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I, rok: 2024
Výzvy a úskalí evropské regulace digitálních trhů

BEJČEK Josef

Článek ve sborníku

Rok: 2024
What Johnny thinks about using two-factor authentication on GitHub: A survey among open-source developers

KRUŽÍKOVÁ Agáta SUCHÁNEK Jakub BROŽ Milan UKROP Martin MATYÁŠ Václav

Článek ve sborníku

Proceedings of the 21st International Workshop on Trust, Privacy and Security in the Digital Society, rok: 2024
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0

AYAZIOVÁ Paulína STREJČEK Jan

Článek ve sborníku

Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, rok: 2024

Ostatní aplikované výsledky

AlphaFind: Discover structure similarity across the entire known proteome

PROCHÁZKA David SLANINÁKOVÁ Terézia OĽHA Jaroslav ROŠINEC Adrián GREŠOVÁ Katarína JÁNOŠOVÁ Miriama ČILLÍK Jakub PORUBSKÁ Jana SVOBODOVÁ Radka DOHNAL Vlastislav ANTOL Matej

Výzkumná zpráva

Rok: 2024
EOSC CZ: Towards the development of Czech national ecosystem for FAIR research data

ANTOL Matej MAREK Jiří CAPANDOVÁ Michaela JURÁČEK Jaroslav MATYSKA Luděk

Výzkumná zpráva

Rok: 2024
Flexible learning and teaching: Thematic Peer Group Report

BREKKE Morten TORSTVEIT Geir MAIKEN Koien Andersen LISA Kjosnes Fredsvik MIJATOVIĆ Aleksandar BULANT Michal OLEKSÍKOVÁ Kateřina ANTALOVÁ Natália OUN Tiia KREULICH Klaus SCHINDLER Christina ANZI Lucie HANRIEDER Bettina SONIA Gomez Puente SZOZDA Natalia AMARAL Carla Maria CRAVINO José MACHADO Diogo ASLAM Tehseen AINHOA Goienetxea Uriarte ZHANG Thérese

Výzkumná zpráva

Rok: 2024
Heresy and occupation in Bologna around 1300

RICCARDO Katia ONDREJKA Peter ZBÍRAL David

Certifikované metodiky

Rok: 2024
Identifikace a aplikace strategických komunikačních nástrojů při naplňování koncepce ZP ČR : Souhrnná výzkumná zpráva

DOSEDĚL Tomáš EIBL Otto GREGOR Miloš ILAVSKÁ Adriana JIRUŠEK Martin KLEINER Jan KOŘAN Michal KŘÍŽ Zdeněk KUCHYŇKOVÁ Petra NAVRÁTIL Jiří VLČEK Tomáš

Výzkumná zpráva

Rok: 2024
Kvalita výuky v českých základních školách z pohledu žáků

ŠEĎOVÁ Klára SEDLÁČEK Martin ŠALAMOUNOVÁ Zuzana

Výzkumná zpráva

Rok: 2024

Nové knihy vydané Masarykovou univerzitou

Knihy na Munishopu

Čtěte na Munispace

Studijní programy

Jaké je to být prvákem na MUNI?

Přečtěte si o výzkumu na MU

Publikace

Články ve sbornících

Tighter Construction of Tight Büchi Automata

Výzvy a úskalí evropské regulace digitálních trhů

What Johnny thinks about using two-factor authentication on GitHub: A survey among open-source developers

Witch 3: Validation of Violation Witnesses in the Witness Format 2.0

Ostatní aplikované výsledky

AlphaFind: Discover structure similarity across the entire known proteome

EOSC CZ: Towards the development of Czech national ecosystem for FAIR research data

Flexible learning and teaching: Thematic Peer Group Report

Heresy and occupation in Bologna around 1300

Identifikace a aplikace strategických komunikačních nástrojů při naplňování koncepce ZP ČR : Souhrnná výzkumná zpráva

Kvalita výuky v českých základních školách z pohledu žáků

Nové knihy vydané Masarykovou univerzitou