Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
[AMMP08] Pushdown compression. :39-48.
.
2008.
[DPSSF] Dimensions of points in self-similar fractals. SIAM Journal on Computing. 38:1080-1112.
.
2008.
[1394] Parametric Architecture for Modeling Neuronal Systems. 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing 2008.
.
2008.
[EFDAIT] Effective fractal dimension in algorithmic information theory. :259-285.
.
2008.
[TRMaGiReSeSi07] Optimal model predictive control of Timed Continuous Petri nets.
.
2008.
[IPCaGiMaReSeSi07] State Estimation of Petri Nets by Transformation. :194-199.
.
2007.
[GIM-WOSP07] Performance Analysis of Mobile Agents Tracking. :181-188.
.
2007.
[BM-WOSP-07] A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
.
2007.
[IPMaCaGiSe07] A State Estimation Problem for Timed Continuous Petri Nets. :1770-1775.
.
2007.
[BM-JSS-07] Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
.
2007.
.
2007.
[AtHiLuMa06] Effective strong dimension in algorithmic information and computational complexity. SIAM Journal on Computing. 37:671-705.
.
2007.
[1307] Bounded Pushdown dimension vs Lempel Ziv information density. arXiv.
.
2007.
[1390] Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
.
2007.
[1396] Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
.
2007.
[1398] Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
.
2007.
[1399] Table-based Recursive Method for Function Evaluation. Numerical Analysis and Applied Mathematics 2007.
.
2007.
[1401] Parametric Architecture for Function Calculation Improvement. Architecture of Computing Systems 2007.
.
2007.
[IPGiMaReSeSi06b] Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
.
2006.
[RCDM2006] Review and Initial Contributions to the Formal Modeling of Service-oriented Architectures in FMS2010.
.
2006.
[IPMaReSi06] On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
.
2006.
[IPGiMaReSeSi06a] Optimal control of continuous Petri nets via model predictive control. :235–241.
.
2006.
[IPMaGiReSeSi06] On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
.
2006.
[BM-IC-06] QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
.
2006.
[GMM_WOMP06] Impact of SOAP Implementations in the Performance of a Web Service-based Application. 4331:884-896.
.
2006.