Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
[243] Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
.
1995.
[1071] A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2):173-184.
.
1995.
[BuhMay95] An excursion to the Kolmogorov random strings. :197-203.
.
1995.
[BalMay95] A note on genericity and bi immunity. :193-196.
.
1995.
[FeLuMaWUS] Weakly Useful Sequences. 944:393-404.
.
1995.
[MayAESET] Almost every set in exponential time is P bi immune. Theoretical Computer Science. 136:487-506.
.
1994.
[LutMayMSDHL] Measure stochasticity and the density of hard languages. SIAM Journal on Computing. 23:762-779.
.
1994.
[HerMay94] A note on polynomial size circuits with low resource bounded Kolmogorov complexity. Mathematical Systems Theory. 27:247-356.
.
1994.
[LutMayCVKLb] Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small. 775:415-426.
.
1994.
[MayMP] Measuring in PSPACE. 6:93-100.
.
1994.
.
1994.
[RP-93-14] Modular composition of intelligent control policies for FMS models. :405-410.
.
1993.
[RP-93-07] Synthesis of live models for a class of FMS. :557-563.
.
1993.
[1061] Synthesis of Live High Level Models for a Class of FMS. 1993, IEEE International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC'93). 1:589-594.
.
1993.
[1063] A Petri net based deadlock prevention policy for flexible manufacturing systems. III Jornadas de Concurrencia. :199-233.
.
1993.
[1064] A Petri Net Approach for the Analysis of VHDL Descriptions. Correct Hardware Design and Verification Methods. :15-26.
.
1993.
[LutMayMSDHLb] Measure stochasticity and the density of hard languages. 665:38-47.
.
1993.
[CPSM-RMUCM-93] Boundedness on Stochastic Petri Nets. Revista Matematica de la Universidad Complutense de Madrid. 6:123-136.
.
1993.
[RP-92-12] B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. Journal of Computer and System Sciences. 44:447-477.
.
1992.
[RP-92-05] Petri nets in a knowledge representation schema for the coordination of plant elements. :271-276.
.
1992.
[RP-92-09] Formal specification and validation in production plants. :64-73.
.
1992.
[RP-92-26] Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP. :55-60.
.
1992.
[BaHeMa92] Characterizations of logarithmic advice complexity classes. :315-321.
.
1992.
[AESETPBI] Almost every set in exponential time is P-bi-immune. 629:392-400.
.
1992.
[RP-92-33] Petri Nets as a specification language for manufacturing systems. :427-436.
.
1992.