Jeremy L. Jacob

Available identifiers

zbMath Open jacob.jeremy-lMaRDI QIDQ736832

List of research outcomes

Publication	Date of Publication	Type
Temporal reasoning through automatic translation of tock-CSP into timed automata	2022-07-13	Paper
On integrating confidentiality and functionality in a formal method	2016-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q2848033	2013-09-25	Paper
On Modelling User Observations in the UTP	2010-11-09	Paper
Unifying Theories of Confidentiality	2010-11-09	Paper
A CSP model of Eiffel's SCOOP	2007-11-28	Paper
Coordination with multicapabilities	2007-01-22	Paper
The designs of S-boxes by simulated annealing	2006-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737243	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4449844	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417410	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q2721147	2001-07-01	Paper
On the security of recent protocols	1997-02-28	Paper
A model of reconfiguration in communicating sequential processes with a notion of transactions	1992-06-28	Paper
Separability and the detection of hidden channels	1990-01-01	Paper
A model of reconfiguration in communicating sequential processes	1990-01-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: Jeremy L. Jacob