Bert Lisser

14 papers A* 1A 1B 1C 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2015 J jnl
Sci. Comput. Program.
Bas Basten, Jeroen van den Bos, Mark Hills, Paul Klint, Arnold Lankamp, Bert Lisser, Atze van der Ploeg, Tijs van der Storm, Jurgen J. Vinju
2011 J jnl
J. Log. Comput.
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
2011 B conf
SLE
Paul Klint, Bert Lisser, Atze van der Ploeg
2009 conf
FSEN
Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
2008 conf
AMAST
Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
2007 conf
PDMC@CAV
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
2007 A conf
TACAS
Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
2007 conf
PDMC@CAV
Muhammad Torabi Dashti, Anton Wijs, Bert Lisser
2006 conf
MoChArt
Anton Wijs, Bert Lisser
2003 conf
PDMC@CAV
Stefan Blom, Izak van Langevelde, Bert Lisser
2003 C conf
FMICS
Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
2002 J jnl
ACM SIGPLAN Notices
Jan Friso Groote, Bert Lisser
2001 A* conf
CAV
Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
1999 C conf
COORDINATION
C. T. H. Everaars, Bert Lisser