( en | de | ru )

 

Disambiguation of "Völker, Marcus"

Author of the publication

copydeleteadd this publication to your clipboard
Logic Programming for Cellular Automata.

, and . ICLP (Technical Communications), volume 1433 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Volker Marcus Hackel

Marcus Simon

Erstellung und Validierung eines Fragebogens für die Patientenbeurteilung der perioperativen Phase, PPP-Fragebogen. Uni Marburg, (2009)

Marcus Wenzelides

Entwicklung einer Methode zur Erfassung des Potenzials und des Verbrauchs von Dendromasse am Beispiel des Bundeslandes Nordrhein-Westfalen. Uni Münster, (2009)

Marcus Kreutz

Soziale Dienstleistungen durch gemeinnützige Einrichtungen der freien Wohlfahrtspflege als Förderung der Kultur und Erhaltung des kulturellen Erbes nach dem Vertrag zur Gründung der Europäischen Gemeinschaft. Uni Bochum, (2009)

Marcus Kluck

Ersatzbrennstoffe aus gewerblichen Abfällen: Entwicklung eines Entscheidungsmodells für die kleine bis mittelständische Entsorgungswirtschaft. TU Berlin, (2009)
 

Other publications of authors with the same name

Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern., , , , and . Autom., 71 (1): 56-68 (2023)Beispielmodellierung eines Güterverkehrszentrums im ProC/B-Paradigma, and . Technical Report / Sonderforschungsbereich 559 Modellierung großer Netze in der Logistik, Universität Dortmund SFB 559, Dortmund, (2003)Policy iteration for value set analysis of PLC programs.. RWTH Aachen University, Germany, (2023)Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review., , , , and . ETFA, page 1-8. IEEE, (2023)Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model., , , , and . IEEE Access, (2022)GRAFCET Reduction Techniques for Model Checking., , , , and . INDIN, page 1-6. IEEE, (2023)Automatic Test Suite Generation for PLC Software in the Internet of Production., , and . ETFA, page 1-8. IEEE, (2022)Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production., , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 137-154. Springer, (2022)Verification of Behavior Trees using Linear Constrained Horn Clauses., , , , , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 211-225. Springer, (2022)Entwicklung von Simulationsmodellen für die Analyse von Supply Chain-Strategien und -Strukturen im ProC/B-Paradigma, and . Technical Report / Sonderforschungsbereich 559 Modellierung großer Netze in der Logistik, Universität Dortmund SFB 559, Dortmund, (2003)