( en | de | ru )

 

Disambiguierung von "Aiguier, Marc"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Execution Techniques Extended to Systems.

, , , und . ICSEA, Seite 78-85. IEEE Computer Society, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefanie Marczoch

Langzeitverlauf von 200 Patienten mit kraniofazialen und zervikalen Dystonien bis zu 12 Jahre nach der ersten Botulinumtoxin-Behandlung. TU München, (2009)

Moritz Daniel Marcinowski

Caroline Marcon

Jacob Rader Marcus

Ivan Marchesini

 

Weitere Publikationen von Autoren mit dem selben Namen

Special issue on complex systems design and management.. Concurrent Engineering: R&A, 20 (2): 83 (2012)On a Generalised Logicality Theorem., , und . AISC, Volume 2385 von Lecture Notes in Computer Science, Seite 51-63. Springer, (2002)Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique., , , und . JIAF, Seite 80-90. (2023)Emergent Properties in Reactive Systems., , und . APSEC, Seite 273-280. IEEE Computer Society, (2008)Property Preservation along Embedding of Biological Regulatory Networks., , , und . AB, Volume 5147 von Lecture Notes in Computer Science, Seite 125-138. Springer, (2008)Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning., und . CoRR, (2017)Label Algebras and Exception Handling., , und . Sci. Comput. Program., 23 (2-3): 227-286 (1994)Symbolic Execution Techniques Extended to Systems., , , und . ICSEA, Seite 78-85. IEEE Computer Society, (2009)Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces., , und . ICALP, Volume 198 von LIPIcs, Seite 132:1-132:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement.. J. Log. Comput., 14 (2): 145-178 (2004)