Publications

Export 663 results:
Sort by: Author [ Title (Asc)] 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
[ICSilv87] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
[RP-87-04] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. :435-460.
[1521] Tolosana-Calasanz, R, Bañares JA, Colom JM.  2014.  Towards Petri net-based Economical Analysis for Streaming Applications executed over Cloud infrastructures. 11th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2014).
[IPXuReSi06] Xu, J, Recalde L, Silva M.  2006.  Tracking control of join-free timed continuous Petri net systems.
[RP-80-08] Velilla, S, Silva M.  1980.  Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza. :664-670.
[1484] Woodside, M, Petriu DC, Merseguer J, Petriu DB, Alhaj M.  2014.  Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
[PCFB-LAT-13] Pérez, S, Campos J, Facchini H, Bisaro L.  2013.  Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.
[LutMayTPRBM] Lutz, JH, Mayordomo E.  2001.  Twelve problems in resource bounded measure. :83-101.
[LutMayTPRBMb] Lutz, JH, Mayordomo E.  1999.  Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
[RZS-04] Rodríguez, D, Zimmermann A, Silva M.  2004.  Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. :1686-1692.
[Mayo06] Mayordomo, E.  2006.  Two open problems on effective dimension. 3988:353–359.
[ZRS-JIM-01] Zimmermann, A, Rodríguez D, Silva M.  2001.  A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
[ZRS-Wod00] Zimmermann, A, Rodríguez D, Silva M.  2000.  A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.
U
[BMP-RR-08] Bernardi, S, Merseguer J, Petriu D.  2008.  An UML profile for dependability analysis and modeling of software systems. :47.
[BM-WOSP-07] Bernardi, S, Merseguer J.  2007.  A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
[BBCM-09] Berardinelli, L, Bernardi S, Cortellessa V, Merseguer J.  2009.  UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
[RP-83-07] Pardos, P, Silva M.  1983.  Un plan de prácticas de sistemas de control muestreados. :279-295.
[RP-80-06] Silva, M.  1980.  Un plan de prácticas. Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :117-134.
[RMBP-98] Romero, J, Merseguer J, Barberá, Pastor O.  1998.  Una Herramienta de Generación Automática de Software. :157-169.
[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.
[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.
[IPSiRe03b] Silva, M, Recalde L.  2003.  Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
[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.
[1520] Tricas, F, Colom JM, Merelo JJ.  2014.  Using the incidence matrix in an evolutionary algorithm for Computing minimal siphons in Petri net models. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
V
[1336] Colom, JM.  2001.  Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.