Publications

Export 653 results:
Sort by: [ Author (Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
[TricasEzpeleta97] Tricas, F, Ezpeleta J.  2000.  A Partial Approach to the Problem of Deadlocks in Processes with Resour ces. :135-150.
M
[RP-90-04] Martínez, J, Ezpeleta J.  1990.  The lift example.
[RP-90-05] Martínez, J, Ezpeleta J.  1990.  Flexible manufacturing system.
E
[RP-91-03] Ezpeleta, J, Villarroel JL.  1991.  Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
[RP-91-10] Ezpeleta, J, Martínez J.  1991.  Petri Nets as a specification language for manufacturing systems.
[RP-91-34] Ezpeleta, J, Couvreur JM.  1991.  A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. :145-164.
[RP-92-09] Ezpeleta, J, Martínez J.  1992.  Formal specification and validation in production plants. :64-73.
[RP-92-33] Ezpeleta, J, Martínez J.  1992.  Petri Nets as a specification language for manufacturing systems. :427-436.
[RP-92-34] Ezpeleta, J, Villarroel JL.  1992.  A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
[RP-93-07] Ezpeleta, J, Martínez J.  1993.  Synthesis of live models for a class of FMS. :557-563.
[RP-93-21] Ezpeleta, J, Haddad S.  1993.  A distributed algorithm for ressource management. :15-26.
[RP-93-38] Ezpeleta, J, Haddad S.  1993.  A distributed algorithm for resource management. :61-72.
T
[TE-2] Tricas, F, Ezpeleta J.  1999.  A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources. :1047-1098.
M
[MoEz-03] Moldt, D, Ezpeleta J.  2003.  A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. :586-595.
E
[EzVa-03] Ezpeleta, J, Valk R.  2003.  A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
[EzGP-03] Ezpeleta, J, Gascón P, Porta N.  2003.  COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
[EzNB-01] Ezpeleta, J, Novoa R, Barea MA.  2001.  Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.
C
[CZEI-98] Comella, S, Zarazaga J, Ezpeleta J, Infante D, López R, Muro P.  1998.  Una visión de las posibilidades del estándar OpenGIS para la interoperabilidad de aplicaciones GIS sobre CORBA. :35-40.
F
[1441] F, F, B L\"owe, E M.  2012.  CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3)
D
[1395] de-Miguel-Casado, G, García-Chamizo JM.  2008.  A Software Library for Reliable Online-Arithmetic with Rational Numbers. Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures.
P
[1398] Pont, MT S, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2007.  Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
D
[1403] de-Miguel-Casado, G, García-Chamizo JM.  2006.  The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. Computability in Europe 2006.
G
[IPGiJuSe03] Giua, A, Julvez J, Seatzu C.  2003.  Marking Estimation of Petri Nets based on Partial Observation. :-.
0 icon
ACC2003.pdf
M
[IPMaCaGiSe07] Mahulea, C, Cabasino MP, Giua A, Seatzu C.  2007.  A State Estimation Problem for Timed Continuous Petri Nets. :1770-1775.
C
[IPCoGiSeJu03] Corona, D, Giua A, Seatzu C, Julvez J.  2003.  Observers for nondeterministic l-free labeled Petri nets.
0 icon
etfa2003.pdf