Stefan Blom

Available identifiers

zbMath Open blom.stefanMaRDI QIDQ1630042

List of research outcomes

Publication	Date of Publication	Type
A complete proof system for Nested Term Graphs	2019-01-11	Paper
An abstraction technique for describing concurrent program behaviour	2018-12-07	Paper
Resource Protection Using Atomics	2016-02-26	Paper
Verification of Concurrent Systems with VerCors	2015-02-25	Paper
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking	2014-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q2851074	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2845494	2013-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q2843930	2013-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q2842853	2013-08-16	Paper
Perspectives of System Informatics	2010-01-05	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
Symbolic Reachability for Process Algebras with Recursive Data Types	2009-01-27	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4449168	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4806211	2003-05-21	Paper
Skew confluence and the lambda calculus with letrec	2002-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4551157	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4364384	1998-04-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefan Blom