Publications

Export 663 results:
Sort by: Author [ Title (Desc)] 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
[278] Campos, J, Chiola G, Colom JM, Silva M.  1989.  Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. Third IEEE International Workshop on Petri Nets and Performance Models (PNPM'89). :200-209.
[RP-96-12] Mertsiotakis, V, Silva M.  1996.  A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
[CS-Melbourne-91] Campos, J, Silva M.  1991.  Throughput Upper Bounds for Markovian Petri Nets Embedded Subnets and Queueing Networks. :312-321.
[PFMBC-JCST-13] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
[CSS-Melbourne-91] Campos, J, Sánchez B, Silva M.  1991.  Throughput Lower Bounds for Markovian Petri Nets Transformation Techniques. :322-331.
[RP-97-06] Mertsiotakis, V, Silva M.  1997.  Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.
[RP-86-06] Montano, L, Pardos P.  1986.  Terminal controllers for robots: Shooting and optimal control. :384-389.
[1320] Blanco, R, de Miguel G, Requeno JI, Colom JM.  2010.  Temporal Logics for Phylogenetic Analysis via Model Checking. Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10). :152-157.
[1475] Requeno, JI, de Miguel G, Blanco R, Colom JM.  2013.  Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
[charlie-Phd] Pérez-Jiménez, CJ.  2002.  Tecnicas de aproximacion de throughput en redes de Petri estocasticas.
[BLV07] Bernues, J, López-Valdés M.  2007.  Tail estimates and a random embedding of l^p_n to l_r^{(1+ε)n}, 0<r<p<2.. Publ. Math. Debrecen. 70
[1396] Pont, SMT, Chamizo GJM, Mora MH, de Casado MG.  2007.  Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
[1399] Signes-Pont, MT, de-Miguel-Casado G, García-Chamizo JM, Mora-Mora H.  2007.  Table-based Recursive Method for Function Evaluation. Numerical Analysis and Applied Mathematics 2007.
[1393] Signes-Pont, MT, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2009.  Table-based Method for Reconfigurable Function Evaluation. 23rd IEEE International Symposium on Parallel and Distributed Processing (IPDPS) 2009.
S
[IPSiTe96b] Silva, M, Teruel E.  1996.  A Systems Theory Perspective of Discrete Event Dynamic Systems The Petri Net Paradigm. Symposium on Discrete Events and Manufacturing Systems. CESA 96 IMACS Multiconference. :1-12.
[RP-93-07] Ezpeleta, J, Martínez J.  1993.  Synthesis of live models for a class of FMS. :557-563.
[1061] Ezpeleta, J, Martínez J, Colom JM.  1993.  Synthesis of Live High Level Models for a Class of FMS. 1993, IEEE International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC'93). 1:589-594.
[1329] Carmona, J, Colom JM, Cortadella J, García-Vallés F.  2006.  Synthesis of Asynchronous Controllers using Integer Linear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(9):1637-1651.
[RP-79-01] Silva, M, David R.  1979.  Synthèse programmée des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateurs. Rairo-Automatique. 13:369-393.
[1495] Meyer, A-L, Silva M.  2012.  Symmetry Reductions in Timed Continuous Petri Nets under Infinite Server Semantic. 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’12), . :153-159.
[RP-81-02] Silva, M.  1981.  A survey of Petri net related teaching and research in Spain. Newsletter on Petri Nets and Related Systems Models. :5-13.
[RP-81-01] Silva, M.  1981.  Sur le concept de macroplace et son utilisation pour lanalyse des réseaux de Petri. RAIRO- Automatique. 15:57-67.
[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.
[CDS-StMalo-97] Campos, J, Donatelli S, Silva M.  1997.  Structured Solution of Stochastic DSSP Systems. :91-100.
[CDS-TSE-99] Campos, J, Donatelli S, Silva M.  1999.  Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.