Publications
] Filters: First Letter Of Last Name is L [Clear All Filters]
[RP-85-03] .
1985. Generalized Inverses and the Calculation of Symbolic Invariants for Colored Petri Nets. Technique et Science Informatique (TSI). 4:113-126.
[1559] .
2016. Inexpensive robot for experimental validation of planning and control algorithms. ICSTCC'2016: 20th International Conference on System Theory, Control and Computing.
[LCRM06] .
2006. A Graphical Environment for Modeling and Analysis of Concurrent Systems in Manufacturing: An Educational Perspective.
[1001] .
1988. Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
[1532] .
2015. A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
[LGMC-WOSP02] .
2004. From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
[LGMC-02b] .
2002. On the Use of Formal Models in Software Performance Evaluation. :367-387.
[LGMC-02c] .
2002. Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
[LG03RR1] .
2003. Sketching architectural concerns on distributed discrete event simulation based on Petri Nets.
[1311] .
2006. Lender processes competing for shared resources: Beyond the $S^4PR$ paradigm. 2006 International Conference on Systems, Man and Cybernetics (SMC'06). 4:3052--3059.
[1312] .
2006. Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
[1313] .
2010. The Resource Allocation Problem In Software Applications: A Petri Net Perspective. International Workshop on Petri Nets and Software Engineering PNSE'10,. :7-21.
[1323] .
2012. A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. Transactions on Petri Nets and Other Models of Concurrency. V
[1378] .
2011. On the deadlock analysis of multithreaded control software. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
[1433] .
2013. Structural methods for the control of Discrete Event Dynamic Systems – The case of the Resource Allocation Problem. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:257-278. Abstract
[1482] .
2014. Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract
[1517] .
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).
[HiLoMa04] .
2004. Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.
[LoMa05] .
2005. Dimension is Compression. 3618:676-685.
[SDIS] .
2006. Scaled dimension of invidual strings.
[sdkcthsR] .
2008. Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. Theory of Computing Systems. 43:471-497.
[BLV07] .
2007. Tail estimates and a random embedding of l^p_n to l_r^{(1+ε)n}, 0<r<p<2.. Publ. Math. Debrecen. 70
[1308] .
2010. Resource-bounded Dimension in Computational Learning Theory. arXiv.
