Publications
] Filters: First Letter Of Title is P [Clear All Filters]
[Campos-thesis-90] .
1990. Performance Bounds for Synchronized Queueing Networks.
[SPE-WS] .
2005. Performance Analysis of Web Applications.
[C-RR-00-00] .
2000. Petri Nets.
[1298] .
2004. P vs NP. Monografías de la Real Academia de Ciencias de Zaragoza. 26:57-68.
[1509] .
2014. Performance Assessment of an Architecture with Adaptative Interfaces for People with Special Needs. Empirical Software Engineering. 19(6):52.
[1527] .
2014. Performance Evaluation of Dynamic Binary Instrumentation Frameworks. IEEE Latin America. 12(8):9.
[PM-PASM09] .
2010. Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. ENTCS. 261:181-201.
[BM-JSS-07] .
2007. Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
[1406] .
2010. Performance Evaluation of Web Services Orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications. 2(6):18.
[1457] .
2014. A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications. 24(4)
[1071] .
1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2):173-184.
[1323] .
2012. A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. Transactions on Petri Nets and Other Models of Concurrency. V
[ARSiRe02] .
2002. Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.
[1057] .
1993. Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):1-11.
[ARReSi00] .
2001. Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.
[1292] .
2011. Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.
[RP-92-31] .
1992. A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.
[ARMoHaSeSi05] .
2005. Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
[CCS-TAC-91] .
1991. Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.
[258] .
1992. Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.
[1412] .
2012. PHYSER: An Algorithm to Detect Sequencing Errors from Phylogenetic Information. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[ETFA09] .
2009. Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation.
[1488] .
2013. Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes (NiM-ALP 2013). 1074:1-40.
