Publications

List
Filter

Export 241 results:

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]

[1340] Colom, JM, Silva M, Teruel E. 1998. Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.

Google Scholar

[CCS-TAC-91] Campos, J, Chiola G, Silva M. 1991. Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.

91_CCS_TAC.ps

Google Scholar

[258] Campos, J, Chiola G, Colom JM, Silva M. 1992. Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.

92_CCCS_CAS.ps

Google Scholar

[CCS-Kyoto-89] Campos, J, Chiola G, Silva M. 1989. Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.

89_CCS_Kyoto.ps

Google Scholar

[262] Campos, J, Colom JM. 1991. A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets. 12th International Conference on Application and Theory of Petri Nets. :237-256.

91_CC_Gjern.ps

Google Scholar

[1330] Colom, JM. 2003. The Resource Allocation Problem in Flexible Manufacturing Systems. Application and Theory of Petri Nets 2003. :23-35.

Google Scholar

[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.

10_LGC_PNSE.pdf

Google Scholar

[1312] López-Grao, JP, Colom JM. 2006. Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.

06_LGC_FORTE.pdf

Google Scholar

[C-MATCH23-98] Campos, J. 1998. Response Time Approximation for Stochastic Marked Graphs. :797-817.

Google Scholar

[PJC-98] Pérez-Jiménez, CJ, Campos J. 1998. A Response Time Approximation Technique for Stochastic General PT Systems.

98_PJC.ps

Google Scholar

[CelayaAHPCC06] Celaya, J, Arronategui U. 2006. Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.

celarr_hpcc06.pdf

Google Scholar

[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.

celarr_hpcc06.pdf

Google Scholar

[1407] Requeno, JI, Blanco R, de Miguel G, Colom JM. 2012. Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).

Google Scholar

[MC-LNCS-04] Merseguer, J, Campos J. 2004. Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.

SPE.pdf

Google Scholar

[915] Tricas, F, Colom JM, Ezpeleta J. 1999. A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium (ESS’99). Simulation in Industry. :542-546.

Google Scholar

[GBC-IROS-04] González-Buesa, C, Campos J. 2004. Solving the Mobile Robot Localization Problem Using String Matching Algorithms. :2475-2480.

final.pdf

Google Scholar

[1088] Tricas, F, Colom JM, Ezpeleta J. 2000. Some Improvements to the Banker's Algorithm Based on the Process Structure. 2000 IEEE International Conference on Robotics and Automation (ICRA’2000). :2853-2858.

Google Scholar

[1305] Mayordomo, E, Sorbi A, Cooper SB. 2009. Special Issue: Computation and Logic in the Real World. Theory of Computing Systems. 45(4)

Google Scholar

[1467] Requeno, JI, Colom JM. 2013. Speeding Up Phylogenetic Model Checking. 7th International Conference on Practical Applications of Computational Biology and Bioinformatics. 222:119-126. Abstract