( en | de | ru )

 

Disambiguation of "Pastor, Enric"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis of Speed-Independent Circuits from STG-Unfolding Segment.

, , , , and . DAC, page 16-21. ACM Press, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Enric Novella

Herbert Pastor

Barbara Pastor

G Pastor

Walter Pastor

 

Other publications of authors with the same name

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