Publications

Export 101 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Title is P  [Clear All Filters]
Thesis
Report
Journal Article
[1298] Mayordomo, E.  2004.  P vs NP. Monografías de la Real Academia de Ciencias de Zaragoza. 26:57-68.
[1509] Gómez-Martínez, E, González-Cabero R, Merseguer J.  2014.  Performance Assessment of an Architecture with Adaptative Interfaces for People with Special Needs. Empirical Software Engineering. 19(6):52.
[1527] Rodríguez, RJ, Artal JA, Merseguer J.  2014.  Performance Evaluation of Dynamic Binary Instrumentation Frameworks. IEEE Latin America. 12(8):9.
[PM-PASM09] Perez-Palacin, D, Merseguer J.  2010.  Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. ENTCS. 261:181-201.
[BM-JSS-07] Bernardi, S, Merseguer J.  2007.  Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
[1406] Holanda, HJA, Merseguer J, Cordeiro G, Serra AB.  2010.  Performance Evaluation of Web Services Orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications. 2(6):18.
[1457] Kloetzer, M, Mahulea C.  2014.  A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications. 24(4)
[1071] Ezpeleta, J, Colom JM, Martínez J.  1995.  A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2):173-184.
[1323] López-Grao, JP, Colom JM.  2012.  A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. Transactions on Petri Nets and Other Models of Concurrency. V
[ARSiRe02] Silva, M, Recalde L.  2002.  Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.
[1057] Silva, M, Colom JM.  1993.  Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):1-11.
[ARReSi00] Recalde, L, Silva M.  2001.  Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.
[1292] Mayordomo, E, Moser P, Perifel S.  2011.  Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.
[RP-92-31] Esparza, J, Silva M.  1992.  A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.
[ARMoHaSeSi05] Moreaux, P, Haddad S, Sereno M, Silva M.  2005.  Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
[CCS-TAC-91] Campos, J, Chiola G, Silva M.  1991.  Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.
[258] Campos, J, Chiola G, Colom JM, Silva M.  1992.  Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.
Conference Proceedings