The SYMBIONT Project: Symbolic Methods for Biological Networks
François Boulier
(1)
,
Francois Fages
(2)
,
Ovidiu Radulescu
(3)
,
Satya Swarup Samal
(4)
,
Andreas Schuppert
(4)
,
Werner Seiler
(5)
,
Thomas Sturm
(6, 7, 8, 9)
,
Sebastian Walcher
(4)
,
Andreas Weber
(10)
1
LIFL -
Laboratoire d'Informatique Fondamentale de Lille
2 Lifeware - Computational systems biology and optimization
3 UM - Université de Montpellier
4 RWTH - Rheinisch-Westfälische Technische Hochschule Aachen University
5 Universität Kassel [Kassel]
6 Universität des Saarlandes [Saarbrücken]
7 MPII - Max-Planck-Institut für Informatik
8 MOSEL - Proof-oriented development of computer-based systems
9 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
10 Institut für Informatik II [Bonn]
2 Lifeware - Computational systems biology and optimization
3 UM - Université de Montpellier
4 RWTH - Rheinisch-Westfälische Technische Hochschule Aachen University
5 Universität Kassel [Kassel]
6 Universität des Saarlandes [Saarbrücken]
7 MPII - Max-Planck-Institut für Informatik
8 MOSEL - Proof-oriented development of computer-based systems
9 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
10 Institut für Informatik II [Bonn]
Francois Fages
- Fonction : Auteur
- PersonId : 11625
- IdHAL : francois-fages
- ORCID : 0000-0001-5650-8266
- IdRef : 03429502X
Ovidiu Radulescu
- Fonction : Auteur
- PersonId : 740482
- IdHAL : ovidiu-radulescu
- ORCID : 0000-0001-6453-5707
- IdRef : 137807074
Thomas Sturm
- Fonction : Auteur
- PersonId : 739828
- IdHAL : thomas-sturm
- ORCID : 0000-0002-8088-340X
- IdRef : 154039659
Sebastian Walcher
- Fonction : Auteur
- PersonId : 792820
- ORCID : 0000-0003-4763-6869