| * | 2008 |
|---|
| 70 | EE | Marius Kloetzer,
Cristian Mahulea,
Calin Belta,
Laura Recalde,
Manuel Silva:
Formal analysis of timed continuous Petri nets.
CDC 2008: 245-250 |
| 69 | EE | Carlos Renato Vázquez,
Laura Recalde,
Manuel Silva:
Stochastic continuous-state approximation of Markovian Petri net systems.
CDC 2008: 901-906 |
| 68 | EE | Carlos Renato Vázquez,
Antonio Ramírez,
Laura Recalde,
Manuel Silva:
On Controllability of Timed Continuous Petri Nets.
HSCC 2008: 528-541 |
| 67 | EE | Jing 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) |
| 66 | EE | Cristian Mahulea,
Antonio Ramírez-Treviño,
Laura Recalde,
Manuel Silva:
Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems.
IEEE T. Automation Science and Engineering 5(2): 307-320 (2008) |
| 65 | EE | Jorge Júlvez,
Emilio Jiménez,
Laura Recalde,
Manuel Silva:
On Observability and Design of Observers inTimed Continuous Petri Net Systems.
IEEE T. Automation Science and Engineering 5(3): 532-537 (2008) |
| 64 | EE | Jui-Yi Kao,
Narad Rampersad,
Jeffrey Shallit,
Manuel Silva:
Words avoiding repetitions in arithmetic progressions.
Theor. Comput. Sci. 391(1-2): 126-137 (2008) |
| 2007 |
|---|
| 63 | EE | Laura Recalde,
Serge Haddad,
Manuel Silva:
Continuous Petri Nets: Expressive Power and Decidability Issues.
ATVA 2007: 362-377 |
| 62 | EE | Carla 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 |
|---|
| 61 | EE | Serge Haddad,
Laura Recalde,
Manuel Silva:
On the Computational Power of Timed Differentiable Petri Nets.
FORMATS 2006: 230-244 |
| 60 | EE | Antó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 |
|---|
| 59 | EE | Manuel Silva,
Laura Recalde:
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.
ICATPN 2005: 26-47 |
| 58 | EE | Jorge Júlvez,
Laura Recalde,
Manuel Silva:
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets.
Automatica 41(4): 605-616 (2005) |
| 57 | EE | Cé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) |
| 56 | EE | Serge Haddad,
Patrice Moreaux,
Matteo Sereno,
Manuel Silva:
Product-form and stochastic Petri nets: a structural approach.
Perform. Eval. 59: 313-336 (2005) |
| 2004 |
|---|
| 55 | EE | Jorge Júlvez,
Emilio Jiménez,
Laura Recalde,
Manuel Silva:
On Observability in Timed Continuous Petri Net Systems.
QEST 2004: 60-69 |
| 54 | EE | Jorge Júlvez,
Emilio Jiménez,
Laura Recalde,
Manuel Silva:
Design of observers for timed continuous Petri net systems.
SMC (2) 2004: 1678-1685 |
| 53 | EE | Diego Rodriguez,
Armin Zimmermann,
Manuel Silva:
Two heuristics for the improvement of a two-phase optimization method for manufacturing systems.
SMC (2) 2004: 1686-1692 |
| 52 | EE | Emilio 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 |
| 51 | EE | Cé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 |
|---|
| 50 | EE | Jorge Júlvez,
Laura Recalde,
Manuel Silva:
On Reachability in Autonomous Continuous Petri Net Systems.
ICATPN 2003: 221-240 |
| 49 | EE | Laura 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 |
| 48 | EE | Manuel Silva,
Laura Recalde:
Unforced Continuous Petri Nets and Positive Systems.
POSTA 2003: 55-62 |
| 2002 |
|---|
| 47 | | 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 |
|---|
| 46 | EE | Cé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 |
| 45 | EE | Serge Haddad,
Patrice Moreaux,
Matteo Sereno,
Manuel Silva:
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.
ICATPN 2001: 164-183 |
| 44 | EE | Cé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) |
| 43 | EE | Laura Recalde,
Enrique Teruel,
Manuel Silva:
Structure theory of multi-level deterministically synchronized sequential processes.
Theor. Comput. Sci. 254(1-2): 1-33 (2001) |
| 2000 |
|---|
| 42 | EE | Cé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 |
|---|
| 41 | EE | Laura Recalde,
Enrique Teruel,
Manuel Silva:
Autonomous Continuous P/T Systems.
ICATPN 1999: 107-126 |
| 40 | EE | Javier Campos,
Susanna Donatelli,
Manuel Silva:
Structured Solution of Asynchronously Communicating Stochastic Modules.
IEEE Trans. Software Eng. 25(2): 147-165 (1999) |
| 1998 |
|---|
| 39 | | 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 |
| 38 | EE | Cé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) |
| 37 | EE | Laura 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 |
|---|
| 36 | EE | Sebastiá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) |
| 35 | EE | Sebastiá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 |
|---|
| 34 | EE | 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 |
| 33 | | 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 |
| 32 | | Manuel Silva,
Enrique Teruel,
Robert Valette,
Hervé Pingaud:
Petri Nets and Production Systems.
Petri Nets (2) 1996: 85-124 |
| 31 | EE | Enrique Teruel,
Manuel Silva:
Structure Theory of Equal Conflict Systems.
Theor. Comput. Sci. 153(1&2): 271-300 (1996) |
| 1995 |
|---|
| 30 | | Morikazu Nakamura,
Kenji Onaga,
Seiki Kyan,
Manuel Silva:
A Genetic Algorithm for Sex-Fair Stable Marriage Problem.
ISCAS 1995: 509-512 |
| 1994 |
|---|
| 29 | EE | Enrique Teruel,
Manuel Silva:
Well-Formedness of Equal Conflict Systems.
Application and Theory of Petri Nets 1994: 491-510 |
| 28 | EE | Javier 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 |
|---|
| 27 | EE | Manuel Silva:
Interleaving Functional and Performance Structural Analysis of Net Models.
Application and Theory of Petri Nets 1993: 17-23 |
| 26 | EE | Enrique Teruel,
Manuel Silva:
Liveness and Home States in Equal Conflict Systems.
Application and Theory of Petri Nets 1993: 415-432 |
| 25 | | 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 |
| 24 | | Antonio Ramírez,
Javier Campos,
Manuel Silva:
On Optimal Scheduling in DEDS.
ICRA (3) 1993: 821-826 |
| 23 | EE | Manuel Silva,
José Manuel Colom:
Petri Nets applied to the modelling and analysis of computer architecture problems.
Microprocessing and Microprogramming 38(1-5): 1-11 (1993) |
| 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
| 11 | EE | Javier 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 | EE | 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 | EE | José Manuel Colom,
Manuel Silva:
Improving the linearly based characterization of P/T nets.
Applications and Theory of Petri Nets 1989: 113-145 |
| 8 | EE | Javier Esparza,
Manuel Silva:
Circuits, handles, bridges and nets.
Applications and Theory of Petri Nets 1989: 210-242 |
| 7 | EE | Javier Esparza,
Manuel Silva:
On the analysis and synthesis of free choice systems.
Applications and Theory of Petri Nets 1989: 243-286 |
| 6 | EE | 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 | EE | Manuel Silva,
Robert Valette:
Petri nets and flexible manufacturing.
European Workshop on Applications and Theory in Petri Nets 1988: 374-417 |
| 1987 |
|---|
| 2 | EE | 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 |
