Search the dblp DataBase
Manuel Silva :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Laura Recalde , Enrique Teruel , Manuel Silva Autonomous Continuous P/T Systems. [Citation Graph (0, 0)][DBLP ] ICATPN, 1999, pp:107-126 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] A. Ramírez , Javier Campos , Manuel Silva On Optimal Scheduling in DEDS. [Citation Graph (0, 0)][DBLP ] ICRA (3), 1993, pp:821-826 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Manuel Silva , Laura Recalde Unforced Continuous Petri Nets and Positive Systems. [Citation Graph (0, 0)][DBLP ] POSTA, 2003, pp:55-62 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] On Controllability of Timed Continuous Petri Nets. [Citation Graph (, )][DBLP ] Stochastic continuous-state approximation of Markovian Petri net systems. [Citation Graph (, )][DBLP ] Formal analysis of timed continuous Petri nets. [Citation Graph (, )][DBLP ] New results for fault detection of untimed continuous Petri nets. [Citation Graph (, )][DBLP ] Piecewise-linear constrained control for timed continuous Petri nets. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.655secs