česky | in English
Název česky: O rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
RIV/00216224:14330/09:00028439 Stať ve sborníku. Informatika. angličtina. Portugalsko.
Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 6. 2009 16:57.
Název česky: Dosažitelnost je rozhodnutelná pro slabě rozšířené procesové přepisovací systémy
RIV/00216224:14330/09:00028490 Článek v odborném periodiku. Informatika. angličtina. Německo.
Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; reachability
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 7. 5. 2009 10:19.
Název česky: Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
RIV/00216224:14330/07:00019467 Prezentace na konferencích. Informatika. angličtina. Portugalsko.
Křetínský, Mojmír (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
Druh sborníku: předkonferenční sborník
Druh účasti: aktivní účast
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 14:50.
Název česky: Zjemneni hranice nerozhodnutelnosti slabe bisimulace
Název anglicky: Refining Undecidability Border of Weak Bisimilarity
RIV/00216224:14330/06:00015292 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; decidability; weak bisimilarity
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 6. 2009 16:53.
Název česky: Slabě rozšířené procesové přepisovací systémy
RIV/00216224:14330/06:00015476 Prezentace na konferencích. Informatika. angličtina. Francie.
Řehák, Vojtěch (203 Česká republika, garant, domácí)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 08:26.
Název česky: Dosažitelnost Hennessy-Milner vlastností pro slabě rozšířené PRS
RIV/00216224:14330/05:00012582 Stať ve sborníku. Informatika. angličtina. Německo.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; HM logic; reachability
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 8. 4. 2010 21:40.
Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
RIV/00216224:14330/05:00012580 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 4. 12. 2006 16:38.
Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
RIV/00216224:14330/05:00012581 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
Mezinárodní význam: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 27. 11. 2006 15:12.
Název česky: Rozšířené procesové přepisovací systémy: Vyjadřovací síla a dosažitelnost
RIV/00216224:14330/04:00010262 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 11. 3. 2010 13:41.
Název česky: O rozšířených procesových přepisovacích systémech: Přepisovací systémy se slabou konečně stavovou jednotkou
RIV/00216224:14330/04:00010392 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; decidability; reachability
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 6. 2009 17:11.
Název česky: O vyjadřovací síle rozšířených procesových přepisovacích systémů
RIV/00216224:14330/04:00010025 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
Název česky: Dosažitelnost pro rozšířené procesové přepisovací systémy
RIV/00216224:14330/04:00010695 Stať ve sborníku. Informatika. angličtina. Belgie.
Řehák, Vojtěch (203 Česká republika, garant)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.
RIV/00216224:14330/03:00008151 Stať ve sborníku. Informatika. angličtina. Francie.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.
Informatika. angličtina. Česká republika.
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 24. 5. 2006 15:51.