( en | de | ru )

 

Disambiguierung von "Pastor, Enric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Structural Methods to Improve the Symbolic Analysis of Petri Nets.

, , und . ICATPN, Volume 1639 von Lecture Notes in Computer Science, Seite 26-45. Springer, (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.

Enric Novella

Herbert Pastor

Barbara Pastor

G Pastor

Walter Pastor

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis of Speed-Independent Circuits from STG-Unfolding Segment., , , , und . DAC, Seite 16-21. ACM Press, (1997)Symbolic Analysis of Bounded Petri Nets., , und . IEEE Trans. Computers, 50 (5): 432-448 (2001)A structural encoding technique for the synthesis of asynchronous circuits., , und . Fundam. Informaticae, 50 (2): 135-154 (2002)Counter a Drone in a Complex Neighborhood Area by Deep Reinforcement Learning., , und . Sensors, 20 (8): 2320 (2020)A taxonomy of UAS separation maneuvers and their automated execution., , , , und . ATACCS, Seite 1-11. IRIT Press Toulouse, France / ACM DL, (2012)Hierarchical gate-level verification of speed-independent circuits., , und . ASYNC, Seite 128-137. IEEE Computer Society, (1995)A new look at the conditions for the synthesis of speed-independent circuits., , und . Great Lakes Symposium on VLSI, Seite 230-. IEEE Computer Society, (1995)A Case Study for the Verification of Complex Timed Circuits: IPCMOS., , , und . DATE, Seite 44-51. IEEE Computer Society, (2002)Efficient Encoding Schemes for Symbolic Analysis of Petri Nets., und . DATE, Seite 790-795. IEEE Computer Society, (1998)Autopilot Abstraction and Standardization for Seamless Integration of Unmanned Aircraft System Applications., , , , , , und . J. Aerosp. Comput. Inf. Commun., 8 (7): 197-223 (2011)