Computer Science

A. Bondavalli, F. Brancati, and A. Ceccarelli. Safe estimation of time uncertainty of local clocks. In Proc. of Int. IEEE Symp. on Precision Clock Synch. for Measur., Contr. and Comm., ISPCS 2009, pages 47-52, 2009.

A. Bondavalli, S. Chiaradonna, P. Lollini, and F. Squittieri, "Integration of an MPS Modeling Approach into Mobius," in Proceeding of QEST 2006, Riverside, CA, USA, 2006, pp. 139-140

A. Daidone, F. Di Giandomenico, A. Bondavalli, and S. Chiaradonna., "Hidden Markov models as a support for diagnosis: Formalization of the problem and synthesis of the solution.," in Proceeding of 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), Leeds, UK, 2006

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Foundations of measurement theory applied to the evaluation of dependability attributes. In DSN-2007 IEEE Int. Conference on Dependable Systems and Networks, June 25-28, 2007.

A. Bondavalli, A. Ceccarelli, and L. Falai. A self-aware clock for pervasive computing systems. In The Fifteen Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2007), Febraury 7-9 2007.

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Towards making nekostat a proper measurement tool for the validation of distributed systems. In Proceedings of The 8th International Symposium on Autonomous Decentralized Systems, March 2007.

A. Bondavalli, F. V. Brasileiro, and S. Rajsbaum, editors. Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, volume 4746 of Lecture Notes in Computer Science. Springer, 2007.

P. Veríssimo, N. F. Neves, M. Correia, Y. Deswarte, A. A. E. Kalam, A. Bondavalli, A. Daidone. The CRUTIAL Architecture for Critical Information Infrastructures. In Proc. of the Workshop on Software Architectures for Dependable Systems (WADS 2007): 1-27.

A. Daidone, S. Chiaradonna, A. Bondavalli, P. Veríssimo. Analysis of a Redundant Architecture for Critical Infrastructure Protection. In Proc. of the Workshop on Software Architectures for Dependable Systems (WADS 2007): 78-100.

A. Bondavalli, I. Majzik, A. van Moorsel: International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). DSN 2008: 542-543

A. Bondavalli, P. Lollini, and L. Montecchi. Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. In Software Technologies for Embedded and Ubiquitous Systems (SEUS 2008), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Volume 5287/2008, Pages 186-197, 2008.

A. Casimiro, P. Lollini, M. Dixit, A. Bondavalli, and P. Veríssimo. A framework for dependable adaptation in probabilistic environments. In Proc. of the 23rd ACM Symposium on Applied Computing (SAC 2008), Dependable and Adaptive Distributed Systems (DADS) Track, pages 2192-2196, Fortaleza, Ceara, Brazil, March 16 - 20, 2008.

A. Bondavalli. How hard is Assessing and Measuring Resilience? Panel. EDCC 2008: 179-180.

M. Kovacs, P. Lollini, I. Majzik, and A. Bondavalli. An integrated framework for the dependability evaluation of distributed mobile applications. In Proc. of the RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008), pages 29-38, Newcastle upon Tyne, UK, November 17- 19, 2008.

A. Bondavalli, A. Ceccarelli, L. Falai. Assuring Resilient Time Synchronization. In Proceeding of 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), pp. 3-12, 2008

I. Majzik, A. Bondavalli, S. Klapka, T.K. Madsen, and D. Iovino. Formal methods in the evaluation of a safe driver-machine interface. In FORMS-FORMAT 2008, October 2008.

A. Ceccarelli, I. Majzik, D. Iovino, F. Caneschi, G. Pinter, and A. Bondavalli. A resilient sil 2 driver machine interface for train control systems. In IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08), June 2008.

A. Bondavalli, F. Brancati, A. Ceccarelli, and L. Falai. An experimental framework for the analysis and validation of software clocks. In LNCS Software Technologies for Embedded and Ubiquitous Systems (SEUS), pages 69-81, 2009.

A. Ceccarelli, A. Bondavalli, and D. Iovino. Trustworthy evaluation of a safe driver machine interface through software-implemented fault injection. In IEEE 15th Pacific Rim International Symposium on Dependable Computing, pages 234-241, 2009.

G. Bartoloni, A. Bigagli, L. Brandi, P. Crescenzi, C. Perlmuter, M. Rosi, T. Rossi, B. Salvadori. StruDle: Uno strumento di aiuto all'individuazione precoce dei disturbi di apprendimento della lettura, DIDAMATICA 2008, Parte II, 2008 , 785-793.

S. Boschi, P. Crescenzi, M. Di Ianni, G. Rossi, P. Vocca, MOMOSE: A Mobility Model Simulation Environment for Mobile Wireless Ad-hoc Networks, First International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, 2008.

P. Crescenzi, M. Di Ianni, F. Greco, G. Rossi, P. Vocca, Making Role Assignment Feasible: A Polynomial-time Algorithm for Computing Ecological Colorings, 34th International Workshop on Graph-Theoretic Concepts in Computer Science, 2008, 90-100.

P. Crescenzi, M. Loreti, R. Pugliese. ASSESSING CS1 JAVA SKILLS: A THREE-YEAR EXPERIENCE, 11th Annual Conference on Innovation and Technology in Computer Science Education, 2006, 348-348.

P. Crescenzi, C. Nocentini. “Fully integrating algorithm visualization into a cs2 course,” 12th annual Conference on Innovation and Technology in Computer Science Education, 296-300, 2007.

P. Crescenzi, C. Nocentini, A. Pietracaprina, G. Pucci, C. Sandri. “On the connectivity of bluetooth-based ad hoc networks”, thirteenth International European Conference on Parallel and Distributed Computing, 944-953, 2007.

C. Nocentini and P. Crescenzi and L. Lanzi. “Performance Evaluation of a Chord-based JXTA Implementation,” 1st International Conference on Advances in P2P Systems, 7--12, 2009

R. De Nicola, D. Latella, M. Loreti, M. Massink “Rate-Based Transition Systems for Stochastic Process Calculi” Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.). pp. 435-446. Lecture Notes in Computer Science vol. 5556. Springer. 2009.

L. Bettini, R. De Nicola, and M. Loreti. Implementing Session Centered Calculi, Formal Methods for Open Object-Based Distributed Systems (FMOODS2008), volume 5051 of Lecture Notes in Computer Science pages 100-111; Springer, 2008.

R. De Nicola, D. Gorla, Daniele, R. Hansen, F. Nielson, H. Riis Nielson, C.W. Probst and R. Pugliese. From Flow Logic to Static Type Systems for Coordination Languages, Coordination Models and Languages, 6th International Conference, COORDINATION 2008, volume 5052 of Lecture Notes in Computer Science pages 17-32; Springer, 2008.

M. Boreale, R. Bruni, R. De Nicola, and M. Loreti. Sessions and Pipelines for Structured Service Programming, Formal Methods for Open Object-Based Distributed Systems (FMOODS2008), volume 5051 of Lecture Notes in Computer Science pages 19-38; Springer, 2008.

L. Bettini, R. De Nicola, D. Falassi, and M. Loreti. Implementing a Distributed Mobile Calculus Using the IMC Framework. Electr. Notes Theor. Comput. Sci. 181: 63-79 (2007)

P. Degano, R. De Nicola, and J. Meseguer. Ugo Montanari in a Nutshell, Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science pages 7-8; Springer, 2008.

M. Boreale, R.Bruni, L. Caires, R. De Nicola, I. Lanese, M. Loreti, F. Martins, U. Montanari, A. Ravara, D. Sangiorgi, V. Thudichum Vasconcelos, G. Zavattaro SCC: A Service Centered Calculus. WS- FM 2006: 38-57, LNCS Springer 2006

R. De Nicola. Languages and Process Calculi for Network Aware Programming – Short Summary. ICTAC 2005: 49-52, LNCS Springer 2006.

L. D'Errico, M. Loreti, “A process Algebra Approach to Fuzzy Reasoning”, IFSA/EUSFLAT Conf.. Joao Paulo Carvalho, Didier Dubois, Uzay Kaymak, Joao Miguel da Costa Sousa (Eds.). pp. 1136-1141. 2009.

M. Bravetti, D. Latella, M. Loreti, M. Massink, G. Zavattaro, “Combining Timed Coordination Primitives and Probabilistic Tuple Spaces”, TGC 2008. Christos Kaklamanis, Flemming Nielson (Eds.). pp. 52-68. Lecture Notes in Computer Science vol. 5474. Springer. 2009

L. D'Errico, M. Loreti, “Assume-Guarantee Verification of Concurrent Systems”, Coordination. John Field, Vasco Thudichum Vasconcelos (Eds.). pp. 288-305. Lecture Notes in Computer Science vol. 5521. Springer. 2009.

A. Manganaro, M. Koblensky, M. Loreti, “Design of a Password-Based EAP Method”, E-business and Telecommunications 4th International Conference, ICETE 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected Papers. Joaquim Filipe and Mohammad S. Obaidat (Eds.). pp. 343-355. Communications in Computer and Information Science vol. 23. Springer. 2008

M. Massink, D. Latella, M. H. ter Beek, M. D. Harrison, M. Loreti “A Fluid Flow Approach to Usability Analysis of Multi-user Systems”, TAMODIA/HCSE. Peter Forbrig, Fabio Paternò (Eds.). pp. 166-180. Lecture Notes in Computer Science vol. 5247. Springer. 2008

A. Manganaro, M. Koblensky, M. Loreti, “Design of a Password-based Authentication Method for Wireless Networks”, WINSYS. Mohammad S. Obaidat, Victor Peral Lecha, Rafael F. S. Caldeirinha (Eds.). pp. 9-16. INSTICC Press. 2007.

L. D'Errico, M. Loreti, “Modeling Fuzzy Behaviours in Concurrent Systems”, ICTCS. pp. 94-105. 2007

L. Bettini, S. Capecchi, M. Dezani-Ciancaglini, E. Giachino, B. Venneri, “Session and Union Types for Object Oriented ProgrammingSession and Union Types for Object Oriented Programming”,
Concurrency, Graphs and Models. pp. 659-680. LNCS vol. 5065. Springer. 2008.

L. Bettini, S. Capecchi, B. Venneri. “Featherweight Java with Multi-Methods” Proc. of PPPJ, Principles and Practice of Programming in Java. pp. 83-92. vol. 272. ACM Press. 2007.

L. Bettini, S. Capecchi, B. Venneri. “A safe implementation of dynamic overloading in Java-like languages” in Proc. of 3rd International Conference on Fundamentals of Software Engineering (FSEN'09) . pp. 455-462. LNCS vol. 5961. Springer. 2009.

D. Merlini, R. Sprugnoli, M. C. Verri, "Combinatorial inversions and implicit Riordan arrays", Electronic Notes in Discrete Mathematics, 26, 103-110, 2006 (Combinatorics 2006).

D. Merlini, R. Sprugnoli, M. C. Verri, "An analysis of a simple algorithm for random derangements ", Proceedings of  ICTCS’07, World Scientific, 139-150, 2007.

D. Baccherini, D. Merlini, R. Sprugnoli, "Tablatures for Stringed Instruments and Generating Functions", Proceedings of FUN 2007, Lecture Notes in Computer Science 4475, 40-52, 2007.

D. Merlini, R. Sprugnoli, "Algebraic aspects of some Riordan arrays related to binary words avoiding a pattern ", presentato a Words 2009.

D. Merlini, R. Sprugnoli, "An algorithm for proving identities with Riordan transformations", presentato a ICTCS 2009.

M. Boreale “Weighted Bisimulation in Linear Algebraic Form”, In Proc. of International Conference on the Theory of Concurrency (CONCUR), 2009. Lecture Notes in Computer Science, Volume 5710, pp. 163--177, 2009

L. Acciai and M. Boreale “Deciding safety properties in infinite-state pi-calculus via behavioural types”, In Proc. of 36th International Colloquium on Automata, Languages and Programming (ICALP), 2009., Lecture Notes in Computer Science, Volume 5556, pp. 31-42, 2009

Lucia Acciai and Michele Boreale. “Spatial and behavioral types in the pi-calculus”, In Proc. of International Conference on the Theory of Concurrency (CONCUR), 2008. Lecture Notes in Computer Science, Volume 5201, pp. 372-386, 2008.

M. Boreale, R. Bruni, R. De Nicola and M. Loreti: Sessions and Pipelines for Structured Service Programming. In Proc. of Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2008. Lecture Notes in Computer Science, Volume 5051, pp. 19-38, 2008.

L. Acciai and M. Boreale. A type system for client progress in a service-oriented calculus. In Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, Volume 5065, pp. 642-658, 2008.

L. Acciai and M. Boreale. “Type abstractions of name-passing processes.”, In Proc. of IPM International Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, 2007. LNCS, Volume 4767, pp. 302-317, 2007

L. Acciai, M. Boreale and S. dal Zilio. “A Concurrent Calculus with Atomic Transactions”, In Proc. of European Symposium on Programming (ESOP), Braga, Portugal,  LNCS, Volume 4421, pp. 48-63, 2007.

L. Acciai, M. Boreale. “Responsiveness in Process Calculi”, Proc of ASIAN’06, LNCS, 2006

L. Acciai, M. Boreale, S. Dal Zilio. “A typed calculus for querying distributed XML documents”. Postproc. of TGC’06, LNCS, 2006.

Michele Boreale: “Attacking Right-to-Left Modular Exponentiation with Timely Random Faults”. FDTC 2006: LNCS, 24-35, 2006

M. Boreale: Quantifying Information Leakage in Process Calculi. ICALP (2) 2006: 119-131, LNCS, 2006

M. Boreale, R. Bruni, L. Caires, R. De Nicola, I. Lanese, M. Loreti, F. Martins, U. Montanari, A. Ravara, D. Sangiorgi, V. Thudichum Vasconcelos, G. Zavattaro: SCC: A Service Centered Calculus. WS-FM 2006: 38-57, LNCS, 2006.

M. Boreale, M. Grazia Buscemi, U. Montanari: A General Name Binding Mechanism. TGC 2005: 61-74, LNCS, 2006

D. Merlini, R. Sprugnoli, M. C. Verri, "Combinatorial inversions and implicit Riordan arrays", Electronic Notes in Discrete Mathematics, 26,  103-110, 2006 (Combinatorics 2006).

D. Merlini, R. Sprugnoli, M. C. Verri, “An analysis of a simple algorithm for random derangements” , Proceedings of  ICTCS’07, World Scientific, 139-150, 2007

D. Baccherini, D. Merlini, R. Sprugnoli, “Tablatures for stringed instruments and generating functions”, Proceedings of FUN 2007, Lecture Notes in Computer Science 4475, 40 – 52, 2007.

D. Merlini, R. Sprugnoli, “Identities and Riordan transformations”, Presented at Seminaire Lotharingien de Combinatoire, Bertinoro, Settembre 2007.

D. Merlini, R. Sprugnoli, M. C. Verri, “When a sum does not close”, presented at Combinatorics ’08, Hotel Poiano, Garda, June 2008.

D. Merlini, R. Sprugnoli, "Algebraic aspects of some Riordan arrays related to binary words avoiding a pattern", Words 2009.

D. Merlini, R. Sprugnoli, "An algorithm for proving identities with Riordan transformations", presentato a ICTCS 2009.

T. Bartalini, M.C. Verri, "Experimenting Wims to Teach Calculus: a First Step", Deuxième colloque international WIMS, 9 - 10 - 11 Mai 2007, Nice Sophia Antipolis.

T. Bartalini, M.C. Verri, "Learning and Teaching Mathematics on-Line: Which are the Main Difficulties?", 6th European Conference on e-Learning, 4-5 October 2007, Copenhagen.

M. Bouvel, E. Pergola (2008). “Posets and Permutations in the duplication-loss model”,  Proceedings GASCom 2008, pp. 83—93, Bibbiena (AR), 16-19 Giungo 2008.

E. Grazzini, M. Poneti, S. Rinaldi, E. Munarini - On the generation of m-compositions and m-partitions, Proc. of GASCom and Bijective Combinatorics 2006, pp. 12-23, (Dijon- France) 2006.

A. Bernini, L. Ferrari. Some order-theoretic properties of the Motzkin and Schröder families,   “Permutation Patterns 2006”, Reykjavik (Iceland), June, 12-16, 2006;

A. Bernini, M. Bouvel, L. Ferrari. Some statistics on permutations avoiding generalized patterns,   “GASCom 2006”, Dijon (France), September, 11-15, 2006;

A. Bernini, L. Ferrari, R. Pinzani. Enumeration of some classes of words avoiding two generalized patterns of length 3,   “Permutation Patterns 2007”, St. Andrews (Scotland), June, 11-15, 2007.

L. Ferrari, E. Munarini,   The Euler characteristic of some lattices of paths,   “Lattice Path Combinatorics and Discrete Distributions”, Johnson City, TN (USA), July, 12-14, 2007.

S. Bacchelli, L. Ferrari, R. Pinzani,   Mixed succesion rules: the commutative case,   “Fibonacci Numbers and Their Applications”,   Patras (Greece), July, 7-11, 2008.

I. Fanti, A. Frosini, E. Grazzini, R.Pinzani, S.Rinaldi, “Polyominoes determined by permutations”,
MathInfo 06 Fourth Colloquium on Mathematics and Computer Science Algorithms, Trees, Combinatorics and Probabilities, Nancy, DMTCS proc. AG 381-390, 2006

A. Frosini, S. Rinaldi, “An object grammar for the class of L-convex polyominoes” local proceedings of GASCom and Bijective Combinatorics 2006 (5th edition), R.Pinzani and V.Vajnovszki (Eds.), 112-123, 2006

A. Frosini, C. Picouleau, S. Rinaldi “Reconstructing Binary Matrices with Neighborhood Constraints: an NP Hard Problem” Lecture Notes in Computer Science, Vol. 4992, proceedings of 14th International Conference on Discrete Geometry for Computer Imagery, DGCI 08, 392-400 (2008).

F. Disanto, A. Frosini, M. Poneti, S. Rinaldi “Permutominides: enumeration and poset structures” Pure Mathematics and Applications, proceedings of GASCOM ’08 - Génération Aléatoire de Structures Combinatoires 2008 (to appear)

A. Blondin Massé, S. Brlek, S. Labbé, A. Frosini, S. Rinaldi “Reconstructing words from a fixed palindromic length sequence” IFIP International Federation for Information Processing, Volume 273, proceedings of Fifth IFIP International Conference on Theoretical Computer Science; Giorgio Ausiello, Juhani Karhumaki,Giancarlo Mauri, Luke Ong; (Boston: Springer), pp. 101–114. (2008)

S.Brocchi, A.Frosini, S.Rinaldi “The 1-color problem and the Brylawski model” S. Brlek, C. Reutenauer, and X. Proven¸cal (Eds.): DGCI 2009, LNCS 5810, pp. 530–538, 2009.

S.Brocchi, A.Frosini, S.Rinaldi “Solving some instances of the two color problem” S. Brlek, C. Reutenauer, and X. Proven¸cal (Eds.): DGCI 2009, LNCS 5810, pp. 505–516, 2009.

S. Brocchi, A. Frosini, R. Pinzani, S. Rinaldi “On the tiling recognizability of L-convex polyominoes” local proocedings WORDS 2009, Salerno.

A. Lapadula, R. Pugliese, F. Tiezzi. “A wsdl-based type system for wsbpel”.  Proc. of the Eighth International Conference on Coordination Models and Languages (COORDINATION'06), Lectures Notes in Computer Science 4038 (Paolo Ciancarini, Herbert Wiklicky, Eds.), pp.145-163, Springer, 2006.

A. Lapadula, R. Pugliese, F. Tiezzi. “A Calculus for Orchestration of Web Services”.  Proc. of 16th European Symposium on Programming (ESOP'07), Lectures Notes in Computer Science 4421 (R. De Nicola, Ed.), pp. 33-47, Springer, 2007.

A. Lapadula, R. Pugliese, F. Tiezzi. “Regulating data exchange in service oriented applications”.  Proc. of IPM International Symposium on Fundamentals of Software Engineering (FSEN'07), Lectures Notes in Computer Science 4767 (F. Arbab and M. Sirjani, Eds.), pp. 223-239, Springer, 2007.

A. Lapadula, R. Pugliese, F. Tiezzi. “COWS: A timed service-oriented calculus”.  Proc. of 4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07), Lectures Notes in Computer Science 4711 (C.B. Jones, Z. Liu, J. Woodcock, Eds.),  pp. 275-290, Springer, 2007.

A. Lapadula, R. Pugliese, F. Tiezzi.“A formal account of WS-BPEL”.  Proc. of the Tenth International Conference on Coordination Models and Languages (COORDINATION'08), Lectures Notes in Computer Science 5052 (Doug Lea, Gianluigi Zavattaro, Eds.), pp. 199-215, Springer, 2008.

M. Wirsing, L. Acciai, A. Clark, F. Banti, A. Fantechi, S. Gilmore, S. Gnesi, L. Gonczy, M. Holz, N. Koch, A. Lapadula, P. Mayer, F. Mazzanti, R. Pugliese, A. Schroeder, F. Tiezzi, M. Tribastone, D. Varro. “A Pattern-Based Approach to Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity”. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), Communications in Computer and Information Science (CCIS) 17 (Tiziana Margaria, Bernhard Steffen, Eds.), pp. 170-190, Springer, 2008.

R. Pugliese, F. Tiezzi, N. Yoshida: On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570, 2009

M. Masi, R. Pugliese, F. Tiezzi: On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. ICISS 2009: 55-70, 2009

To appear

S. Brocchi, A. Frosini, S. Rinaldi, A reconstruction algorithm for a subclass of instances of the 2-color problem, accettato da Theoretical Computer Science

A. Bondavalli, P. Lollini, and L. Montecchi. QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis. To appear in Journal of Software, Special issue on Selected Papers of the 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Issue 1, Feb 2010.

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi, “A new approach and a related tool for dependability measurements on distributed systems”, To appear in IEEE Transactions on Instrumentation and Measurements, 2010.

P. Crescenzi and M. Di Ianni and A. Marino and G. Rossi and P. Vocca “Spatial Node Distribution of Manhattan Path Based Random Waypoint Mobility Models with Applications”, 16th International Colloquium on Structural Information and Communication Complexity, to appear

R. De Nicola, D. Latella, M. Loreti, M. Massink, “SoSL: Service Oriented Stochastic Logic”, Sensoria Book. Lecture Notes in Computer Science. Springer. 2010. To appear

C. Alan, I. Cappello, D. Latella, M. Loreti, Q. Paola, S. Schivo, “Quantitative Analysis of Services”, Sensoria Book. Lecture Notes in Computer Science. Springer. 2010. To appear

D. Merlini, R. Sprugnoli, The relevant prefixes of coloured Motzkin walks: an average case analysis, accettato per la pubblicazione su Theoretical Computer Science.

L. Acciai and M. Boreale “Spatial and behavioral types in the pi-calculus”, To appear in Information and Computation.

L. Acciai, M. Boreale and G. Zavattaro “On the relationship between spatial logics and behavioral simulations”, To appear In Proc. of 13th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2010.

L. Ferrari, E. Pergola, R. Pinzani, S. Rinaldi (2008). “Some applications arising from the interaction between the theory of Catalan-like numbers and the ECO method”,  accettato per la pubblicazione su Ars Combinatoria.

M. Bouvel, E. Pergola. “Posets and Permutations in the duplication-loss model: minimal permutations with d descents”,  sottomesso.

E. Deutsch, E. Pergola, R. Pinzani. “Six bijections between deco polyominoes and permutations”,  sottomesso.

E. Grazzini, E. Pergola, M. Poneti. “On the exhaustive generation of convex permutominoes”, sottomesso

D. Merlini, R. Sprugnoli, The relevant prefixes of coloured Motzkin walks: an average case analysis, accettato per la pubblicazione su Theoretical Computer Science.

L. Ferrari, E. Pergola, R. Pinzani, S. Rinaldi,   Some applications arising from the interactions between the theory of Catalan-like numbers and the ECO method,   Ars Combinatoria,   (2010, in corso di stampa).