E-LIB Suche - Ergebnisse für: Martinez, Thierry

1

Influence Networks Compared with Reaction Networks: Semanti..:

Fages, Francois ; Martinez, Thierry ; Rosenblueth, David A..
IEEE/ACM Transactions on Computational Biology and Bioinformatics. 15 (2018) 4 - p. 1138-1151 , 2018

Link: https://doi.org/10.1109/..

2

Influence Networks Compared with Reaction Networks: Semanti..:

Fages, Francois ; Martinez, Thierry ; Rosenblueth, David A..
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). 15 (2018) 4 - p. 1138-1151 , 2018

Link: https://dl.acm.org/doi/1..

3

Search by constraint propagation:

, In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming,

Martinez, Thierry ; Fages, François ; Soliman, Sylvain - p. 173-183 , 2015

Link: https://dl.acm.org/doi/1..

4

On enumerating minimal siphons in Petri nets using CLP and ..:

Nabli, Faten ; Martinez, Thierry ; Fages, François.
Constraints. 21 (2015) 2 - p. 251-276 , 2015

Link: https://doi.org/10.1007/..

5

On the subgraph epimorphism problem:

Gay, Steven ; Fages, François ; Martinez, Thierry..
Discrete Applied Mathematics. 162 (2014) - p. 214-228 , 2014

Link: https://doi.org/10.1016/..

6

Semantics-preserving translations between linear concurrent..:

, In: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming,

Martinez, Thierry - p. 57-66 , 2010

Link: https://dl.acm.org/doi/1..

7

Influence Networks compared with Reaction Networks: Semanti..:

Fages, François ; Martinez, Thierry ; Rosenblueth, David, A.
info:eu-repo/semantics/altIdentifier/doi/10.1109/TCBB.2018.2805686. , 2018

Link: https://inria.hal.scienc..

8

Influence Networks compared with Reaction Networks: Semanti..:

Fages, François ; Martinez, Thierry ; Rosenblueth, David, A.
info:eu-repo/semantics/altIdentifier/doi/10.1109/TCBB.2018.2805686. , 2018

Link: https://inria.hal.scienc..

9

Influence Networks compared with Reaction Networks: Semanti..:

Fages, François ; Martinez, Thierry ; Rosenblueth, David, A.
info:eu-repo/semantics/altIdentifier/doi/10.1109/TCBB.2018.2805686. , 2018

Link: https://inria.hal.scienc..

10

Influence Networks compared with Reaction Networks: Semanti..:

Fages, François ; Martinez, Thierry ; Rosenblueth, David.
info:eu-repo/semantics/altIdentifier/doi/10.1109/TCBB.2018.2805686. , 2018

Link: https://hal.inria.fr/hal..

11

On Enumerating Minimal Siphons in Petri nets using CLP and ..:

Nabli, Faten ; Martinez, Thierry ; Fages, François.
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10601-015-9190-1. , 2016

Link: https://hal.science/hal-..

12

A Stochastic Continuous Optimization Backend for MiniZinc w..:

Martinez, Thierry ; Fages, François ; Aggoun, Abder
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-33954-2_19. , 2016

Link: https://hal.archives-ouv..

13

Metro Energy Optimization through Rescheduling: Mathematica..:

Fournier, David ; Martinez, Thierry ; Fages, François.
hal-01420311. , 2016

Link: https://inria.hal.scienc..

14

A Stochastic Continuous Optimization Backend for MiniZinc w..:

Martinez, Thierry ; Fages, François ; Aggoun, Abder
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-33954-2_19. , 2016

Link: https://hal.science/hal-..

15

On Enumerating Minimal Siphons in Petri nets using CLP and ..:

Nabli, Faten ; Martinez, Thierry ; Fages, François.
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10601-015-9190-1. , 2016

Link: https://hal.archives-ouv..