Publications
] Filters: First Letter Of Last Name is G [Clear All Filters]
[1400] .
2007. Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
[GMM06] .
2006. ArgoSPE: Model-based software performance engineering. 4024:401-410.
[910] .
2002. A Banker's Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation. 18(4):621-625.
[1076] .
1995. A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs. 1995 IEEE International Conference on Systems, Man and Cybernetics. 4:3451-3456.
[1398] .
2007. Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
[1332] .
2002. Checking Redundancies in Supervisory Control. A Complexity Result. 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).
[1083] .
1998. A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
[1508] .
2011. Cloud-based Assistive Technology Services. Proceedings of the 3rd Workshop on Software Services: Semantic-based Software Services (WoSS) at the Federated Conference on Computer Science and Information Systems (FedCSIS).
[1092] .
2000. Comments on "Deadlock Avoidance Policy for Petri-Net Modeling of Flexible Manufacturing Systems with Shared Resources". IEEE Transactions on Automatic Control. 45(9):1760-1762.
[EzGP-03] .
2003. COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[1370] .
2009. Computational framework for behavioural modelling of neural subsystems. Neurocomputing. 72(7-9):1667.
[1251] .
2009. Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[1293] .
2011. Curves that must be retraced. Information and Computation. 209:992--1006.
[1301] .
2009. Curves that must be retraced. Sixth International Conference on Computability and Complexity in Analysis (CCA 2009).
[GUGC-SEIO03] .
2003. Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba. :2931-2944.
[1438] .
2012. Dimension spectra of random subfractals of self-similar fractals. Ninth International Conference on Computability and Complexity in Analysis (CCA 2012).
[1563] .
2017. HEAT: A Tool to Develop, Analyze and Monitor Clinical Pathways. ICNSC'2017: 14th IEEE International Conference on Networking, Sensing and Control. Abstract
[GMM_WOMP06] .
2006. Impact of SOAP Implementations in the Performance of a Web Service-based Application. 4331:884-896.
[1342] .
1999. Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
[1402] .
2006. Improvement of Image Transform Calculation Based on a Weighted Primitive. International Conference on Image Analysis and Recognition 2006.
[259] .
1992. Improving Throughput Upper Bounds for Net Based Models. Robotics and Flexible Manufacturing Systems. :281-294.
[1327] .
2002. International Workshop on Discrete Event Systems (WODES'02).
[1339] .
1998. Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.
[912] .
2000. An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
