( en | de | ru )

 

Disambiguierung von "Felli, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Conformance Checking with Uncertainty via SMT.

, , , , und . BPM, Volume 13420 von Lecture Notes in Computer Science, Seite 199-216. Springer, (2022)

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.

Laetitia Fellini

Learning and memory processes in mice: a behavioral, molecular and pharmacological study in wild-type and transgenic animals. Uni Bremen, (2009)

Giordano Paolo

Alfred Fellig

Josef Felling

Karin Fellinger

 

Weitere Publikationen von Autoren mit dem selben Namen

Two-Player Game Structures for Generalized Planning and Agent Composition., , , und . AAAI, Seite 297-302. AAAI Press, (2010)Synthesising Industry-Standard Manufacturing Process Controllers., , , , , und . AAMAS, Seite 1811-1813. ACM, (2017)Soundness of Data-Aware Processes with Arithmetic Conditions., , und . CAiSE, Volume 13295 von Lecture Notes in Computer Science, Seite 389-406. Springer, (2022)Unbounded Orchestrations of Transducers for Manufacturing., , , , , und . AAAI, Seite 2646-2653. AAAI Press, (2019)Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)., , , , und . IJCAI, Seite 5722-5726. ijcai.org, (2022)Towards Team Formation via Automated Planning., , , , , und . COIN@AAMAS/IJCAI, Volume 9628 von Lecture Notes in Computer Science, Seite 282-299. Springer, (2015)A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems., , und . PRIMA, Volume 12568 von Lecture Notes in Computer Science, Seite 259-280. Springer, (2020)Computing Social Behaviours Using Agent Models., , , , und . IJCAI, Seite 2978-2984. AAAI Press, (2015)Supervisory Control for Behavior Composition., , und . IEEE Trans. Automat. Contr., 62 (2): 986-991 (2017)Process Plan Controllers for Non-Deterministic Manufacturing Systems., , , und . IJCAI, Seite 1023-1030. ijcai.org, (2017)