Publications
] Filters: First Letter Of Last Name is D [Clear All Filters]
[MCM-LNCS-01] .
2001. A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
[ICReSiEzTe04] .
2004. Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
[ICSilv93b] .
1993. Practice of Petri-nets in manufacturing.
[1083] .
1998. A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
[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.
[1400] .
2007. Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
[IPReTeSi99] .
1999. Autonomous Continuous PT systems. 1639:107-126.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[1275] .
2010. Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. :125-140.
[DaLaLuMaFSDb] .
2001. Finite state dimension. 2076:1028-1039.
[BDM-WOSP-02] .
2002. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[1402] .
2006. Improvement of Image Transform Calculation Based on a Weighted Primitive. International Conference on Image Analysis and Recognition 2006.
[1401] .
2007. Parametric Architecture for Function Calculation Improvement. Architecture of Computing Systems 2007.
[1394] .
2008. Parametric Architecture for Modeling Neuronal Systems. 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing 2008.
[MCM-MSWiM-01] .
2001. Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
[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.
[1403] .
2006. The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. Computability in Europe 2006.
[1395] .
2008. A Software Library for Reliable Online-Arithmetic with Rational Numbers. Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures.
[CDS-StMalo-97] .
1997. Structured Solution of Stochastic DSSP Systems. :91-100.
[1393] .
2009. Table-based Method for Reconfigurable Function Evaluation. 23rd IEEE International Symposium on Parallel and Distributed Processing (IPDPS) 2009.
[1399] .
2007. Table-based Recursive Method for Function Evaluation. Numerical Analysis and Applied Mathematics 2007.
[DGLMM05] .
2005. Zeta-Dimension. 3618:283-294.
[1469] .
2013. Application and Theory of Petri Nets and Concurrency. 34th International Conference, PETRI NETS 2013. 7927
[RP-85-04] .
1985. Binary-decision graphs for implementation of boolean functions. IEE Proceedings. :175-185.
[1398] .
2007. Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
