Publications

Export 228 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is C  [Clear All Filters]
A B [C] D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
T
[1476] Timotei, A, Colom JM.  2013.  Enforcing Liveness in S3PR Nets by Specialization of Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :318-321. Abstract
[1477] Timotei, A, Colom JM.  2013.  A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :252-257. Abstract
K
[1478] Kloetzer, M, Mahulea C, Colom JM.  2013.  Petri net approach for deadlock and collision avoidance in robot planning. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
R
[1481] Requeno, JI, Colom JM.  2013.  Model checking software for phylogenetic trees using distribution and database methods. Journal of Integrative Bioinformatics. 10(3) Abstract
L
[1482] López-Grao, JP, Colom JM, Tricas F.  2014.  Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract
R
[1510] Requeno, JI, Colom JM.  2014.  Timed and Probabilistic Model Checking over Phylogenetic Trees. 8th International Conference on Practical Applications of Computational Biology & Bioinformatics . Abstract
T
[1514] Tricas, F, Colom JM, Merelo JJ.  2014.  Computing minimal siphons in Petri net models of Resource Allocation Systems: An evolutionary approach. International Workshop on Petri Nets and Software Engineering (PNSE'14).
B
[1515] Bernardi, S, Albareda J, Colom JM, Mahulea C.  2014.  A model-based approach for the specification and verification of clinical guidelines. Workshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
L
[1517] López-Grao, JP, Colom JM, Tricas F.  2014.  The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
B
[1518] Bañares, JA, Tolosana-Calasanz R, Tricas F, Arronategui U, Celaya J, Colom JM.  2014.  Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision. International Workshop on Petri Nets and Software Engineering (PNSE'14).
M
[1519] Mahulea, C, Mahulea L, García-Soriano JM, Colom JM.  2014.  Petri Nets with Resources for modeling Primary Healthcare Systems. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
T
[1520] Tricas, F, Colom JM, Merelo JJ.  2014.  Using the incidence matrix in an evolutionary algorithm for Computing minimal siphons in Petri net models. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
[1521] Tolosana-Calasanz, R, Bañares JA, Colom JM.  2014.  Towards Petri net-based Economical Analysis for Streaming Applications executed over Cloud infrastructures. 11th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2014).
R
[1522] Requeno, JI, Colom JM.  2014.  Analyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study. Journal of Integrative Bioinformatics. 11(3)
C
[1540] Clavel, D, Mahulea C, Silva M.  2016.  On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
[1541] Clavel, D, Mahulea C, Silva M, Albareda J.  2016.  Operation Planning of Elective Patients in an Orthopedic Surgery Department. 2nd International Workshop on Models and Methods for healthcare systems management and planning (M2H) in ETFA 2016. Abstract
application/pdf icon
2016_M2H.pdf
B
[IPBaReChSi00] Basile, F, Recalde L, Chiacchio P, Silva M.  2000.  Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
0 icon
00_BCRS_WODES.ps
P
[1390] Pont, SMT, Chamizo GJM, Mora MH, de Casado MG.  2007.  Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
C
[1391] Chamizo, GJM, de Casado MG, Rodríguez GJ.  2004.  II Jornadas sobre Domótica y Automatización Industrial. II Jornadas sobre Domótica y Automatización Industrial.
P
[1396] Pont, SMT, Chamizo GJM, Mora MH, de Casado MG.  2007.  Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
C
[CelayaAGRID06] Celaya, J, Arronategui U.  2006.  YA: Fast and Scalable Discovery of Idle CPUs in a P2P Network. :49-55.
0 icon
celarr_grid06.pdf
[CelayaAHPCC06] Celaya, J, Arronategui U.  2006.  Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.
0 icon
celarr_hpcc06.pdf
A
[1246] Arronategui, U, Celaya J.  2006.  YA: Fast and Scalable Discovery of Idle CPUs in a P2P network. 7th IEEE/ACM International Conference on Grid Computing.
application/pdf icon
celarr_grid06.pdf
[1247] Arronategui, U, Celaya J.  2006.  Scalable Architecture for Allocation of Idle CPUs in a P2P Network. 2nd International Conference on High Performance Computing and Communications.
application/pdf icon
celarr_hpcc06.pdf
[1248] Arronategui, U, Celaya J.  2010.  Distributed Scheduler of Workflows with Deadlines in a P2P Desktop Grid. 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing.
application/pdf icon
celarr_pdp2010.pdf