( en | de | ru )

 

Disambiguierung von "Villemaire, Roger"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Configuration Logic: A Multi-site Modal Logic.

, , und . TIME, Seite 131-137. IEEE Computer Society, (2005)

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.

Roger Villemaire

Sebastian Roger

Susanne Rogers

Gerhard Roger

Christoph Röger

 

Weitere Publikationen von Autoren mit dem selben Namen

Reasoning about visibility., und . J. Appl. Log., 10 (2): 163-178 (2012)ValidMaker: A tool for managing device configurations using logical constraints., , , , , und . NOMS, Seite 1111-1118. IEEE, (2012)When Different Is Wrong: Visual Unsupervised Validation for Web Information Extraction., und . MLDM (2), Volume 10935 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2018)Self-configuration of Network Devices with Configuration Logic., , , und . Autonomic Networking, Volume 4195 von Lecture Notes in Computer Science, Seite 36-49. Springer, (2006)Undercover Boolean Matrix Factorization with MaxSAT., und . AAAI, Seite 3672-3681. AAAI Press, (2022)Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep., und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 648-653. Springer, (2009)Flexible and reliable messaging using runtime monitoring., und . EDOCW, Seite 116-125. IEEE Computer Society, (2009)Runtime Monitoring of Message-Based Workflows with Data., und . EDOC, Seite 63-72. IEEE Computer Society, (2008)Big Players: Emotion in Twitter Communities Tweeting About Global Warming., , und . Canadian AI, Volume 12109 von Lecture Notes in Computer Science, Seite 189-200. Springer, (2020)The Theory of (N, +, Vk, V1) is Undecidable.. Theor. Comput. Sci., 106 (2): 337-349 (1992)