Publications

Export 35 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is D  [Clear All Filters]
Report
Journal Article
[RP-85-04] Silva, M, David R.  1985.  Binary-decision graphs for implementation of boolean functions. IEE Proceedings. :175-185.
[1398] Pont, MT S, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2007.  Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
[1426] Mayordomo, E, Becher V, Bienvenu L, Downey R.  2012.  Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Dagstuhl Reports. 2(1)
[1370] Signes-Pont, MT, García-Chamizo JM, de-Miguel-Casado G, Mora-Mora H.  2009.  Computational framework for behavioural modelling of neural subsystems. Neurocomputing. 72(7-9):1667.
[1454] Julvez, J, DiCairano S, Bemporad A, Mahulea C.  2014.  Event-Driven Model Predictive Control of Timed Hybrid Petri Nets. International Journal of Robust and Nonlinear Control. 24(12)
[DaLaLuMaFSD] Dai, JJ, Lathrop JI, Lutz JH, Mayordomo E.  2004.  Finite state dimension. Theoretical Computer Science. 310:1-33.
[CM-LNCS-06] Campos, J, Merseguer J.  2006.  On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
[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.
[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.
Conference Proceedings
[1469] Colom, JM, Desel J.  2013.  Application and Theory of Petri Nets and Concurrency. 34th International Conference, PETRI NETS 2013. 7927
Conference Paper
[1400] de-Miguel-Casado, G, García-Chamizo JM, Signes-Pont MT.  2007.  Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
[IPReTeSi99] Recalde, L, Teruel E, Silva M.  1999.  Autonomous Continuous PT systems. 1639:107-126.
[MBCD-wodes02] Merseguer, J, Bernardi S, Campos J, Donatelli S.  2002.  A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[1275] Rovetto, C, Cano E, Colom JM.  2010.  Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. :125-140.
[DaLaLuMaFSDb] Dai, JJ, Lathrop JI, Lutz JH, Mayordomo E.  2001.  Finite state dimension. 2076:1028-1039.
[BDM-WOSP-02] Bernardi, S, Donatelli S, Merseguer J.  2002.  From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[1402] Signes-Pont, MT, García-Chamizo JM, de-Miguel-Casado G, Mora-Mora H.  2006.  Improvement of Image Transform Calculation Based on a Weighted Primitive. International Conference on Image Analysis and Recognition 2006.
[1401] Signes-Pont, MT, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2007.  Parametric Architecture for Function Calculation Improvement. Architecture of Computing Systems 2007.
[1394] Signes-Pont, MT, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2008.  Parametric Architecture for Modeling Neuronal Systems. 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing 2008.
[MCM-MSWiM-01] Merseguer, J, Campos J, Mena E.  2001.  Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
[1313] López-Grao, JP, Colom JM.  2010.  The Resource Allocation Problem In Software Applications: A Petri Net Perspective. International Workshop on Petri Nets and Software Engineering PNSE'10,. :7-21.
[1403] de-Miguel-Casado, G, García-Chamizo JM.  2006.  The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. Computability in Europe 2006.