Sébastien Briais

Available identifiers

zbMath Open briais.sebastienMaRDI QIDQ411216

List of research outcomes

Publication	Date of Publication	Type
How to eliminate non-positive circuits in periodic scheduling: a proactive strategy based on shortest path equations	2014-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q2852066	2013-10-07	Paper
SIRALINA: Efficient two-steps heuristic for storage optimisation in single period task scheduling	2012-04-04	Paper
Open bisimulation, revisited	2007-12-19	Paper
A formal semantics for protocol narrations	2007-12-14	Paper
Trustworthy Global Computing	2006-11-01	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4790349	2002-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: Sébastien Briais