PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Lopes, Raul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Edge-Disjoint Branchings in Temporal Digraphs.

, , , und . Electron. J. Comb., (2021)

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.

Raul-Ghedeon Matei University of Stuttgart

Maria Valeria Torres Lopes Rauck University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Certified Derivative-Based Parsing of Regular Expressions., , und . SBLP, Volume 9889 von Lecture Notes in Computer Science, Seite 95-109. Springer, (2016)Adapting The Directed Grid Theorem into an FPT Algorithm., , , und . Electr. Notes Theor. Comput. Sci., (2019)A Proof for a Conjecture of Gorgol., und . Electron. Notes Discret. Math., (2015)Bispindles in Strongly Connected Digraphs with Large Chromatic Number., , , und . Electr. J. Comb., 25 (2): P2.39 (2018)Bispindle in strongly connected digraphs with large chromatic number., , , und . Electron. Notes Discret. Math., (2017)Edge-Disjoint Branchings in Temporal Digraphs., , , und . Electron. J. Comb., (2021)Automatic Generation of Proof Search Strategies for Second-order Logic.. CADE, Volume 1632 von Lecture Notes in Computer Science, Seite 414-428. Springer, (1999)Kolmogorov-Smirnov Test.. International Encyclopedia of Statistical Science, Springer, (2011)Inducing Theorem Provers from Proofs., und . ICTAI, Seite 157-164. IEEE Computer Society, (1997)Vulnerability Assessment by Learning Attack Specifications in Graphs., und . IAS, Seite 161-164. IEEE Computer Society, (2007)