Publications
] Filters: First Letter Of Last Name is D [Clear All Filters]
[DaLaLuMaFSD] .
2004. Finite state dimension. Theoretical Computer Science. 310:1-33.
[DaLaLuMaFSDb] .
2001. Finite state dimension. 2076:1028-1039.
[RP-79-01] .
1979. Synthèse programmée des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateurs. Rairo-Automatique. 13:369-393.
[RP-85-04] .
1985. Binary-decision graphs for implementation of boolean functions. IEE Proceedings. :175-185.
[1370] .
2009. Computational framework for behavioural modelling of neural subsystems. Neurocomputing. 72(7-9):1667.
[1393] .
2009. Table-based Method for Reconfigurable Function Evaluation. 23rd IEEE International Symposium on Parallel and Distributed Processing (IPDPS) 2009.
[1394] .
2008. Parametric Architecture for Modeling Neuronal Systems. 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing 2008.
[1395] .
2008. A Software Library for Reliable Online-Arithmetic with Rational Numbers. Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures.
[1398] .
2007. Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
[1399] .
2007. Table-based Recursive Method for Function Evaluation. Numerical Analysis and Applied Mathematics 2007.
[1400] .
2007. Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
[1401] .
2007. Parametric Architecture for Function Calculation Improvement. Architecture of Computing Systems 2007.
[1402] .
2006. Improvement of Image Transform Calculation Based on a Weighted Primitive. International Conference on Image Analysis and Recognition 2006.
[1403] .
2006. The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. Computability in Europe 2006.
[1469] .
2013. Application and Theory of Petri Nets and Concurrency. 34th International Conference, PETRI NETS 2013. 7927
[1454] .
2014. Event-Driven Model Predictive Control of Timed Hybrid Petri Nets. International Journal of Robust and Nonlinear Control. 24(12)
[ICSilv93b] .
1993. Practice of Petri-nets in manufacturing.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[CDS-TSE-99] .
1999. Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
[CDS-StMalo-97] .
1997. Structured Solution of Stochastic DSSP Systems. :91-100.
[BDM-WOSP-02] .
2002. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[BCDM-TSE] .
2004. GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
[BDM-Tutorial] .
2005. On derivation of Petri net quantitative models from UML software system specifications.
[DGLMM05] .
2005. Zeta-Dimension. 3618:283-294.
