1. Levialdi
S., Maggiolo-Schettini, A., A Case
of Network Synthesis, IEEE
Trans. on Circuit Theory 13 (1966), pp. 105-106.
2. Germano
G., Maggiolo-Schettini, A., Equivalence of Partial Recursivity and
Computability by Markov Algorithms without Concluding Formulas, Calcolo 8
(1971), pp. 273-292.
3. Germano
G., Maggiolo-Schettini, A., A Flow Diagram Composition of Markov Algorithms
without Concluding Formulas, BIT 13 (1973), pp. 301-312.
4. Germano
G., Maggiolo-Schettini, A., Quelques caracterisations des fonctions recursives
partielles, C. R. Acad. Sci. Paris 276, Serie A (1973), pp. 1325-1327
5. Germano
G., Maggiolo-Schettini, A., Loops in Algol 60 and in Category Theory, SIGACT
News 6 (1974), pp. 21-23.
6. Germano
G., Maggiolo-Schettini, A., Proving a
Compiler Correct: A Simple
Approach, J. Comput. System Sci. 10 (1975), pp. 370-383.
7. Germano
G., Maggiolo-Schettini, A., Sequence-to-sequence Recursiveness, Inform.
Process. Lett. 4 (1975), pp.1-6.
8. Strong
H.R., Maggiolo-Schettini, A., Rosen B.K., Recursion Structure Simplification, SIAM J. Comput. 4
(1975), pp. 307-320.
9. Germano
G., Maggiolo-Schettini, A., A Language for Markov Algorithm Composition, Acta
Cybernetica 3 (1976), pp. 31-35.
10. Fachini
E., Maggiolo-Schettini, A., A Hierarchy of Primitive Recursive Sequence
Functions, Theoretical Informatics and Applications 13 (1979), pp. 49-67.
11. Maggiolo-Schettini,
A., Uccella G., SOL: An Exercise in Defining a Language, Fundamenta
Informaticae 2 (1979), pp. 337-349.
12. Germano
G., Maggiolo-Schettini, A., Computable Stack Functions for Semantics of Stack
Programs, J. Comput. System Sci. 14 (1979), pp 133-144.
14. Germano
G., Maggiolo-Schettini, A., Sequence Recursiveness without Cylindrification and
Limited Register Machines, Theoret. Comput. Sci. 13 (1981), pp. 436-444.
15. Wedde
H., Maggiolo-Schettini, A., Winkowski, J., Modeling a Solution for a Control
Problem in Distributed Systems by
Restrictions, Theoret. Comput. Sci. 13 (1981), pp. 410-422.
16. Ehrig
H., Kreowski H.-J., Maggiolo-Schettini, A., Rosen B.K., Winkowski, J.,
Transformations of Structures: An Algebraic Approach, Math. Systems Theory 14
(1981), pp. 305-334.
17. Fachini
E., Maggiolo-Schettini, A., Comparing Hierarchies of Primitive Recursive Sequence Functions, Zeitschr.
f. math. Logik und Grunlagen d. Math. 28 (1982), pp. 431-445.
18. Maggiolo-Schettini,
A., Winkowski, J., Processes of Transforming Structures, J. Comput. System Sci.
24 (1982), pp. 245-282.
19. Winkowski,
J., Maggiolo-Schettini, A., An Algebra of Processes, J. Comput. System Sci. 35 (1987), pp. 206-228.
20. Maggiolo-Schettini,
A., Napoli, M.,Tortora, G., Web Structures : A Tool for Representing and
Manipulating Programs, IEEE Trans. on Soft. Eng. 14 (1988), pp. 1621-1639.
21. Fachini,
E., Maggiolo-Schettini, A., Resta, G., Sangiorgi, D., Some Structural
Properties of Systolic Tree Automata, Fundamenta Informaticae 12 (1989), pp. 571-585.
22. Maggiolo-Schettini,
A., Winkowski, J., A Compositional Semantics for Timed Petri Nets, Fundamenta
Informaticae 13 (1990), pp. 141-170.
23. Fachini,
E., Gruska, J., Maggiolo-Schettini, A., Sangiorgi, D.,
Simulation of Systolic Tree Automata on Trellis Automata,
International Journal of Foundations of Computer Science 1 (1990), pp. 87-110.
24. Fachini,
E., Maggiolo-Schettini, A., Resta, G., Sangiorgi, D., Non Acceptability
Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata, Theoretical Computer
Science 83 (1991), pp. 249-260.
25. Maggiolo-Schettini,
A., Pinna, G.M., Winkowski, J., A Compositional Semantics for Unmarked
Predicate/Transition Nets, Fundamenta Informaticae
14 (1991), pp. 109-128.
26. Masini,
A., Maggiolo Schettini, A., TTL : A Formalism to Describe Local and Global
Properties of Finite-state Distributed Systems, Theoretical Informatics and
Applications 26 (1992), pp. 115-149.
27. Maggiolo-Schettini,
A., Winkowski, J., Towards an Algebra of Timed Behaviours, Theoretical Computer
Science 103 (1992), pp. 335-363.
28. Maggiolo-Schettini,
A., Seccacini, P., Serratore, C.D., Computation and Representation of
Stratigraphic Sequences in a System for Archaelogical Data, Archeologia e
Calcolatori 6 (1995) pp.173-188.
29. Maggiolo-Schettini, A.,
Winkowski, J., A Kernel Language for Programmed Rewriting of (Hyper)Graphs,
Acta Informatica 33 (1996), pp. 523- 546.
30. Maggiolo-Schettini,
A., Matteucci, G., Processes of Cause-Effect Systems, Fundamenta Informaticae 31 (1997), pp.305-335.
31. Maggiolo-Schettini,
A., Winkowski, J., A Partial-order Representation of Processes of Transforming
Graphs, Fundamenta Informaticae 31
(1997), pp. 337-355.
32. Cerone,
A., Maggiolo-Schettini, A., Time Based Expressivity of Time Petri Nets for
System Specification, Theoretical Computer Science 216 (1999), pp. 1- 53 .
33. Maggiolo-Schettini,
A., Tini, S., Applying Techniques
of Asynchronous Concurrency to
Synchronous Languages, Fundamenta Informaticae
40 (1999), pp. 221-250.
34. Lanotte, R., Maggiolo-Schettini, A., Peron, A.,
Timed Cooperating Automata, Fundamenta
Informaticae 43 (2000), pp. 153-173.
35. Gruska D., Maggiolo-Schettini A., Process Algebras for Network Communication, Fundamenta Informaticae 45 (2001), pp. 1-21.
37. Lanotte, R., Maggiolo-Schettini, A., Peron, A.,
Tini, S., Transformations of Timed
Cooperating Automata, Fundamenta Informaticae 47 (2001), pp. 271-282.
36.
Maggiolo-Schettini,
A., Tini, S., Dealing with Disjunction of Literals in Triggers of Statecharts
Transitions, Information Processing Letters 84 (2002) pp. 305-310.
38. Maggiolo-Schettini, A., Peron, A., Tini,
S., A Comparison of Statecharts
Step Semantics, Theoretical Computer Science 290 (2003), pp. 465-498.
39. Lanotte, R., Maggiolo-Schettini, A., Peron, A.,
Tini, S., Dynamic Hierarchical Machines, Fundamenta Informaticae 54 (2003),
pp.237-252.
40.
Lanotte, R.,
Maggiolo-Schettini, A., Tini, S., Concurrency in Timed Automata, Theoretical
Computer Science 309 (2003), pp. 503-52.
41.
Lanotte, R.,
Maggiolo-Schettini, A., Tini, S., e-transitions in Concurrent Timed Automata, Information Processing Letters 89 (2004), pp.1-7.
42.
Tini, S.,
Maggiolo-Schettini, A., Compositional
Synthesis of Generalized Mealy Machines, Fundamenta
Informaticae 60 (2004), pp.
367-382.
43.
Lanotte, R.,
Maggiolo-Schettini, A., Information Flow
in Hybrid Systems, ACM TECS 3 (2004), pp. 760 - 799.
44.
Gorrieri, R., Lanotte.
R., Maggiolo-Schettini, A., Martinelli, F., Tini, S., Tronci, E., Automated
Analysis of Web Security: A Case Study on Web Privacy, International Journal of
Information Security 2 (2004), pp.
168-186.
45.
Lanotte, R.,
Maggiolo-Schettini, A., Monotonic Hybrid Systems, J. Comput. System Sci. 71 (2005), pp. 34 - 69.
46.
Barbuti, R., Cataudella
S., Maggiolo-Schettini, A., Milazzo, P., Troina, A., A
Probabilistic Calculus for Molecular Systems, Fundamenta Informaticae 67
(2005), pp. 13 - 27.
47.
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A., A Calculus of Looping Sequences
for Modelling Microbiological Systems, Fundamenta Informaticae 73 (2006), pp. 1 - 15.
48.
Lanotte, R.,
Maggiolo-Schettini, A., Troina, A., Decidability Results for Parametric
Probabilistic Transition Systems,
Formal Aspects of Computing
19 (2007), pp. 93-109.
49.
Lanotte, R.,
Maggiolo-Schettini, A., Troina, A., Design and Verification of Long-Running
Transactions in a Timed Framework, Science of Computer Programming 73 (2008), pp.
77-100.
50.
Gruska, D.,
Maggiolo-Schettini, A., Milazzo, P., Security in a Model for Long-running
Transactions,
Fundamenta Informaticae 85 (2008), pp. 1-15.
51.
Barbuti, R.,
Maggiolo-Schettini, A., Milazzo, P., Troina, A., Bisimulations in Calculi
Modeling Membranes, Formal Aspects of Computing 20 (2008), pp.
351-377.
52.
Barbuti, R.,
Maggiolo-Schettini, A., Milazzo, P., Tini, S., Compositional Semantics and
Behavioural Equivalences for P Systems, Theoretical Computer Science 395 (2008), pp.
77-100.
53.
Barbuti, R.,
Maggiolo-Schettini, A., Milazzo, P., Tiberi, P., Troina, A., Stochastic
Calculus of Looping Sequences for the Modeling and Simulation of Cellular
Pathways, Transactions on Computational Systems Biology IX (2008), pp. 86-113.
54.
Barbuti, R.,
Maggiolo-Schettini, A., Milazzo, P., Tini, S., A P Systems Flat Form Preserving
Step-by step Behaviour,
Fundamenta Informaticae 87 (2008), pp. 1-34.
55.
Lanotte, R.,
Maggiolo-Schettini, A., Troina, A., Weak Bisimulation for Probabilistic Timed
Automata, Theoretical Computer Science, (2008), pp. - .
56.
Lanotte, R.,
Maggiolo-Schettini, A., Milazzo, P., Troina, A., Design and Verification of
Long-Running Transactions in a Timed Framework, Science of Computer Programming
73 (2008), pp. 77-100.
57.
Barbuti, R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P., An Intermediate Language for the Stochastic Simulation
of Biological Systems, Theoretical Computer Science 410 (2009), pp. 3085-3109.
58.
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A., A Systematic Methodology to Construct Computational Models for Sympatric
Speciation by Sexual Selection, Journal of Biological Systems, 17 (2009), pp. 349-376.
59.
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S., P Systems with Transport and Diffusion Membrane
Channels, Fundamenta Informaticae 93 (2009), pp. 1-15.
60. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tesei, L., Timed P Automata, Fundamenta Informaticae 94 (2009), pp. 1-19.
61.
Barbuti, R., Caravagna,
G., Maggiolo-Schettini, A., Milazzo, P.,
P Systems with Endosomes,
International Journal of Computers, Communications and Control 4 (20009), pp.
214-222.
62.
Lanotte, R.,
Maggiolo-Schettini, A., Troina, A., Time and Probability Based Information Flow
Analysis, IEEE Trans. on Soft. Eng. 36 (2010), pp. 719-734.
63.
Barbuti, R.
Maggiolo-Schettini, A., Milazzo,
P., Gruska, D., A Notion of Biological Diagnosability Inspired by the Notion of
Opacity in Systems Security, Fundamenta Informaticae 102
(2010), pp. 19-84.
64.
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S., Compositional
Semantics of Spiking Neural P Systems,
Journal of Logic and Algebraic Programming 79 (2010), pp. 304-316.
65.
Barbuti, R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P., Delay Stochastic Simulation of Biological Systems: A Purely
Delayed Approach, Transactions on
Computational Systems Biology … (2010), pp. …, … .
66.
Lanotte, R.,
Maggiolo-Schettini, A., Troina, A., Reachability Results for Timed Automata with Unbounded Data Structures,
Acta Informatica 47 (2010), pp. 279-311.
67.
Lanotte, R.,
Maggiolo-Schettini, A., Troina, A., Weak Bisimulation for Probabilistic Timed
Automata, Theoretical Computer Science 411 (2010), pp. 4291-4322.
68. Barbuti, R., Dezani-Ciancaglini, M., Maggiolo-Schettini, A., Milazzo, P., Troina, A., A Formalism for the Description of Protein Interaction , Fundamenta Informaticae 103 (2010), pp. 1-29.
69.
Barbuti, R.,
Maggiolo-Schettini, A., Milazzo, P., Pardini, G., Tesei, L., Spatial P Systems,
Natural Computing, 10 (2011), pp.
3-16.
70.
Barbuti, R.,
Maggiolo-Schettini, A., Milazzo, P., Tini, S., An Overview of Operational
Semantics in Membrane Computing,
International Journal of Foundations of Computer Science 22 (2011), pp.
119-131.
71. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G., Spatial Calculus of Looping Sequences, Theoretical Computer Science 412 (2011), pp. 5976-6001.
72. Barbuti, R., Caravagna, G., Maggiolo-Schettini A., Milazzo, P., Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach, Trans. on Comput. Syst. Biol. XIII LNBI 6575 (2011), pp. 61-84.
73.
Drabik, P., Maggiolo-Schettini,
A., Milazzo, P., Modular Verification of Interactive Systems with Application to
Biology, Scientific Annals of Computer Science 21 (2011), pp. 39-72.
Papers in books and proceedings of international
conferences
1. Di
Lazzaro M.A., Luvisetto M.L., Maggiolo-Schettini, A., Masetti M., Mignoli
A., Romagnoli U., Venturi D., Zanotti U., The New FSD-IBM 360/44 System
realized at CNAF and its Performances both with Road and with
Minimum Guidance, in: Proceedings of the International Conference on Advanced Data Processing for Bubble
Chambers, Argonne National Laboratory, October 28-30, 1968, ANL 7515, pp.
140-163.
2. Maggiolo-Schettini
A., Strong H.R., A Graph-theoretic Algorithm with Applications to Transform
Recursive Programs, in: Rendiconti
del I Convegno di Informatica Teorica, Pisa, 1-3 marzo 1973, ETS, Pisa, 1973, pp. 377-392.
3. Maggiolo-Schettini
A., Rosen B.K., Strong H.R., Procedure Linkage Optimization, Conference Record
of SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Boston,
October 1-3, 1973, pp. 183-193.
4. Germano
G., Maggiolo-Schettini, Sequence to Sequence Partial Recursive Functions,
Contributed Papers to the 5th
International Congress of Logic, Methodology and Philosophy of Science,
University of Western Ontario Press, 1975, Section III, pp. 3-4.
5. Germano
G., Maggiolo-Schettini, A., Recursivity, Sequence Recursivity, Stack Recursivity
and Semantics of Programs, in: Proc.
MFCS 76, Lecture Notes in Computer Science 45, Springer, Berlin, 1976,
pp. 52 - 64.
6. Ehrig
H., Kreowski H.-J., Maggiolo-Schettini, A., Rosen B.K., Winkowski, J., Deriving
Structures from Structures, in: Proc. MFCS 78, Lecture Notes in Computer
Science 64, Springer, Berlin, 1978, pp. 177-196.
7. Maggiolo-Schettini,
A., Winkowski, J., Processes in Structures, in: Proceedings of First
International Workshop on Graph Grammars and
their Application to Computer Science and Biology, Bad Honnef, October
30-November 3, 1978, Lecture Notes in Computer Science 73, Springer, Berlin,
1979, pp. 317-330.
8. Levialdi,
S., Maggiolo-Schettini, A., Napoli, M.,
Uccella, G., Considerations on a Language for Picture Processing, Proc.
of the IV Polish-Italian Symposium on Pattern Recognition of Biomedical
Objects, Ischia, Italy (October 4-9, 1978) Quaderni de "La Ricerca
Scientifica" del CNR 108, pp.121-126 (1981).
9. Levialdi,
S., Maggiolo-Schettini, A., Napoli, M.,
Uccella, G., PIXAL: A High Level Language for Image Processing, in Real
Time Parallel Computing Image Analysis (edit. by M. Onoe, K. Preston Jr., A.
Rosenfeld), Plenum Publishing Co., New York, pp. 131-143 (1981).
10. Maggiolo-Schettini
A., Comparing Some High Level Languages for Image Processing, in: Proceedings
of the Workshop on High Level Languages for Image Processing, Windsor, June
4-8, 1979, (Ed. M. Duff), Academic Press, New York, 1981, pp. 157 - 164.
11. Levialdi
S., Maggiolo-Schettini A., Napoli M., Tortora G., Uccella G., On
the Design and Implementation of PIXAL, a Language for Image Processing, in:
Proceedings of the Workshop on High Level Languages for Image Processing,
Windsor, June 4-8, 1979, (Ed. M. Duff), Academic Press, New York, 1981, pp. 89
- 98.
12. Maggiolo-Schettini
A., Winkowski J., Towards a Programming Language for Manipulating Relational
Data Bases, in: Formal Description of Programming Concepts II (Ed. D. Bjorner),
North-Holland, Amsterdam, 1982, pp. 265 - 286.
13. Fachini,
E., Maggiolo-Schettini, A., Sangiorgi, D., Comparisons among Classes of Y-Tree
Systolic Automata, in: Proc. MFCS 1990,
Lecture Notes in Computer Science 452, Springer, Berlin, 1990, pp. 254 -
260.
14. Maggiolo-Schettini,
A., Peron, A., Semantics of Statecharts Based on Graph Rewriting, in: P. Prinetto and P. Camurati (Eds.),
Correct Hardware Design Methodologies, North-Holland, Amsterdam, 1992, pp.
91-114.
15. Maggiolo-Schettini,
A., Winkowski, J., Programmed Derivations of Relational Structures, Proceedings
of Fourth International Workshop on Graph Grammars and their Applications in
Computer Science, Lecture Notes in Computer Science 532, Springer, Berlin,
1991, pp. 582 - 598.
16. Maggiolo-Schettini,
A., Winkowski, J., A Programming Language for
Deriving Hypergraphs, Proc. CAAP 1992, Lecture Notes in Computer Science 581,
Springer, Berlin, 1992, pp. 221 - 231.
17. Gruska
D., Maggiolo-Schettini A., Process Comunication Environment, in: Proceedings of
First North American Process Algebra Workshop (Eds. S. Purushothaman and A.
Zwarico), Workshops in Computing Series, Springer, Berlin, 1993, pp.1-12.
18. Gruska
D., Maggiolo-Schettini A., Timed Network Semantics for Communicating Processes,
Proceedings Workshop CS&P 1993, Warsaw University Press, 1994, pp.125-143.
19. Cerone,
A., Maggiolo-Schettini, A., Expressivity of Timed Petri Nets: Classical
versus Time-Critical Viewpoint, Proceedings Workshop CS&P 1993, Warsaw
University Press, 1994, pp. 63 - 84.
20. Maggiolo-Schettini,
A., Peron, A., Semantics of Full Statecharts Based on Graph Rewriting,
Lecture Notes in Computer Science 776, Springer,
Berlin, 1994, pp. 265-279.
21. Peron,
A., Maggiolo-Schettini, A., Transitions as Interrupts: A New Semantics for
Timed Statecharts, in: Proc. TACS 1994, Lecture Notes in Computer Science 789,
Springer, Berlin, 1994, pp. 806-821.
22. Maggiolo
Schettini, A., Seccacini, P., Serratore, C.D., Pierobon-Benoit, R., Soricelli,
G., SYSAND: A System for the Archaelogical Excavations of Anderitum, in: J. Huggett and N. Ryan (eds.), Computer Applications and
Quantitative Methods in Archaeology 1994,
British Archaeological Reports International Series 600, Oxford, U.K., 1995,
pp. 229-233.
23. Maggiolo-Schettini,
A., Peron, A., A Graph Rewriting Framework for
Statecharts Semantics, in: Proceedings of Fifth International Workshop on Graph
Grammars and their Application to Computer Science, Lecture Notes in Computer
Science 1073, Springer, Berlin, 1996, pp.106-121.
24. Maggiolo-Schettini,
A., Peron, A., Retiming Techniques for
Statecharts, Proc. FTRTFT 1996, Lecture Notes in Computer Science 1135,
Springer, Berlin, 1996, pp. 55-71.
25. Maggiolo-Schettini,
A., Winkowski, Dynamic Graphs, Proc. MFCS 1996, Lecture Notes in Computer
Science 1113, Springer, Berlin, 1996, pp. 431-442.
26. Maggiolo-Schettini,
A., Peron, A., Tini, S., Equivalences of Statecharts, Proc. CONCUR 1996,
Lecture Notes in Computer Science 1119, Springer, Berlin, 1996, pp. 687-702.
27. Agresti, A.,
Maggiolo-Schettini, A., Saccoccio, R., Pierobon, M., Pierobon-Benoit, R., Handling
Excavation Maps in SYSAND, in H. Kammermans and K. Fennema (Eds.), Interfacing
the Past, Proceedings of CAA 1995, Vol. I, Analecta Prehistorica Leidensia 28
(1996) pp. 31-36.
28. Maggiolo-Schettini,
A., Merro, M., Priorities in Statecharts, Proc. Workshop on Analysis and
Verification of Multiple-Agent Languages, Stockholm, Sweden, June 24-26, 1996,
Lecture Notes in Computer Science 1192, Springer, Berlin, 1996, pp. 404-429.
29. Tini, S.,
Maggiolo-Schettini, A., Two Semantics for Timed Default Concurrent Constraint
Programming, Proceedings COTIC
1998, Electronic Notes in Theoretical Computer Science 16 (1) (1998).
30. Maggiolo-Schettini,
A., Tini, S., Projectability in
Statecharts, Proc. MFCS 1998 Workshop on Concurrency, Electronic Notes in
Theoretical Computer Science 18 (1998).
31. Lanotte,
R., Maggiolo-Schettini, A., Peron, A., Timed Cooperating Automata, Proc.
Workshop CS&P 1999, Warsaw, Poland, 28-30 September 1999 (Eds. H-D
Burkhard, L. Czaja, H-S Nguyen, P. Starke), pp. 96-106.
32. Tini,
S., Maggiolo-Schettini, A., A Truly Concurrent Semantics for Timed Default Concurrent
Constraint Programming, Proc. ECOOP Workshops 1999, pp.256-258.
33. Tini, S., Maggiolo-Schettini, A., A Causal
Semantics for Timed Default Concurrent Constraint Programming, Proc. AMAST 2000, Lecture Notes in Computer
Science 1816, Springer, Berlin, 2000, pp. 228-242.
34. Lanotte, R.,
Maggiolo-Schettini, A., Timed Automata with Monotonic Activities,
Proc. MFCS 2000, Lecture Notes in Computer Science 1893, Springer, Berlin,
2000, pp. 518-527.
35. Lanotte,
R., Maggiolo-Schettini, A., Peron, A., Tini, S., Transformations of Timed Cooperating Automata, Proc. Workshop CS&P 2000, Berlin,
Germany, 9-11 October 2000 (Eds.
H-D Burkhard, L. Czaja, , A. Skowron, P. Starke), pp. 105-116.
36.
Lanotte,
R., Maggiolo-Schettini, A., Tini, S., Concurrency in Timed Automata, Proc. FCT
2001, Lecture Notes in Computer Science 2138, Springer, Berlin, 2001, pp.
240-251.
37. Lanotte,
R., Maggiolo-Schettini, A., Tini, S., Privacy in Real Time Systems, Proc. MTCS
2001, Electronic Notes in Theoretical Computer Science 52 (3) (2002).
38. Focardi, R., Gorrieri, R., Lanotte. R., Maggiolo-Schettini, A.,
Martinelli, F., Tini, S., Tronci, E., Formal models of timing attacks on web
privacy, Proc. TOSCA 2001, Electronic Notes in Theoretical Computer Science 62
(2002), pp.229-243.
39.
Lanotte,
R., Maggiolo-Schettini, A., Peron, A., Tini, S., Dynamic Hierarchical Machines,
Proc. Workshop CS&P 2002, Berlin, Germany, 7-9 October 2002 (Eds. H-D Burkhard, L. Czaja, G.
Lindemann, A. Skowron, P. Starke),
pp. 205-216.
40.
Lanotte,
R., Maggiolo-Schettini, A., Troina, A., Weak Bisimulation for Probabilistic
Timed Automata and Applications to Security, Proc. SEFM 2003, IEEE Press, 2003,
pp. 34 - 43.
41.
Maggiolo-Schettini,
Tini, S., Synthesis of Generalized Mealy Machines, Proc. Workshop CS&P
2003, Czarna, Poland, Germany,
25-27 September 2003 (Eds. H-D Burkhard, L. Czaja, G. Lindemann, A. Skowron, Z.Suraj), pp. 336 - 352.
42.
Gruska,
D., Maggiolo-Schettini, A., Nested Timing Attacks, Proceedings FAST 2003, IIT
TR-10/2003, pp. 147-161.
44.
Lanotte,
R., Maggiolo-Schettini, A., Troina, A., Decidability Results for Parametric
Transition Systems with an Application to Security, Proc. SEFM
2004, IEEE Press, 2004, pp. 114 - 121.
45.
Lanotte,
R., Maggiolo-Schettini, Tini, S., Tronci, E., Automatic Analysis of the NRL
Pump, Proc. Workshop MEFISTO, Electronic Notes in Theoretical Computer Science
99, 2004.
46.
Lanotte,
R., Maggiolo-Schettini, A., Tini, S., Tronci, E.,
Automatic Covert Channel Analysis of a Multilevel Secure
Component, Proc. ICICS 2004, Lecture Notes in Computer Science 3269,
Springer, Berlin, 2004, pp. 249-261.
47.
Lanotte,
R., Maggiolo-Schettini, A., Tini, S., Troina, A., Verification of Hybrid
Automata by Synthesis and Refinement, Proc. Workshop CS& P 2004, Potsdam,
Germany, 24-26 September 2004 (Eds. G. Lindemann, H-D Burkhard, L. Czaja, A.
Skowron, H. Schlingloff, Z.Suraj), pp. 69-80.
48.
Barbuti,
R., Cataudella S., Maggiolo-Schettini, A., Milazzo, P., Troina, A., A Probabilistic Calculus for
Molecular Systems, Proc. Workshop CS&P 2004, Potsdam, Germany,
24-26 September 2004 (Eds. G. Lindemann, H-D Burkhard, L. Czaja, A. Skowron, H.
Schlingloff, Z.Suraj), pp. 202 - 216.
49.
Lanotte,
R., Maggiolo-Schettini, A., Troina, A., Automatic Analysis of a Non-Repudiation Protocol,
Proc. QAPL 2004, Electronic Notes in Theoretical
Computer Science 112, 2005, pp. 113-129.
50.
Lanotte,
R., Maggiolo-Schettini, A., Troina, A., Information
Flow Analysis for Probabilistic Time Automata, Proc. IFIP TC1 WG1.7 Workshop on Formal
Aspects in Security and Trust, Toulouse, France,
August
22-27, 2004 (Eds. T. Dimitrakos, F.Martinelli), IFIP Series, Vol. 173, Springer, Berlin,
2005, pp. 13-26.
51.
Lanotte,
R., Maggiolo-Schettini, A., Troina, A., Timed
Automata with Data Structures for Distributed Systems Design and Analysis,
Proc. SEFM 2005, IEEE Press, 2005, pp. 44 - 53.
52.
Barbuti,
R., Maggiolo-Schettini, A., Milazzo, P., Troina, A., A Calculus
of Looping Sequences for Modelling Biological Systems, Proc. Workshop
CS&P 2005 (Ed.L. Czaja), Warsaw University Press, pp. 29 - 40.
53.
Lanotte,
R., Maggiolo-Schettini, A., Troina, A., A
Classification of Time and/or Probability Dependent Security Properties, Proc.
QAPL 2005, Electronic Notes in Theoretical Computer
Science 153, 2006, pp.
177-193.
54.
Lanotte,
R., Maggiolo-Schettini, A., Milazzo, P., Troina, A., Modelling Long Running Transactions
with Communicating Hierarchical Timed Automata,
Proc. FMOODS 2006, Lecture Notes in Computer Science
4037, Springer, Berlin, 2006, pp. 108-122.
55. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.,
Bisimulation
Congruences in Calculi for the Modelling of Membranes, Proc. ICTAC 2006, Lecture Notes in
Computer Science 4281, Springer, Berlin, 2006, pp. 93-107.
56.
Barbuti,
R., Maggiolo-Schettini, A., Milazzo, P., Extending the Calculus of Looping
Sequences to Model Protein Interaction at the Domain Level , Proc. ISBRA 2007, Lecture Notes in Computer
Science 4463, Springer, Berlin, 2007, pp. 638-649.
57.
Barbuti,
R., Maggiolo-Schettini, A., Milazzo, P., Troina, A., The Calculus of Looping
Sequences for Modelling Biological Membranes , Proc. WMC8, Lecture Notes in Computer Science 4860, Springer,
Berlin, 2007, pp. 54-76.
58.
Barbuti,
R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P., An Intermediate
Language for the Simulation of Biological Systems, Proc. FBTC 2007, Electronic Notes in Theoretical Computer
Science 194 (2008), pp. 19-34.
59.
Barbuti,
R., Maggiolo-Schettini, A., Milazzo, P., Tini, S., Towards a P Systems Normal
Form Preserving Stp-by step Behavior, BWMC 2008, RGNC Report 01/2008, Fenix Editora, Sevilla, 2008, pp.
21-40.
60. Barbuti,
R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P., Pardini, G., The
Calculus of Looping Sequences,
SFM-Bio 2008, Lecture Notes in Computer Science 5016, Springer, Berlin,
2008, pp. 387-423.
61. Barbuti,
R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G., Spatial Calculus of
Looping Sequences, Proc. FBTC
2008, Electronic Notes in Theoretical Computer Science 229 (2008), pp. 21- 39.
62. Barbuti,
R., Maggiolo-Schettini, A., Milazzo, P., Tesei, L., Timed P Automata , Proc. MeCBIC 2008, Electronic Notes in
Theoretical Computer Science 227, 2009, pp. 21-36.
63.
Barbuti,
R., Maggiolo-Schettini, A., Milazzo, P., Tini, S., P Systems with Transport and
Diffusion Membrane Channels, Proc. Workshop CS&P 2008, Gross Vater See, Germany,
September 29th - October 1st, 2008 (Ed. G. Lindemann), pp. 13-24.
64.
Barbuti,
R., Caravagna, G., Maggiolo-Schettini, A., Milazzo,
P Systems with Endosomes, BWMC 2009,
RGNC Report 1/2009, Fenix Editora,
Sevilla, 2009, pp. 51-64.
65.
Barbuti,
R., Lepri, D., Maggiolo-Schettini, A., Milazzo, P., Pardini, G., Rama, A.,
Simulation of Kohn Interaction Maps through Translation into Stochastic CLS+,
Proc. PSI 2009, Lecture Notes in Computer Science 5947, Springer, Berlin, 2010,
pp. 58 -69.
66.
Drabik,
P., Maggiolo-Schettini, A., Milazzo, P., Modular
Verification of Interactive Systems with Application to Biology, Proc. CS2Bio 2010,
ENTCS …, 2010, pp. …- … .
67.
Basuki,
A., Cerone, A., Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Rossi, E.,
Modeling the Dynamics of an Aedes Albopictus Population, Proc. AMCA-POP 2010,
EPTCS 33, 2010, pp. 18- 36.
68.
Drabik, P.,
Maggiolo-Schettini, A., Milazzo, P., Dynamic SYNC-Programs for Modular
Verification of Biological Systems, Proc. NCMA 10,
pp. …- … .
69.
Barbuti, R., Caravagna,
G., Maggiolo-Schettini, A., Milazzo, P., Tini, S., Aspects of Multiscale Modelling in a Process Algebra for Biological Systems, Proc. MeCBIC 2010, EPTCS 40, 2010,
pp. 54-69.
70.
Barbuti, R.,
Maggiolo-Schettini, P. Milazzo, S. Tini, Membrane Systems Working in Generating
and Accepting Modes: Expressiveness and Encodings, Proc. CMC 11, Lecture Notes in Computer Science
6501, Springer, Berlin, 2010, pp. 102-118.
71.
Drabik, P.,
Maggiolo-Schettini, A., Milazzo, P., Applications of a Modular Verification
Technique in Systems Biology, BITS 2011.
72.
Drabik, P.,
Maggiolo-Schettini, A., Milazzo, P., On Conditions for Modular Verification in
Systems of Synchronising Components, Proceedings CS&P 2011, pp. 111-121.