Stefan Blom

	2008
25		Stefan Blom, Jaco van de Pol: Symbolic Reachability for Process Algebras with Recursive Data Types. ICTAC 2008: 81-95
24		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)
23		Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol: Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electr. Notes Theor. Comput. Sci. 220(2): 35-50 (2008)
22		Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: Simulated time for host-based testing with TTCN-3. Softw. Test., Verif. Reliab. 18(1): 29-49 (2008)
	2007
21		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
20		Stefan Blom: Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 72(1): 17-29 (2007)
	2006
19		Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: TTCN-3 for Distributed Testing Embedded Software. Ershov Memorial Conference 2006: 98-111
	2005
18		Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: Simulated Time for Testing Railway Interlockings with TTCN-3. FATES 2005: 1-15
17		Zena M. Ariola, Stefan Blom: Skew and omega-Skew Confluence and Abstract Böhm Semantics. Processes, Terms and Cycles 2005: 368-403
16		Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik: Analysing the BKE-security Protocol with µCRL. Electr. Notes Theor. Comput. Sci. 139(1): 49-90 (2005)
15		Stefan Blom, Simona Orzan: A distributed algorithm for strong bisimulation reduction of state spaces. STTT 7(1): 74-86 (2005)
14		Stefan Blom, Simona Orzan: Distributed state space minimization. STTT 7(3): 280-291 (2005)
	2004
13		Stefan Blom: An Approximation Based Approach to Infinitary Lambda Calculi. RTA 2004: 221-232
	2003
12		Stefan Blom, Natalia Ioustinova, Natalia Sidorova: Timed Verification with µCRL. Ershov Memorial Conference 2003: 178-192
11		Stefan Blom, Wan Fokkink, Sumit Nain: On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. ICALP 2003: 109-118
10		Stefan Blom, Simona Orzan: Distributed State Space Minimization. Electr. Notes Theor. Comput. Sci. 80: (2003)
9		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: (2003)
8		Stefan Blom, Izak van Langevelde, Bert Lisser: Compressed and Distributed File Formats for Labeled Transition Systems. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
7		Stefan Blom, Simona Orzan: Distributed Branching Bisimulation Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
	2002
6		Stefan Blom, Jaco van de Pol: State Space Reduction by Proving Confluence. CAV 2002: 596-609
5		Zena M. Ariola, Stefan Blom: Skew confluence and the lambda calculus with letrec. Ann. Pure Appl. Logic 117(1-3): 95-168 (2002)
4		Stefan Blom, Simona Orzan: A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 68(4): (2002)
	2001
3		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
	1997
2		Zena M. Ariola, Stefan Blom: Cyclic Lambda Calculi. TACS 1997: 77-106
	1995
1		Stefan Blom: A Complete Proof System for Nested Term Graphs. HOA 1995: 74-89

Coauthor Index

1	Zena M. Ariola	[2] [5] [17]
2	Jens R. Calame	[21]
3	Muhammad Torabi Dashti	[21]
4	Thomas Deiß	[19] [22]
5	Wan Fokkink	[3] [11]
6	Jan Friso Groote	[3] [9] [16]
7	Boudewijn R. Haverkort	[23]
8	Natalia Ioustinova	[12] [18] [19] [22]
9	Ari Kontio	[19] [22]
10	Matthias Kuntz	[23]
11	Izak van Langevelde	[3] [8] [9]
12	Bert Lisser	[3] [8] [9] [21] [24]
13	Sjouke Mauw	[16]
14	Sumit Nain	[11]
15	Simona Orzan	[4] [7] [10] [14] [15] [21]
16	Jun Pang	[21]
17	Jaco van de Pol	[3] [6] [9] [18] [19] [21] [22] [23] [24] [25]
18	Axel Rennoch	[18] [19] [22]
19	Alexander Serebrenik	[16]
20	Natalia Sidorova	[12] [18] [19] [22]
21	Michael Weber	[24]
22	Anton Wijs	[21]

Colors in the list of coauthors