DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-54013-4_15,10884,KrCh,Parameterized model checking of token-passing systems
10.1016/j.tcs.2013.11.032,2246,KrCh,Alternating traps in Muller and parity games
10.4204/EPTCS.146.11,475,KrCh,First cycle games
10.1007/978-3-642-37064-9_20,10902,KrCh,How to travel between languages
10.4204/EPTCS.96.18,495,KrCh,A Myhill Nerode theorem for automata with advice
10.1109/LICS.2012.65,496,KrCh,Interpretations in trees with countably many branches