dblp.uni-trier.dewww.uni-trier.de

Manuel Silva

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
65EEC. Renato Vázquez, Antonio Ramírez, Laura Recalde, Manuel Silva: On Controllability of Timed Continuous Petri Nets. HSCC 2008: 528-541
64EEJing Xu, Laura Recalde, Manuel Silva: Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics. Discrete Event Dynamic Systems 18(2): 263-283 (2008)
63EEJui-Yi Kao, Narad Rampersad, Jeffrey Shallit, Manuel Silva: Words avoiding repetitions in arithmetic progressions. Theor. Comput. Sci. 391(1-2): 126-137 (2008)
2007
62EELaura Recalde, Serge Haddad, Manuel Silva: Continuous Petri Nets: Expressive Power and Decidability Issues. ATVA 2007: 362-377
61EECarla Pereira, Manuel Silva, Joana Fernandes, António Lucas Soares: Understanding Users' Response To Ontology Based Systems In The Context Of An Enterprise Sponsored Virtual Community. Virtual Enterprises and Collaborative Networks 2007: 371-380
2006
60EESerge Haddad, Laura Recalde, Manuel Silva: On the Computational Power of Timed Differentiable Petri Nets. FORMATS 2006: 230-244
59EEAntónio Lucas Soares, Dora Simões, Manuel Silva, Ricardo Madureira: Developing Enterprise Sponsored Virtual Communities: The Case of a SME's Knowledge Community. OTM Workshops (1) 2006: 269-278
2005
58EEManuel Silva, Laura Recalde: Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. ICATPN 2005: 26-47
57EEJorge Júlvez, Laura Recalde, Manuel Silva: Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica 41(4): 605-616 (2005)
56EECésar Hervás-Martínez, Alfonso Carlos Martínez, Manuel Silva, Juan Manuel Serrano: Improving the Quantification of Highly Overlapping Chromatographic Peaks by Using Product Unit Neural Networks Modeled by an Evolutionary Algorithm. Journal of Chemical Information and Modeling 45(4): 894-903 (2005)
55EESerge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva: Product-form and stochastic Petri nets: a structural approach. Perform. Eval. 59: 313-336 (2005)
2004
54EEJorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva: On Observability in Timed Continuous Petri Net Systems. QEST 2004: 60-69
53EEJorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva: Design of observers for timed continuous Petri net systems. SMC (2) 2004: 1678-1685
52EEDiego Rodriguez, Armin Zimmermann, Manuel Silva: Two heuristics for the improvement of a two-phase optimization method for manufacturing systems. SMC (2) 2004: 1686-1692
51EEEmilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva: Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets. SMC (5) 2004: 4897-4904
50EECésar Hervás-Martínez, Manuel Silva, Juan Manuel Serrano, Eva Orejuela: Heuristic Extraction of Rules in Pruned Artificial Neural Networks Models Used for Quantifying Highly Overlapping Chromatographic Peaks. Journal of Chemical Information and Modeling 44(5): 1576-1584 (2004)
2003
49EEJorge Júlvez, Laura Recalde, Manuel Silva: On Reachability in Autonomous Continuous Petri Net Systems. ICATPN 2003: 221-240
48EELaura Recalde, Manuel Silva, Joaquin Ezpeleta, Enrique Teruel: Petri Nets and Manufacturing Systems: An Examples-Driven Tour. Lectures on Concurrency and Petri Nets 2003: 742-788
47EEManuel Silva, Laura Recalde: Unforced Continuous Petri Nets and Positive Systems. POSTA 2003: 55-62
2002
46 Manuel Silva, Laura Recalde: Petri nets and integrality relaxations: A view of continuous Petri net models. IEEE Transactions on Systems, Man, and Cybernetics, Part C 32(4): 314-327 (2002)
2001
45EECésar Hervás-Martínez, José Antonio Martinez Heras, Sebastián Ventura, Manuel Silva: A two steps method: non linear regression and pruning neural network for analyzing multicomponent mixtures. ESANN 2001: 347-352
44EESerge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva: Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. ICATPN 2001: 164-183
43EECésar Hervás, Rocío Toledo, Manuel Silva: Use of Pruned Computational Neural Networks for Processing the Response of Oscillating Chemical Reactions with a View to Analyzing Nonlinear Multicomponent Mixtures. Journal of Chemical Information and Computer Sciences 41(4): 1083-1092 (2001)
42EELaura Recalde, Enrique Teruel, Manuel Silva: Structure theory of multi-level deterministically synchronized sequential processes. Theor. Comput. Sci. 254(1-2): 1-33 (2001)
2000
41EECésar Hervás, José Antonio Algar, Manuel Silva: Correction of Temperature Variations in Kinetic-Based Determinations by Use of Pruning Computational Neural Networks in Conjunction with Genetic Algorithms. Journal of Chemical Information and Computer Sciences 40(3): 724-731 (2000)
1999
40EELaura Recalde, Enrique Teruel, Manuel Silva: Autonomous Continuous P/T Systems. ICATPN 1999: 107-126
39EEJavier Campos, Susanna Donatelli, Manuel Silva: Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Trans. Software Eng. 25(2): 147-165 (1999)
1998
38 Jörg Desel, Manuel Silva: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings Springer 1998
37EECésar Hervás, Sebastián Ventura, Manuel Silva, Dolores Pérez-Bendito: Computational Neural Networks for Resolving Nonlinear Multicomponent Systems Based on Chemiluminescence Methods. Journal of Chemical Information and Computer Sciences 38(6): 1119-1124 (1998)
36EELaura Recalde, Enrique Teruel, Manuel Silva: On Linear Algebraic Techniques for Liveness Analysis of P/T Systems. Journal of Circuits, Systems, and Computers 8(1): 223-265 (1998)
1997
35EESebastián Ventura, Manuel Silva, Dolores Pérez-Bendito, César Hervás: Computational Neural Networks in Conjunction with Principal Component Analysis for Resolving Highly Nonlinear Kinetics. Journal of Chemical Information and Computer Sciences 37(2): 287-291 (1997)
34EESebastián Ventura, Manuel Silva, Dolores Pérez-Bendito, César Hervás: Estimation of Parameters of Kinetic Compartmental Models by Use of Computational Neural Networks. Journal of Chemical Information and Computer Sciences 37(3): 517-521 (1997)
1996
33 Laura Recalde, Enrique Teruel, Manuel Silva: {SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. Application and Theory of Petri Nets 1996: 440-459
32 Manuel Silva, Enrique Teruel, José Manuel Colom: Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. Petri Nets 1996: 309-373
31 Manuel Silva, Enrique Teruel, Robert Valette, Hervé Pingaud: Petri Nets and Production Systems. Petri Nets (2) 1996: 85-124
30EEEnrique Teruel, Manuel Silva: Structure Theory of Equal Conflict Systems. Theor. Comput. Sci. 153(1&2): 271-300 (1996)
1995
29 Morikazu Nakamura, Kenji Onaga, Seiki Kyan, Manuel Silva: A Genetic Algorithm for Sex-Fair Stable Marriage Problem. ISCAS 1995: 509-512
1994
28 Enrique Teruel, Manuel Silva: Well-Formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994: 491-510
27EEJavier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva: Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Trans. Software Eng. 20(7): 526-535 (1994)
1993
26 Manuel Silva: Interleaving Functional and Performance Structural Analysis of Net Models. Application and Theory of Petri Nets 1993: 17-23
25 Enrique Teruel, Manuel Silva: Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993: 415-432
24 Enrique Teruel, José Manuel Colom, Manuel Silva: Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems 1993: 213-224
23 Antonio Ramírez, Javier Campos, Manuel Silva: On Optimal Scheduling in DEDS. ICRA (3) 1993: 821-826
22 Javier Campos, Manuel Silva: Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Perform. Eval. 18(1): 3-19 (1993)
1992
21 Javier Campos, Manuel Silva: Structural techniques and performance bounds of stochastic Petri net models. Advances in Petri Nets: The DEMON Project 1992: 352-391
20 Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva: On Weighted T-Systems. Application and Theory of Petri Nets 1992: 348-367
19 Manuel Silva, Tadao Murata: B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. J. Comput. Syst. Sci. 44(3): 447-477 (1992)
18 Hauke Jungnitz, Beatriz Sánchez, Manuel Silva: Approximate Throughput Computation of Stohastic Marked Graphs. J. Parallel Distrib. Comput. 15(3): 281-295 (1992)
17 Javier Esparza, Manuel Silva: A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. Theor. Comput. Sci. 102(1): 185-205 (1992)
1991
16 Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva: A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. Applications and Theory of Petri Nets 1991: 126-147
15 Javier Esparza, Manuel Silva: Compositional Synthesis of Live and Bounded Free Choice Petri Nets. CONCUR 1991: 172-187
14 Kenji Onaga, Manuel Silva, Toshimasa Watanabe: On Periodic Schedules for Deterministically Timed Petri Net Systems. PNPM 1991: 210-215
13 Javier Campos, Manuel Silva: Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks. PNPM 1991: 312-321
12 Javier Campos, Beatriz Sánchez, Manuel Silva: Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques. PNPM 1991: 322-331
11EEJavier Campos, Giovanni Chiola, Manuel Silva: Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Trans. Software Eng. 17(2): 117-125 (1991)
1990
10 Javier Esparza, Manuel Silva: Top-down synthesis of live and bounded free choice nets. Applications and Theory of Petri Nets 1990: 118-139
1989
9 José Manuel Colom, Manuel Silva: Improving the linearly based characterization of P/T nets. Applications and Theory of Petri Nets 1989: 113-145
8 Javier Esparza, Manuel Silva: Circuits, handles, bridges and nets. Applications and Theory of Petri Nets 1989: 210-242
7 Javier Esparza, Manuel Silva: On the analysis and synthesis of free choice systems. Applications and Theory of Petri Nets 1989: 243-286
6 José Manuel Colom, Manuel Silva: Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. Applications and Theory of Petri Nets 1989: 79-112
5 Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva: Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. PNPM 1989: 200-209
4 Javier Campos, Giovanni Chiola, Manuel Silva: Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. PNPM 1989: 210-220
1988
3 Manuel Silva, Robert Valette: Petri nets and flexible manufacturing. European Workshop on Applications and Theory in Petri Nets 1988: 374-417
1987
2 Manuel Silva, José Manuel Colom: On the Computation of Structural Synchronic Invariants in P/T Nets. European Workshop on Applications and Theory of Petri Nets 1987: 386-417
1981
1 J. Martinez, Manuel Silva: A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 301-310

Coauthor Index

1José Antonio Algar [41]
2Javier Campos [4] [5] [11] [12] [13] [21] [22] [23] [27] [39]
3Giovanni Chiola [4] [5] [11]
4Piotr Chrzastowski-Wachtel [20]
5José Manuel Colom [2] [5] [6] [9] [20] [24] [27] [32]
6Jean-Michel Couvreur [16]
7Jörg Desel [38]
8Susanna Donatelli [39]
9Javier Esparza [7] [8] [10] [15] [17]
10Joaquin Ezpeleta [16] [48]
11Joana Fernandes [61]
12Serge Haddad [44] [55] [60] [62]
13José Antonio Martinez Heras [45]
14César Hervás-Martínez (César Hervás) [34] [35] [37] [41] [43] [45] [50] [56]
15Emilio Jiménez [51] [53] [54]
16Jorge Júlvez [49] [51] [53] [54] [57]
17Hauke Jungnitz [18] [27]
18Jui-Yi Kao [63]
19Seiki Kyan [29]
20Ricardo Madureira [59]
21Alfonso Carlos Martínez [56]
22J. Martinez [1]
23Patrice Moreaux [44] [55]
24Tadao Murata [19]
25Morikazu Nakamura [29]
26Kenji Onaga [14] [29]
27Eva Orejuela [50]
28Carla Pereira [61]
29Dolores Pérez-Bendito [34] [35] [37]
30Hervé Pingaud [31]
31Antonio Ramírez [23] [65]
32Narad Rampersad [63]
33Laura Recalde [33] [36] [40] [42] [46] [47] [48] [49] [51] [53] [54] [57] [58] [60] [62] [64] [65]
34Diego Rodriguez [52]
35Beatriz Sánchez [12] [18]
36Matteo Sereno [44] [55]
37Juan Manuel Serrano [50] [56]
38Jeffrey Shallit [63]
39Dora Simões [59]
40António Lucas Soares [59] [61]
41Enrique Teruel [20] [24] [25] [28] [30] [31] [32] [33] [36] [40] [42] [48]
42Rocío Toledo [43]
43Robert Valette [3] [31]
44C. Renato Vázquez [65]
45Sebastián Ventura [34] [35] [37] [45]
46Toshimasa Watanabe [14]
47Jing Xu [64]
48Armin Zimmermann [52]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)