PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Konev, Boris"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scalable distributed collaborative tracking and mapping with Micro Aerial Vehicles.

, , und . IROS, Seite 3092-3097. IEEE, (2015)

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.

Boris Blagojevic University of Stuttgart

Univ. -Prof. Dr. phil. Boris Gehlen University of Stuttgart

Prof. (Ruhestand) Boris Podreka University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Special issue on practical aspects of automated reasoning., , und . AI Commun., 23 (2-3): 67-68 (2010)Exact Learning of Lightweight Description Logic Ontologies., , , und . CoRR, (2017)Temporal Verification of Fault-Tolerant Protocols., , und . Methods, Models and Tools for Fault Tolerance, Volume 5454 von Lecture Notes in Computer Science, Springer, (2009)Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database., , und . ICISSP, Seite 606-614. SciTePress, (2019)Module Extraction for Acyclic Ontologies., , und . WoMO, Volume 1081 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)Collaborating Low Cost Micro Aerial Vehicles: A Demonstration., , und . TAROS, Volume 9287 von Lecture Notes in Computer Science, Seite 296-302. Springer, (2015)A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic., , und . TABLEAUX, Volume 2381 von Lecture Notes in Computer Science, Seite 85-99. Springer, (2002)A SAT Attack on the Erdős Discrepancy Conjecture., und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 219-226. Springer, (2014)Conservative Rewritability of Description Logic TBoxes: First Results., , , und . Description Logics, Volume 1350 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)Practical Infinite-State Verification with Temporal Reasoning., , und . VISSAS, Volume 1 von NATO Security through Science Series D: Information and Communication Security, Seite 91-100. IOS Press, (2005)