Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bart Jacobs
Generic Trace Semantics via Coinduction
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Categorical Views on Computations on Trees (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parameters and Parametrization in Specification, Using Distributive Categories
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
The Microcosm Principle and Concurrency in Coalgebra
Specification of the Javacard API in JML
Threat Modelling for Web Services Based Web Applications
Statically Checking Confidentiality via Dynamic Labels
‹
1
2
