Publications
Filters: First Letter Of Title is S [Clear All Filters]
.
2006.
.
1991.
[HiLuMaSDNC] Scaled dimension and non uniform complexity. Journal of Computer and System Sciences. 69:97-122.
.
2004.
[HiLuMaSDNCb] Scaled dimension and non uniform complexity. 2719:278-290.
.
2003.
[HiLoMa04] Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.
.
2004.
[sdkcthsR] Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. Theory of Computing Systems. 43:471-497.
.
2008.
.
2010.
[1305] Special Issue: Computation and Logic in the Real World. Theory of Computing Systems. 45(4)
.
2009.
[1425] Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6)
.
2012.
.
2003.
[1532] A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
.
2015.
[PJCS-96a] State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes. :1159-1165.
.
1996.
[PMM-QoSA11b] Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
.
2011.
.
2005.
[IPSiTe96b] A Systems Theory Perspective of Discrete Event Dynamic Systems The Petri Net Paradigm. Symposium on Discrete Events and Manufacturing Systems. CESA 96 IMACS Multiconference. :1-12.
.
1996.
[ARTeSi96] Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
.
1996.
[CDS-TSE-99] Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
.
1999.
[CDS-StMalo-97] Structured Solution of Stochastic DSSP Systems. :91-100.
.
1997.
[SC-Erlangen-95] Structural Performance Analysis of Stochastic Petri Nets. :61-70.
.
1995.
[CS-LNCS-92] Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
.
1992.
[CS-DS-90] Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
.
1990.
[CS-Lyon-89] Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :559-585.
.
1989.
[IPReJuSi02] Steady State Performance evaluation for some continuous Petri nets. :N479.
.
2002.
[ICReTeSi96] SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
.
1996.
[ARJuReSi05] Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
.
2005.