Publications

Export 663 results:
Sort by: Author Title Type [ Year (Desc)]
2006
[CM-LNCS-06] Campos, J, Merseguer J.  2006.  On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
0 icon
CM-LNCS-06.pdf
[IPHaReSi06] Haddad, S, Recalde L, Silva M.  2006.  On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
0 icon
TRHaReSi06.pdf
[IPXuReSi06] Xu, J, Recalde L, Silva M.  2006.  Tracking control of join-free timed continuous Petri net systems.
[GMM06] Gómez-Martínez, E, Merseguer J.  2006.  ArgoSPE: Model-based software performance engineering. 4024:401-410.
0 icon
40240401.pdf
[SDIS] López-Valdés, M.  2006.  Scaled dimension of invidual strings.
0 icon
SDIS.pdf
[LSD] López-Valdés, M.  2006.  Lempel-Ziv Dimension for Lempel-Ziv compression.
0 icon
submission_172.pdf
[GuLuMa06] Gu, X, Lutz JH, Mayordomo E.  2006.  Points on computable curves. :469–474.
0 icon
pcc.pdf
[Mayo06] Mayordomo, E.  2006.  Two open problems on effective dimension. 3988:353–359.
0 icon
toped.pdf
[RoEMSS06] Rodríguez, D.  2006.  AN OPTIMIZATION METHOD FOR CONTINUOUS PETRI NET MODELS: APPLICATION TO MANUFACTURING SYSTEMS.
[ARJuReSi06] Julvez, J, Recalde L, Silva M.  2006.  Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.
[Urc06] Urcola, P.  2006.  Algoritmos de compresión para secuencias biológicas y su aplicación en árboles filogénicos construidos a partir de ADN mitocondrial.
0 icon
pfcUrcolaCorto2.pdf
[CelayaAHPCC06] Celaya, J, Arronategui U.  2006.  Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.
0 icon
celarr_hpcc06.pdf
2005
[RP05] Rodríguez, D, Piedrafita R.  2005.  Supervisión y Control de Tiempos en Sistemas: experiencia en una Célula Flexible de Fabricación. :8.
0 icon
RP05.pdf
[GMM-Tool] Gómez-Martínez, E, Merseguer J.  2005.  A Software Performance Engineering Tool based on the UML-SPT.
0 icon
PID94860.pdf
[IPMaReSi05] Mahulea, C, Recalde L, Silva M.  2005.  Optimal Observability for Continuous Petri Nets. :CDROM.
[WPPSIM-WOSP-05] Woodside, M, Petriu D, Petriu D, Shen H, Israr T, Merseguer J.  2005.  Performance by Unified Model Analysis (PUMA). :1-12.
0 icon
WPPSIM-WOSP-05.pdf
[PJCS-RR69-2005] Pérez-Jiménez, CJ, Campos J, Silva M.  2005.  Approximate Throughput Computation of Stochastic Weighted T-Systems.
[IPMaRaReSi05] Mahulea, C, Ramirez A, Recalde L, Silva M.  2005.  Steady state control, zero valued poles and token conservation laws in continuous net systems.
[SPE-WS] Gómez-Martínez, E.  2005.  Performance Analysis of Web Applications.
0 icon
WebServices.pdf
[1337] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
[1331] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. 2005 IEEE International Conference on Robotics & Automation (ICRA’05). :272-278.
[HiLuMa05] Hitchcock, JM, Lutz JH, Mayordomo E.  2005.  The fractal geometry of complexity classes. SIGACT News. 36:24-38.
0 icon
fgcc.pdf
[1325] [Anonymous].  2005.  Proceedings of the Workshop on Control of Hybrid and Discrete Event Systems.
[IPJiJuReSi05] Jimenez, E, Julvez J, Recalde L, Silva M.  2005.  On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
0 icon
distribuida.pdf
[ARJuReSi05] Julvez, J, Recalde L, Silva M.  2005.  Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
0 icon
perf_publicado.pdf