( en | de | ru )

 

Disambiguierung von "Cruz, Flávio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A scalable file based data store for forensic analysis.

, , und . Digit. Investig., (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.

Flávio Justino

Flávio Siebeneichler

Flávio Justino

Flávio Justino

Flávio Ceci

 

Weitere Publikationen von Autoren mit dem selben Namen

Single Time-Stamped Tries for Retroactive Call Subsumption, und . CoRR, (2011)Linear Logic and Coordination for Parallel Programming. University of Porto, Portugal, (2015)Declarative coordination of graph-based parallel programs., , und . PPoPP, Seite 4:1-4:12. ACM, (2016)Retroactive Subsumption-Based Tabled Evaluation of Logic Programs., und . JELIA, Volume 6341 von Lecture Notes in Computer Science, Seite 130-142. Springer, (2010)Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs., und . Theory Pract. Log. Program., 11 (4-5): 697-712 (2011)Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs., , und . PPDP, Seite 43-54. ACM, (2014)A scalable file based data store for forensic analysis., , und . Digit. Investig., (2015)A Linear Logic Programming Language for Concurrent Programming over Graph Structures., , , und . Theory Pract. Log. Program., 14 (4-5): 493-507 (2014)Thread-Aware Logic Programming for Data-Driven Parallel Programs., , und . ICLP (Technical Communications), Volume 1433 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities., und . PADL, Volume 9131 von Lecture Notes in Computer Science, Seite 34-49. Springer, (2015)