Bert Lisser

	2011
13		Paul Klint, Bert Lisser, Atze van der Ploeg: Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software. SLE 2011: 1-18
12		Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber: A Database Approach to Distributed State-Space Generation. J. Log. Comput. 21(1): 45-62 (2011)
	2009
11		Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko: Automated Translation and Analysis of a ToolBus Script for Auctions. FSEN 2009: 308-323
	2008
10		Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko: Towards Formal Verification of ToolBusScripts. AMAST 2008: 160-166
9		Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber: A Database Approach to Distributed State Space Generation. Electr. Notes Theor. Comput. Sci. 198(1): 17-32 (2008)
8		Muhammad Torabi Dashti, Anton Wijs, Bert Lisser: Distributed Partial Order Reduction for Security Protocols. Electr. Notes Theor. Comput. Sci. 198(1): 93-99 (2008)
	2007
7		Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs: Distributed Analysis with mu CRL: A Compendium of Case Studies. TACAS 2007: 683-689
	2006
6		Anton Wijs, Bert Lisser: Distributed Extended Beam Search for Quantitative Model Checking. MoChArt 2006: 166-184
	2003
5		Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol: New developments around the mCRL tool set. Electr. Notes Theor. Comput. Sci. 80: 284-288 (2003)
4		Stefan Blom, Izak van Langevelde, Bert Lisser: Compressed and Distributed File Formats for Labeled Transition Systems. Electr. Notes Theor. Comput. Sci. 89(1): 68-83 (2003)
	2002
3		Jan Friso Groote, Bert Lisser: Computer assisted manipulation of algebraic process specifications. SIGPLAN Notices 37(12): 98-107 (2002)
	2001
2		Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol: µCRL: A Toolset for Analysing Algebraic Specifications. CAV 2001: 250-254
	1999
1		C. T. H. Everaars, Bert Lisser: Coordination of a Parallel Proposition Solver. COORDINATION 1999: 275-290

Coauthor Index

1	Stefan Blom	[2] [4] [5] [7] [9] [12]
2	Jens R. Calame	[7]
3	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[7] [8]
4	C. T. H. Everaars	[1]
5	Wan Fokkink	[2] [10] [11]
6	Jan Friso Groote	[2] [3] [5]
7	Paul Klint	[10] [11] [13]
8	Izak van Langevelde	[2] [4] [5]
9	Simona Orzan	[7]
10	Jun Pang	[7]
11	Atze van der Ploeg	[13]
12	Jaco van de Pol	[2] [5] [7] [9] [12]
13	Yaroslav S. Usenko	[10] [11]
14	Michael Weber	[9] [12]
15	Anton Wijs	[6] [7] [8]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page