E-LIB Suche - Ergebnisse für: Niehren, Joachim

1

Core SBML and Its Formal Semantics:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Niehren, Joachim ; Lhoussaine, Cédric ; Vaginay, Athénaïs - p. 124-143 , 2023

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

2

Computational Methods in Systems Biology: 21st Internationa..

Lecture Notes in Bioinformatics, 14137

Pang, Jun ; Niehren, Joachim - 1st ed. 2023 . , 2023

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

3

Earliest Query Answering for Deterministic Stepwise Hedge A..:

, In: Implementation and Application of Automata; Lecture Notes in Computer Science,

Al Serhali, Antonio ; Niehren, Joachim - p. 53-65 , 2023

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

4

Subhedge Projection for Stepwise Hedge Automata:

, In: Fundamentals of Computation Theory; Lecture Notes in Computer Science,

Serhali, Antonio Al ; Niehren, Joachim - p. 16-31 , 2023

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

5

Bioinformatics Modelling and Metabolic Engineering of the B..:

Guez, Jean-Sébastien ; Coucheney, Françoise ; Guy, Joany...
Metabolites. 12 (2022) 2 - p. 107 , 2022

Link: https://doi.org/10.3390/..

6

Regular matching and inclusion on compressed tree patterns ..:

Boneva, Iovka ; Niehren, Joachim ; Sakho, Momar
Information and Computation. 286 (2022) - p. 104776 , 2022

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

7

Abstract Simulation of Reaction Networks via Boolean Networ..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Niehren, Joachim ; Vaginay, Athénaïs ; Versari, Cristian - p. 21-40 , 2022

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

8

Exact Boolean Abstraction of Linear Equation Systems:

Allart, Emilie ; Niehren, Joachim ; Versari, Cristian
Computation. 9 (2021) 11 - p. 113 , 2021

Link: https://doi.org/10.3390/..

9

Computing difference abstractions of linear equation system:

Allart, Emilie ; Niehren, Joachim ; Versari, Cristian
Theoretical Computer Science. 893 (2021) - p. 72-104 , 2021

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

10

Determinization and Minimization of Automata for Nested Wor..:

Niehren, Joachim ; Sakho, Momar
Algorithms. 14 (2021) 3 - p. 68 , 2021

Link: https://doi.org/10.3390/..

11

The Surfactin-Like Lipopeptides From Bacillus spp.: Natural..:

Théatre, Ariane ; Cano-Prieto, Carolina ; Bartolini, Marco...
Frontiers in Bioengineering and Biotechnology. 9 (2021) - p. , 2021

Link: https://doi.org/10.3389/..

12

Nested Regular Expressions Can Be Compiled to Small Determi..:

, In: Computer Science – Theory and Applications; Lecture Notes in Computer Science,

Boneva, Iovka ; Niehren, Joachim ; Sakho, Momar - p. 169-183 , 2020

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

13

Computing Difference Abstractions of Metabolic Networks Und..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Allart, Emilie ; Niehren, Joachim ; Versari, Cristian - p. 266-285 , 2019

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

14

Regular Matching and Inclusion on Compressed Tree Patterns ..:

, In: Language and Automata Theory and Applications; Lecture Notes in Computer Science,

Boneva, Iovka ; Niehren, Joachim ; Sakho, Momar - p. 343-355 , 2019

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

15

Logics for unordered trees with data constraints:

Boiret, Adrien ; Hugot, Vincent ; Niehren, Joachim.
Journal of Computer and System Sciences. 104 (2019) - p. 149-164 , 2019

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