Publications
] Filters: First Letter Of Last Name is G [Clear All Filters]
[TRMaGiReSeSi07] .
2008. Optimal model predictive control of Timed Continuous Petri nets.
[SPE-WS] .
2005. Performance Analysis of Web Applications.
[1308] .
2010. Resource-bounded Dimension in Computational Learning Theory. arXiv.
[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.
[1398] .
2007. Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
[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.
[1370] .
2009. Computational framework for behavioural modelling of neural subsystems. Neurocomputing. 72(7-9):1667.
[1293] .
2011. Curves that must be retraced. Information and Computation. 209:992--1006.
[ARMAGIRESESI08] .
2008. Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
[1509] .
2014. Performance Assessment of an Architecture with Adaptative Interfaces for People with Special Needs. Empirical Software Engineering. 19(6):52.
[1532] .
2015. A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
[MC-LNCS-04] .
2004. Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
[1329] .
2006. Synthesis of Asynchronous Controllers using Integer Linear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(9):1637-1651.
[ETFA09] .
2009. Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation.
[1306] .
2010. Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. 6158
[PMMG-VIDAS10] .
2010. QoS-Based Model Driven Assessment of Adaptive Reactive Systems. Third International Conference on Software Testing, Verification, and Validation Workshops. :299-308.
[IPSiTe96b] .
1996. A Systems Theory Perspective of Discrete Event Dynamic Systems The Petri Net Paradigm. Symposium on Discrete Events and Manufacturing Systems. CESA 96 IMACS Multiconference. :1-12.
[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.
[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.
[1332] .
2002. Checking Redundancies in Supervisory Control. A Complexity Result. 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).
[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).
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
