×
Edit Profile (opens in new tab)

Blom, Stefan

Co-Author Distance
Author ID: blom.stefan Recent zbMATH articles by "Blom, Stefan"
Published as: Blom, Stefan
Documents Indexed: 20 Publications since 1996
Co-Authors: 21 Co-Authors with 17 Joint Publications
351 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
5 van de Pol, Jan Cornelis
3 Ariola, Zena M.
3 Huisman, Marieke
3 Lisser, Bert
2 Amighi, Afshin
2 Fokkink, Willem Jan
2 Groote, Jan Friso
2 Orzan, Simona
2 Zaharieva-Stojanovski, Marina
1 Darabi, Saeed
1 Gurov, Dilian
1 Haverkort, Boudewijn R.
1 Ioustinova, Natalia
1 Kuntz, Matthias
1 Mauw, Sjouke
1 Mostowski, Wojciech I.
1 Nain, Sumit
1 Oortwijn, Wytse
1 Serebrenik, Alexander
1 Sidorova, Natalia
1 van Langevelde, Izak

Serials

1 Annals of Pure and Applied Logic
1 Journal of Logic and Computation

Fields

19 Computer science (68-XX)
6 Mathematical logic and foundations (03-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

19 Publications have been cited 115 times in 92 Documents Cited by ▼ Year ▼
\(\mu\)CRL: A toolset for analysing algebraic specifications. Zbl 0991.68640
Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert
23
2001
Skew confluence and the lambda calculus with letrec. Zbl 1019.03011
Ariola, Zena M.; Blom, Stefan
14
2002
A distributed algorithm for strong bisimulation reduction of state spaces. Zbl 1270.68380
Blom, Stefan; Orzan, Simona
13
2002
Distributed branching bisimulation reduction of state spaces. Zbl 1271.68133
Blom, Stefan; Orzan, Simona
11
2003
State space reduction by proving confluence. Zbl 1010.68527
Blom, Stefan; van de Pol, Jaco
10
2002
Cyclic lambda calculi. Zbl 0884.03008
Ariola, Zena M.; Blom, Stefan
8
1997
On the axiomatizability of ready traces, ready simulation, and failure traces. Zbl 1039.68081
Blom, Stefan; Fokkink, Wan; Nain, Sumit
7
2003
Distributed Markovian bisimulation reduction aimed at CSL model checking. Zbl 1286.68306
Blom, Stefan; Haverkort, Boudewijn R.; Kuntz, Matthias; van de Pol, Jaco
4
2008
Symbolic reachability for process algebras with recursive data types. Zbl 1161.68613
Blom, Stefan; van de Pol, Jaco
4
2008
Resource protection using atomics. Patterns and verification. Zbl 1453.68042
Amighi, Afshin; Blom, Stefan; Huisman, Marieke
3
2014
An abstraction technique for describing concurrent program behaviour. Zbl 1403.68034
Oortwijn, Wytse; Blom, Stefan; Gurov, Dilian; Huisman, Marieke; Zaharieva-Stojanovski, Marina
3
2017
A database approach to distributed state space generation. Zbl 1277.68161
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
3
2008
An approximation based approach to infinitary lambda calculi. Zbl 1187.03013
Blom, Stefan
3
2004
Analysing the BKE-security protocol with \(\mu\)CRL. Zbl 1272.68224
Blom, Stefan; Groote, Jan Friso; Mauw, Sjouke; Serebrenik, Alexander
2
2005
Verification of concurrent systems with VerCors. Zbl 1445.68131
Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina
2
2014
Timed verification with \(\mu \)CRL. Zbl 1254.68145
Blom, Stefan; Ioustinova, Natalia; Sidorova, Natalia
2
2003
A database approach to distributed state-space generation. Zbl 1213.68364
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
1
2011
A complete proof system for nested term graphs. Zbl 1407.68237
Blom, Stefan
1
1996
Skew and \(\omega\)-skew confluence and abstract Böhm semantics. Zbl 1171.68506
Ariola, Zena M.; Blom, Stefan
1
2005
An abstraction technique for describing concurrent program behaviour. Zbl 1403.68034
Oortwijn, Wytse; Blom, Stefan; Gurov, Dilian; Huisman, Marieke; Zaharieva-Stojanovski, Marina
3
2017
Resource protection using atomics. Patterns and verification. Zbl 1453.68042
Amighi, Afshin; Blom, Stefan; Huisman, Marieke
3
2014
Verification of concurrent systems with VerCors. Zbl 1445.68131
Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina
2
2014
A database approach to distributed state-space generation. Zbl 1213.68364
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
1
2011
Distributed Markovian bisimulation reduction aimed at CSL model checking. Zbl 1286.68306
Blom, Stefan; Haverkort, Boudewijn R.; Kuntz, Matthias; van de Pol, Jaco
4
2008
Symbolic reachability for process algebras with recursive data types. Zbl 1161.68613
Blom, Stefan; van de Pol, Jaco
4
2008
A database approach to distributed state space generation. Zbl 1277.68161
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
3
2008
Analysing the BKE-security protocol with \(\mu\)CRL. Zbl 1272.68224
Blom, Stefan; Groote, Jan Friso; Mauw, Sjouke; Serebrenik, Alexander
2
2005
Skew and \(\omega\)-skew confluence and abstract Böhm semantics. Zbl 1171.68506
Ariola, Zena M.; Blom, Stefan
1
2005
An approximation based approach to infinitary lambda calculi. Zbl 1187.03013
Blom, Stefan
3
2004
Distributed branching bisimulation reduction of state spaces. Zbl 1271.68133
Blom, Stefan; Orzan, Simona
11
2003
On the axiomatizability of ready traces, ready simulation, and failure traces. Zbl 1039.68081
Blom, Stefan; Fokkink, Wan; Nain, Sumit
7
2003
Timed verification with \(\mu \)CRL. Zbl 1254.68145
Blom, Stefan; Ioustinova, Natalia; Sidorova, Natalia
2
2003
Skew confluence and the lambda calculus with letrec. Zbl 1019.03011
Ariola, Zena M.; Blom, Stefan
14
2002
A distributed algorithm for strong bisimulation reduction of state spaces. Zbl 1270.68380
Blom, Stefan; Orzan, Simona
13
2002
State space reduction by proving confluence. Zbl 1010.68527
Blom, Stefan; van de Pol, Jaco
10
2002
\(\mu\)CRL: A toolset for analysing algebraic specifications. Zbl 0991.68640
Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert
23
2001
Cyclic lambda calculi. Zbl 0884.03008
Ariola, Zena M.; Blom, Stefan
8
1997
A complete proof system for nested term graphs. Zbl 1407.68237
Blom, Stefan
1
1996
all cited Publications top 5 cited Publications
all top 5

Cited by 162 Authors

11 van de Pol, Jan Cornelis
7 Fokkink, Willem Jan
5 Aceto, Luca
5 Blom, Stefan
5 Ingólfsdóttir, Anna
5 Milius, Stefan
5 Timmer, Mark
4 Groote, Jan Friso
4 Huisman, Marieke
4 Keiren, Jeroen J. A.
4 Lang, Frédéric
4 Pang, Jun
4 Schmidt-Schauß, Manfred
4 Schröder, Lutz
4 Wijs, Anton J.
4 Wißmann, Thorsten
3 de Frutos-Escrig, David
3 Deifel, Hans-Peter
3 Katoen, Joost-Pieter
3 Luttik, Bas
3 Oortwijn, Wytse
3 Orzan, Simona
3 Stoelinga, Mariëlle
3 Zucca, Elena
2 Ariola, Zena M.
2 Bahr, Patrick
2 Castiglioni, Valentina
2 Chen, Taolue
2 Chothia, Tom
2 Dorsch, Ulrich
2 Garavel, Hubert
2 Gregorio-Rodríguez, Carlos
2 Hirschowitz, Tom
2 Jansen, David N.
2 Machkasova, Elena
2 Mateescu, Radu
2 Nain, Sumit
2 Pedersen, Mathias Ruggaard
2 Sabel, David
2 Schütz, Marko
2 Servetto, Marco
2 Simonsen, Jakob Grue
2 Torabi Dashti, Mohammad
2 Usenko, Yaroslav S.
2 Van Weerdenburg, Muck J.
2 Willemse, Tim A. C.
1 Alvarez-Picallo, Mario
1 Amighi, Afshin
1 Asada, Kazuyuki
1 Bäck, Thomas H. W.
1 Badban, Bahareh
1 Balland, Emilie
1 Barbot, Benoît
1 Barnat, Jiří
1 Bauch, Petr
1 Beneš, Nikola
1 Beran, Jan
1 Bierman, Gavin M.
1 Birkmann, Fabian
1 Bordis, Tabea
1 Boulgakov, Alexandre
1 Boy de la Tour, Thierry
1 Brand, Sebastiaan
1 Brim, Luboš
1 Buchholz, Peter
1 Bugariu, Alexandra
1 Capriccioli, Andrea
1 Chen, Zhibo
1 Crouzen, Pepijn
1 Czekster, Ricardo M.
1 Darabi, Saeed
1 Dashti, M. Torabi
1 de Jong, H. A.
1 De Rose, César A. F.
1 de Vink, Erik P.
1 Di Stefano, Luca
1 Downen, Paul
1 Edelkamp, Stefan
1 Erkök, Levent
1 Esparza, Javier
1 Faggian, Claudia
1 Fagorzi, Sonia
1 Fernandes, Paulo
1 Ghassemi, Fatemeh
1 Giannini, Paola
1 Gibson-Robinson, Thomas
1 Groves, Lindsay J.
1 Gurov, Dilian
1 Hamana, Makoto
1 Han, Tingting
1 Hansen, Henri
1 Hermanns, Holger
1 Hirschowitz, André
1 Hofman, Rutger
1 Jabbar, Shahid
1 Johnson-Freyd, Philip
1 Joosten, Sebastiaan J. C.
1 Ketema, Jeroen
1 Kiefer, Stefan
1 Klop, Jan Willem
...and 62 more Authors
all top 5

Cited in 17 Serials

6 Information and Computation
5 Theoretical Computer Science
5 Formal Methods in System Design
5 Logical Methods in Computer Science
4 Formal Aspects of Computing
4 The Journal of Logic and Algebraic Programming
3 Mathematical Structures in Computer Science
3 Journal of Functional Programming
3 RAIRO. Theoretical Informatics and Applications
2 Annals of Pure and Applied Logic
1 Acta Informatica
1 Science of Computer Programming
1 Journal of Automated Reasoning
1 Journal of Parallel and Distributed Computing
1 Higher-Order and Symbolic Computation
1 ACM Transactions on Computational Logic
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
all top 5

Cited in 11 Fields

92 Computer science (68-XX)
14 Mathematical logic and foundations (03-XX)
4 Probability theory and stochastic processes (60-XX)
2 Category theory; homological algebra (18-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Information and communication theory, circuits (94-XX)
1 Combinatorics (05-XX)
1 General algebraic systems (08-XX)
1 Associative rings and algebras (16-XX)
1 Numerical analysis (65-XX)
1 Systems theory; control (93-XX)

Citations by Year