( en | de | ru )

 

Disambiguierung von "Campos, Sérgio Vale Aguiar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking Semi-Continuous Time Models Using BDDs.

, , , , und . SMC@FLoC, Volume 23 von Electronic Notes in Theoretical Computer Science, Seite 75-87. Elsevier, (1999)

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.

Sérgio Campos

Sérgio Clementi

Sérgio Costa

Sérgio Mata

Sérgio Daher

 

Weitere Publikationen von Autoren mit dem selben Namen

Characterizing SopCast client behavior., , , , , und . Comput. Commun., 35 (8): 1004-1016 (2012)Extending UML to Specify and Verify E-commerce Systems., , , , , und . SEKE, Seite 306-313. (2003)A behaviour model of the SopCast users., , , , und . WebMedia, Seite 24. ACM, (2009)Content pollution on P2P Live Streaming systems., , und . WebMedia, Seite 50. ACM, (2009)The Verus language: representing time efficiently with BDDs., und . Theor. Comput. Sci., 253 (1): 95-118 (2001)NASirt: AutoML based learning with instance-level complexity information., , und . CoRR, (2020)On the utilization of deep and ensemble learning to detect milk adulteration., , , , , und . BioData Min., 12 (1): 13:1-13:13 (2019)Model Checking Semi-Continuous Time Models Using BDDs., , , , und . SMC@FLoC, Volume 23 von Electronic Notes in Theoretical Computer Science, Seite 75-87. Elsevier, (1999)Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems., , , und . Workshop on Languages, Compilers, & Tools for Real-Time Systems, Seite 70-78. ACM, (1995)Resource-constrained P2P streaming overlay construction for efficient joining under flash crowds., , , , und . ISCC, Seite 639-644. IEEE Computer Society, (2017)