Publications
Filters: First Letter Of Last Name is L [Clear All Filters]
[1312] Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
.
2006.
.
2006.
.
2006.
.
2006.
[GuLuMa06] Points on computable curves. :469–474.
.
2006.
[HiLuMa05] The fractal geometry of complexity classes. SIGACT News. 36:24-38.
.
2005.
[FeLuMaRe05] Weakly useful sequences. Information and Computation. 197:41-54.
.
2005.
[DGLMM05] Zeta-Dimension. 3618:283-294.
.
2005.
[LoMa05] Dimension is Compression. 3618:676-685.
.
2005.
[LGMC-WOSP02] From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
.
2004.
[HiLuMaSDNC] Scaled dimension and non uniform complexity. Journal of Computer and System Sciences. 69:97-122.
.
2004.
[ESDAICC] Effective Strong Dimension in Algorithmic Information and Computational Complexity. 2996:632-643.
.
2004.
[HiLoMa04] Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.
.
2004.
[DaLaLuMaFSD] Finite state dimension. Theoretical Computer Science. 310:1-33.
.
2004.
[LG03RR1] Sketching architectural concerns on distributed discrete event simulation based on Petri Nets.
.
2003.
[HiLuMaSDNCb] Scaled dimension and non uniform complexity. 2719:278-290.
.
2003.
[LGMC-02b] On the Use of Formal Models in Software Performance Evaluation. :367-387.
.
2002.
.
2002.
[LutMayTPRBM] Twelve problems in resource bounded measure. :83-101.
.
2001.
[DaLaLuMaFSDb] Finite state dimension. 2076:1028-1039.
.
2001.
[LutMayTPRBMb] Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
.
1999.
.
1998.
[LutMayCVKL] Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small. Theoretical Computer Science. 164:141-163.
.
1996.
[RP-95-12] Corrección de programas y redes de Petri de alto nivel. :155-164.
.
1995.
[FeLuMaWUS] Weakly Useful Sequences. 944:393-404.
.
1995.