The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel Silva: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Laura Recalde, Manuel Silva, Joaquin Ezpeleta, Enrique Teruel
    Petri Nets and Manufacturing Systems: An Examples-Driven Tour. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:742-788 [Conf]
  2. Manuel Silva, Enrique Teruel, José Manuel Colom
    Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:309-373 [Conf]
  3. Manuel Silva, Enrique Teruel, Robert Valette, Hervé Pingaud
    Petri Nets and Production Systems. [Citation Graph (0, 0)][DBLP]
    Petri Nets (2), 1996, pp:85-124 [Conf]
  4. Javier Campos, Manuel Silva
    Structural techniques and performance bounds of stochastic Petri net models. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets: The DEMON Project, 1992, pp:352-391 [Conf]
  5. Javier Esparza, Manuel Silva
    Circuits, handles, bridges and nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:210-242 [Conf]
  6. Javier Esparza, Manuel Silva
    On the analysis and synthesis of free choice systems. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:243-286 [Conf]
  7. Javier Esparza, Manuel Silva
    Top-down synthesis of live and bounded free choice nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1990, pp:118-139 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1991, pp:126-147 [Conf]
  9. José Manuel Colom, Manuel Silva
    Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:79-112 [Conf]
  10. José Manuel Colom, Manuel Silva
    Improving the linearly based characterization of P/T nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:113-145 [Conf]
  11. Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva
    Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:164-183 [Conf]
  12. Jorge Júlvez, Laura Recalde, Manuel Silva
    On Reachability in Autonomous Continuous Petri Net Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:221-240 [Conf]
  13. J. Martinez, Manuel Silva
    A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:301-310 [Conf]
  14. Laura Recalde, Enrique Teruel, Manuel Silva
    {SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:440-459 [Conf]
  15. Laura Recalde, Enrique Teruel, Manuel Silva
    Autonomous Continuous P/T Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:107-126 [Conf]
  16. Manuel Silva
    Interleaving Functional and Performance Structural Analysis of Net Models. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:17-23 [Conf]
  17. Manuel Silva, José Manuel Colom
    On the Computation of Structural Synchronic Invariants in P/T Nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1987, pp:386-417 [Conf]
  18. Manuel Silva, Laura Recalde
    Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:26-47 [Conf]
  19. Manuel Silva, Robert Valette
    Petri nets and flexible manufacturing. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1988, pp:374-417 [Conf]
  20. Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva
    On Weighted T-Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:348-367 [Conf]
  21. Enrique Teruel, Manuel Silva
    Liveness and Home States in Equal Conflict Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:415-432 [Conf]
  22. Enrique Teruel, Manuel Silva
    Well-Formedness of Equal Conflict Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:491-510 [Conf]
  23. Javier Esparza, Manuel Silva
    Compositional Synthesis of Live and Bounded Free Choice Petri Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:172-187 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    ESANN, 2001, pp:347-352 [Conf]
  25. Serge Haddad, Laura Recalde, Manuel Silva
    On the Computational Power of Timed Differentiable Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:230-244 [Conf]
  26. A. Ramírez, Javier Campos, Manuel Silva
    On Optimal Scheduling in DEDS. [Citation Graph (0, 0)][DBLP]
    ICRA (3), 1993, pp:821-826 [Conf]
  27. Enrique Teruel, José Manuel Colom, Manuel Silva
    Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. [Citation Graph (0, 0)][DBLP]
    Decentralized and Distributed Systems, 1993, pp:213-224 [Conf]
  28. Morikazu Nakamura, Kenji Onaga, Seiki Kyan, Manuel Silva
    A Genetic Algorithm for Sex-Fair Stable Marriage Problem. [Citation Graph (0, 0)][DBLP]
    ISCAS, 1995, pp:509-512 [Conf]
  29. António Lucas Soares, Dora Simões, Manuel Silva, Ricardo Madureira
    Developing Enterprise Sponsored Virtual Communities: The Case of a SME's Knowledge Community. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (1), 2006, pp:269-278 [Conf]
  30. Kenji Onaga, Manuel Silva, Toshimasa Watanabe
    On Periodic Schedules for Deterministically Timed Petri Net Systems. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:210-215 [Conf]
  31. Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva
    Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:200-209 [Conf]
  32. Javier Campos, Giovanni Chiola, Manuel Silva
    Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:210-220 [Conf]
  33. Javier Campos, Manuel Silva
    Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:312-321 [Conf]
  34. Javier Campos, Beatriz Sánchez, Manuel Silva
    Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:322-331 [Conf]
  35. Manuel Silva, Laura Recalde
    Unforced Continuous Petri Nets and Positive Systems. [Citation Graph (0, 0)][DBLP]
    POSTA, 2003, pp:55-62 [Conf]
  36. Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva
    On Observability in Timed Continuous Petri Net Systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:60-69 [Conf]
  37. Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva
    Design of observers for timed continuous Petri net systems. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1678-1685 [Conf]
  38. Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva
    Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets. [Citation Graph (0, 0)][DBLP]
    SMC (5), 2004, pp:4897-4904 [Conf]
  39. Diego Rodriguez, Armin Zimmermann, Manuel Silva
    Two heuristics for the improvement of a two-phase optimization method for manufacturing systems. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1686-1692 [Conf]
  40. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Modeling, 2005, v:45, n:4, pp:894-903 [Journal]
  41. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Modeling, 2004, v:44, n:5, pp:1576-1584 [Journal]
  42. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 2000, v:40, n:3, pp:724-731 [Journal]
  43. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 2001, v:41, n:4, pp:1083-1092 [Journal]
  44. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 1998, v:38, n:6, pp:1119-1124 [Journal]
  45. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 1997, v:37, n:2, pp:287-291 [Journal]
  46. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 1997, v:37, n:3, pp:517-521 [Journal]
  47. Laura Recalde, Enrique Teruel, Manuel Silva
    On Linear Algebraic Techniques for Liveness Analysis of P/T Systems. [Citation Graph (0, 0)][DBLP]
    Journal of Circuits, Systems, and Computers, 1998, v:8, n:1, pp:223-265 [Journal]
  48. Manuel Silva, Tadao Murata
    B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1992, v:44, n:3, pp:447-477 [Journal]
  49. Hauke Jungnitz, Beatriz Sánchez, Manuel Silva
    Approximate Throughput Computation of Stohastic Marked Graphs. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1992, v:15, n:3, pp:281-295 [Journal]
  50. Javier Campos, Manuel Silva
    Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1993, v:18, n:1, pp:3-19 [Journal]
  51. Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva
    Product-form and stochastic Petri nets: a structural approach. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2005, v:59, n:, pp:313-336 [Journal]
  52. Javier Esparza, Manuel Silva
    A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:102, n:1, pp:185-205 [Journal]
  53. Laura Recalde, Enrique Teruel, Manuel Silva
    Structure theory of multi-level deterministically synchronized sequential processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:1-33 [Journal]
  54. Enrique Teruel, Manuel Silva
    Structure Theory of Equal Conflict Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:153, n:1&2, pp:271-300 [Journal]
  55. Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva
    Approximate Throughput Computation of Stochastic Marked Graphs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:7, pp:526-535 [Journal]
  56. Javier Campos, Giovanni Chiola, Manuel Silva
    Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:2, pp:117-125 [Journal]
  57. Javier Campos, Susanna Donatelli, Manuel Silva
    Structured Solution of Asynchronously Communicating Stochastic Modules. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:2, pp:147-165 [Journal]
  58. Manuel Silva, Laura Recalde
    Petri nets and integrality relaxations: A view of continuous Petri net models. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part C, 2002, v:32, n:4, pp:314-327 [Journal]
  59. Laura Recalde, Serge Haddad, Manuel Silva
    Continuous Petri Nets: Expressive Power and Decidability Issues. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:362-377 [Conf]
  60. 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. [Citation Graph (0, 0)][DBLP]
    Virtual Enterprises and Collaborative Networks, 2007, pp:371-380 [Conf]

  61. On Controllability of Timed Continuous Petri Nets. [Citation Graph (, )][DBLP]


  62. Stochastic continuous-state approximation of Markovian Petri net systems. [Citation Graph (, )][DBLP]


  63. Formal analysis of timed continuous Petri nets. [Citation Graph (, )][DBLP]


  64. New results for fault detection of untimed continuous Petri nets. [Citation Graph (, )][DBLP]


  65. Piecewise-linear constrained control for timed continuous Petri nets. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.655secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002