Antoni Guasch

14 papers Misc 2Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents.
CoRR
Antoni Guasch, Maria Isabel Valdez
2016 J jnl
TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling.
Comput. Ind. Eng.
Olatunde T. Baruwa, Miquel Angel Piera Eroles, Antoni Guasch
2015 J jnl
Deadlock-Free Scheduling Method for Flexible Manufacturing Systems Based on Timed Colored Petri Nets and Anytime Heuristic Search.
IEEE Trans. Syst. Man Cybern. Syst.
Olatunde T. Baruwa, Miquel Angel Piera Eroles, Antoni Guasch
2014 Misc conf
Simulation analysis of a dynamic ridesharing model.
WSC
Antoni Guasch, Jaume Figueras i Jové, Pau Fonseca i Casas, Cristina Montañola-Sales, Josep Casanovas-Garcia
2013 Misc conf
Formalizing geographical models using specification and description language: The wildfire example.
WSC
Pau Fonseca i Casas, Josep Casanovas, Jaume Figueras i Jové, Antoni Guasch
2012 J jnl
A time stamp reduction method for state space exploration using colored Petri nets.
Simul.
Mercedes Narciso, Miquel Angel Piera Eroles, Antoni Guasch
2012 — conf
Towards on line monitoring the evolution of the myocardium infarction scar with an implantable electrical impedance spectrum monitoring system.
EMBC
Benjamin Sanchez, Antoni Guasch, Paco Bogónez, Carolina Gálvez, Vicenç Puig, Cristina Prat, Carlos E. Semino, Antoni Bayes-Genis, Ramon Bragós
2011 J jnl
Automatic warehouse modelling and simulation.
Int. J. Simul. Process. Model.
Antoni Guasch, Miquel Angel Piera Eroles, Jaume Figueras i Jové
2010 J jnl
A Methodology for Solving Logistic Optimization Problems through Simulation.
Simul.
Mercedes Narciso, Miquel Angel Piera Eroles, Antoni Guasch
2005 J jnl
Preface: Introduction to Special Issue.
Simul.
Antoni Guasch, Miquel Angel Piera Eroles
2004 J jnl
Optimization of Logistic and Manufacturing Systems through Simulation: A Colored Petri Net-Based Methodology.
Simul.
Miquel Angel Piera Eroles, Mercedes Narciso, Antoni Guasch, Daniel Riera
2002 — conf
PN to CSP Methodology: Improved Bounds.
CCIA
Daniel Riera, Miquel Angel Piera Eroles, Antoni Guasch
1994 — conf
Relay ladder Logic Diagnosis.
AIRTC
Antoni Guasch, R. Milne, Ramon Sarrate
1987 — —
MUSS: a contribution to the structural analysis of continuous system simulation languages.
Antoni Guasch