Travelled to:1 × Germany
Collaborated with:N.Benes L.Brim I.Cerná P.Vareková Igor Chalas Zuzana Ferkova Katarína Furmanová Barbora Kozlíková B.Zimmerova B.Buhnova
Talks about:partial (2) reduct (2) state (2) order (2) event (2) ltl (2) interact (1) automata (1) variabl (1) generat (1)
Person: Jiri Sochor
DBLP: Sochor:Jiri
Contributed to:
20092011
2015Wrote 3 papers:
- IFM-2009-BenesBCSVZ #ltl #partial order #reduction
- Partial Order Reduction for State/Event LTL (NB, LB, IC, JS, PV, BZ), pp. 307–321.
- IFM-J-2009-BenesBBCSV11 #automaton #component #ltl #partial order #reduction
- Partial order reduction for state/event LTL with application to component-interaction automata (NB, LB, BB, IC, JS, PV), pp. 877–890.
- VS-Games-2015-ChalasFFSK #3d #dataset #generative
- Generation of Variable Human Faces from 3D Scan Dataset (IC, ZF, KF, JS, BK), pp. 1–8.