Concepedia

Falk Bartels

FB

5

Publications

263

Citations

5

H-Index

2001

Active since

Affiliations

Centrum Wiskunde & Informatica(Current)

Leiden University

Eindhoven University of Technology

Falk Bartels is an author at Centrum Wiskunde & Informatica specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProbabilityFormal VerificationNon-monotonic LogicTheory Of Computing

Publications per year

2001–2004

5

Publications

5

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, E.P. de Vink · Theoretical Computer Science · 2004 · 95 citations · Full text

Engineering, Probabilistic System Types, Probabilistic System +5

Generalised Coinduction

Falk Bartels · Electronic Notes in Theoretical Computer Science · 2001 · 54 citations · Full text

Theory Of Computing, Non-monotonic Logic, Engineering +10

Generalised coinduction

Falk Bartels · Mathematical Structures in Computer Science · 2003 · 44 citations

Engineering, Bisimilarity Proofs, Operational Semantics +10

On generalised coinduction and probabilistic specification formats : Distributive laws in coalgebraic modelling

Falk Bartels · Data Archiving and Networked Services (DANS) · 2004 · 40 citations · Full text

Engineering, Probabilistic Specification Formats, Distributive Laws +9

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, E.P. de Vink · Electronic Notes in Theoretical Computer Science · 2003 · 30 citations · Full text

Engineering, Probabilistic System Types, Automated Reasoning +14

Rows per page

1–5 of 5