Publications
Filters: First Letter Of Last Name is D [Clear All Filters]
[RP-79-01] 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.
.
1979.
[RP-85-04] Binary-decision graphs for implementation of boolean functions. IEE Proceedings. :175-185.
.
1985.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
[CDS-StMalo-97] Structured Solution of Stochastic DSSP Systems. :91-100.
.
1997.
[1083] A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
.
1998.
[IPReTeSi99] Autonomous Continuous PT systems. 1639:107-126.
.
1999.
[CDS-TSE-99] Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
.
1999.
[DaLaLuMaFSDb] Finite state dimension. 2076:1028-1039.
.
2001.
[MCM-LNCS-01] A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
.
2001.
.
2001.
[MBCD-wodes02] A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
.
2002.
[BDM-WOSP-02] From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
.
2002.
[DaLaLuMaFSD] Finite state dimension. Theoretical Computer Science. 310:1-33.
.
2004.
[ICReSiEzTe04] Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
.
2004.
.
2004.
[DGLMM05] Zeta-Dimension. 3618:283-294.
.
2005.
.
2005.
[CM-LNCS-06] On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
.
2006.
[1402] Improvement of Image Transform Calculation Based on a Weighted Primitive. International Conference on Image Analysis and Recognition 2006.
.
2006.
[1403] The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. Computability in Europe 2006.
.
2006.
[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.
[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.
[1400] Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
.
2007.