Work in progress
3
Behavioral Types in Programming Languages
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco Thudichum Vasconcelos, and Nobuko Yoshida
2
A Simple Library Implementation of Binary Sessions
Luca Padovani
submitted, 2015
1
A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
Ferruccio Damiani, Luca Padovani, and Ina Schaefer
submitted, 2014
Journal papers
15
Foundations of of Session Types and Behavioural Contracts
Hans Hüttel, Ivan Lanese, Vasco Thudichum Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, and Gianluigi Zavattaro
ACM Computing Surveys, vol. 49, issue 1, ISSN 0360-0300, ACM, 2016
14
Fair Subtyping for Multi-Party Session Types
Luca Padovani
Mathematical Structures in Computer Science, vol. 26, issue 3, pages 424-464, ISSN 1469-8072, Cambridge University Press, 2016
13
Global Progress for Dynamically Interleaved Multiparty Sessions
Mathematical Structures in Computer Science, vol. 26, issue 2, pages 238-302, ISSN 1469-8072, Cambridge University Press, 2016
12
Type Reconstruction for the Linear π-Calculus with Composite Regular Types
Luca Padovani
Logical Methods in Computer Science, vol. 11, issue 4:13, pages 1-23, ISSN 1860-5974, 2015
11
An Algebraic Theory for Web Service Contracts
Cosimo Laneve and Luca Padovani
Formal Aspects of Computing, vol. 27, issue 4, pages 613-640, ISSN 0934-5043, Springer, 2015
10
Exception Handling for Copyless Messaging
Svetlana Jakšić and Luca Padovani
Science of Computer Programming, vol. 84, pages 22-51, ISSN 0167-6423, Elsevier, 2014
9
On Global Types and Multi-Party Sessions
Logical Methods in Computer Science, vol. 8, issue 1:24, pages 1-45, ISSN 1860-5974, 2012
8
Typing Copyless Message Passing
Viviana Bono and Luca Padovani
Logical Methods in Computer Science, vol. 8, issue 1:17, pages 1-50, ISSN 1860-5974, 2012
7
On Projecting Processes into Session Types
Luca Padovani
Mathematical Structures in Computer Science, vol. 22, issue 2, pages 237-289, ISSN 0960-1295, Cambridge University Press, 2012
6
Contract-Based Discovery of Web Services Modulo Simple Orchestrators
Luca Padovani
Theoretical Computer Science, vol. 411, pages 3328-3347, ISSN 0304-3975, Elsevier, 2010
5
PiDuce - A Project for Experimenting Web Services Technologies
Samuele Carpineti, Cosimo Laneve, and Luca Padovani
Science of Computer Programming, vol. 74, no. 10, pages 777-811, ISSN 0167-6423, Elsevier, 2009
4
A Theory of Contracts for Web Services
Giuseppe Castagna, Nils Gesbert, and Luca Padovani
ACM Transactions on Programming Languages and Systems, vol. 31, no. 5, ISSN 0164-0925, ACM, 2009
3
MathML Formatting with TEX Rules, TEX Fonts, and TEX Quality
Luca Padovani
The Communications of the TEX Users Group, vol. 24, no. 1, pages 53-61, ISSN 0896-3207, 2003
2
Mathematical Knowledge Management in HELM
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, and Irene Schena
Annals of Mathematics and Artificial Intelligence, vol. 38, no. 1-3, pages 27-46, ISSN 1012-2443, Kluwer Academic Publishers, 2003
1
The GNOME DOM Engine
Paolo Casarini and Luca Padovani
Markup Languages: Theory & Practice, vol. 3, no. 2, pages 173-190, ISSN 1099-6621, The MIT press, 2002
Proceedings
53
On Sessions and Infinite Data
Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'16)
LNCS, vol. 9686, eds. Alberto Lluch Lafuente and José Proença, Springer, 2016
52
The Chemical Approach to Typestate-Oriented Programming
Silvia Crafa and Luca Padovani
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA'15), eds. Jonathan Aldrich and Patrick Eugster, ACM SIGPLAN Notices, vol. 50, issue 10, pages 917-934, ACM, 2015
51
Types for Deadlock-Free Higher-Order Programs
Luca Padovani and Luca Novara
Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15)
LNCS, vol. 9039, eds. Susanne Graf and Mahesh Viswanathan, pages 3-18, Springer, 2015
50
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
Luca Padovani, Tzu-Chun Chen, and Andrea Tosatto
Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15)
LNCS, vol. 9037, eds. Tom Holvoet and Mirko Viroli, pages 83-98, Springer, 2015
49
Deadlock and Lock Freedom in the Linear π-Calculus
Luca Padovani
Proceedings of the Joint EACSL Annual Conference on Computer Science Logic and Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), pages 72:1-72:10, ACM, 2014
48
Typing Liveness in Multiparty Communicating Systems
Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'14)
LNCS, vol. 8459, eds. Eva Kühn and Rosario Pugliese, pages 147-162, Springer, 2014
47
Session Type Isomorphisms
Proceedings of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'14)
EPTCS, vol. 155, eds. Alastair F. Donaldson and Vasco Thudichum Vasconcelos, pages 61-71, Open Publishing Association, 2014
46
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
Luca Padovani
Proceedings of the International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14)
LNCS, vol. 8412, ed. Anca Muscholl, pages 88-102, Springer, 2014
45
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation
Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'14)
ACM SIGPLAN Notices, vol. 49, issue 1, pages 5-17, ACM, 2014
44
Fair Subtyping for Open Session Types
Luca Padovani
Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP'13), Part II
LNCS, vol. 7966, eds. Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, and David Peleg, pages 373-384, Springer, 2013
43
An Algebraic Theory for Web Service Contracts
Cosimo Laneve and Luca Padovani
Proceedings of the International Conference on Integrated Formal Methods (IFM'13)
LNCS, vol. 7940, eds. Einar Broch Johnsen and Luigia Petre, pages 301-315, Springer, 2013
42
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
Viviana Bono, Luca Padovani, and Andrea Tosatto
Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'13)
LNCS, vol. 7892, eds. Dirk Beyer and Michele Boreale, pages 83-98, Springer, 2013
41
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'13)
LNCS, vol. 7890, eds. Christine Julien and Rocco De Nicola, pages 45-59, Springer, 2013
40
From Lock Freedom to Progress Using Session Types
Luca Padovani
Proceedings of Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'13)
EPTCS, vol. 137, eds. Nobuko Yoshida and Wim Vanderbauwhede, pages 3-19, Open Publishing Association, 2013
39
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
Proceedings of the International Workshop on Behavioural Types (BEAT'13), pages 16-27, 2013
38
A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
Ferruccio Damiani, Luca Padovani, and Ina Schaefer
Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE'12)
ACM SIGPLAN Notices vol. 48 issue 3 eds. Klaus Ostermann and Walter Binder, pages 1-10 ACM 2012
37
Exception Handling for Copyless Messaging
Svetlana Jakšić and Luca Padovani
Proceedings of the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'12), eds. Danny De Schreye, Gerda Janssens, and Andy King, pages 151-162, ACM, 2012
36
Polymorphic Endpoint Types for Copyless Message Passing
Viviana Bono and Luca Padovani
Proceedings of the Interaction and Concurrency Experience (ICE'11)
EPTCS, vol. 59, eds. Alexandra Silva, Simon Bliudze, Roberto Bruni, and Marco Carbone, pages 52-67, Open Publishing Association, 2011
35
Fair Subtyping for Multi-Party Session Types
Luca Padovani
Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'11)
LNCS, vol. 6721, eds. Wolfgang De Meuter and Gruia-Catalin Roman, pages 127-141, Springer, 2011
34
On Global Types and Multi-Party Sessions
Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'11)
LNCS, vol. 6722, eds. Roberto Bruni and Juergen Dingel, pages 1-28, Springer, 2011
33
Typing Copyless Message Passing
Viviana Bono, Chiara Messa, and Luca Padovani
Proceedings of the European Symposium on Programming (ESOP'11)
LNCS, vol. 6602, ed. Gilles Barthe, pages 57-76, Springer, 2011
32
Session Types = Intersection Types + Union Types
Luca Padovani
Proceedings of the Workshop on Intersection Types and Related Systems (ITRS'10)
EPTCS, vol. 45, eds. Elaine Pimentel, Betti Venneri, and Joe Wells, pages 71-89, Open Publishing Association, 2011
31
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN'10)
vol. 627, eds. Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas, and Nicolas Maudet, pages 134-149, CEUR, ISSN 1613-0073, 2010
30
Foundations of Session Types
Proceedings of the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'09), eds. António Porto and Francisco J. López-Fraguas, pages 219-230, ACM, 2009
29
Contracts for Mobile Processes
Giuseppe Castagna and Luca Padovani
Proceedings of the International Conference on Concurrency Theory (CONCUR'09)
LNCS, vol. 5710, eds. Mario Bravetti and Gianluigi Zavattaro, pages 211-228, Springer, 2009
28
Session Types at the Mirror
Luca Padovani
Proceedings of the Interaction and Concurrency Experience (ICE'09)
EPTCS, vol. 12, eds. Filippo Bonchi, Davide Grohmann, Paola Spoletini, and Emilio Tuosto, pages 71-86, Open Publishing Association, 2009
27
A Preliminary Proposal of Decidable Testing Relations for Infinitary Asynchronous CCS
Giuseppe Castagna and Luca Padovani
Pre-proceedings of the International Workshop on Verification of Infinite-State Systems (INFINITY'09), 2009
26
Contract-Directed Synthesis of Simple Orchestrators
Luca Padovani
Proceedings of the International Conference on Concurrency Theory (CONCUR'08)
LNCS, vol. 5201, eds. Franck van Breugel and Marsha Chechik, pages 131-146, Springer, 2008
25
The Pairing of Contracts and Session Types
Cosimo Laneve and Luca Padovani
Concurrency, Graphs and Models (Ugo65'08)
LNCS, vol. 5065, eds. Pierpaolo Degano, Rocco De Nicola, and José Meseguer, Springer, pages 681-700, 2008
24
A Theory of Contracts for Web Services
Giuseppe Castagna, Nils Gesbert, and Luca Padovani
Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08)
ACM SIGPLAN Notices, vol. 43, issue 1, pages 261-272, ACM, 2008
23
The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts
Cosimo Laneve and Luca Padovani
Proceedings of the International Conference on Concurrency Theory (CONCUR'07)
LNCS, vol. 4703, eds. Luís Caires and Vasco Thudichum Vasconcelos, pages 212-225, Springer, 2007
22
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
Marco Bernardo and Luca Padovani
Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07)
LNCS, vol. 4468, eds. Marcello M. Bonsangue and Einar Broch Johnsen, pages 269-284, Springer, 2007
21
A Theory of Contracts for Web Services
Giuseppe Castagna, Nils Gesbert, and Luca Padovani
Proceedings of the ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X'07), pages 37-48, ACM, 2007
20
A Formal Account of Contracts for Web Services
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, and Luca Padovani
Proceedings of the International Workshop on Web Services and Formal Methods (WS-FM'06)
LNCS, vol. 4184, eds. Mario Bravetti, Manuel Núñez, and Gianluigi Zavattaro, pages 148-162, Springer, 2006
19
From Notation to Semantics: There and Back Again
Luca Padovani and Stefano Zacchiroli
Proceedings of the Mathematical Knowledge Management (MKM'06)
LNAI, vol. 4108, eds. Jonathan M. Borwein and William M. Farmer, pages 194-207, Springer, 2006
18
Smooth Orchestrators
Cosimo Laneve and Luca Padovani
Proceedings of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06)
LNCS, vol. 3921, eds. Luca Aceto and Anna Ingólfsdóttir, pages 32-46, Springer, 2006
17
A Distributed Implementation of Mobile Nets as Mobile Agents
Nadia Busi and Luca Padovani
Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05)
LNCS, vol. 3535, eds. Martin Steffen and Gianluigi Zavattaro, pages 259-274, Springer, 2005
16
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Luca Padovani
Proceedings of the Compiler Construction (CC'05)
LNCS, vol. 3443, ed. Rastislav Bodik, pages 27-42, Springer, 2005
15
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE'04)
LNCS, vol. 3286, eds. Gabor Karsai and Eelco Visser, pages 469-487, Springer, 2004
14
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
Luca Padovani and Riccardo Solmi
Proceedings of the Mathematical Knowledge Management (MKM'04)
LNCS, vol. 3119, eds. Andrea Asperti, Grzegorz Bancerek, and Andrzej Trybulec, pages 302-316, Springer, 2004
13
A Math Canvas for the GNOME Desktop
Luca Padovani
Proceedings of the Annual GNOME User and Developer European Conference (GUADEC'04), vol. 107, ISSN 0806-5942, Agder University College, 2004
12
Interactive Editing of MathML Markup Using TEX Syntax
Luca Padovani
Proceedings of the International Conference on TeX, XML, and Digital Typography (TUG'04)
LNCS, vol. 3130, eds. Apostolos Syropoulos, Karl Berry, Yannis Haralambous, Baden Hughes, Steven Peter, and John Plaice, pages 125-138, Springer, 2004
11
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
Luca Padovani
Proceedings of the Mathematical Knowledge Management (MKM'03)
LNCS, vol. 2594, eds. Andrea Asperti, Bruno Buchberger, and James H. Davenport, pages 66-79, Springer, 2003
10
A Standalone Rendering Engine for MathML
Luca Padovani
Proceedings of the MathML International Conference (MathML'02), pages 109-114, 2002
9
A Lisp Subset Based on MathML
Yuzhen Xie, Stephen M. Watt, and Luca Padovani
Proceedings of the MathML International Conference (MathML'02), pages 101-108, 2002
8
Mathematical Knowledge Management in HELM
Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Proceedings of the Mathematical Knowledge Management (MKM'01), eds. Bruno Buchberger and Olga Caprotti, 2001
7
HELM and the Semantic Math-Web
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Proceedings of the International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01)
LNCS, vol. 2152, eds. Richard J. Boulton and Paul B. Jackson, pages 59-74, Springer, 2001
6
XML, Stylesheets and the Re-mathematization of Formal Content
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Proceedings of the Extreme Markup Languages Conference (EXTREME'01), pages 17-27, 2001
5
The GNOME DOM Engine
Paolo Casarini and Luca Padovani
Proceedings of the Extreme Markup Languages Conference (EXTREME'01), pages 45-53, 2001
4
Formal Mathematics on the Web
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Proceedings of the Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation (Crimea'01), vol. 1, pages 342-346, 2001
3
Formal Mathematics in MathML
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Session Presentation at MathML International Conference (MathML'00), 2000
2
Towards a Library of Formal Mathematics
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Technical Report at International Conference on Theorem Proving in Higher Order Logics (TPHOLs'00), 2000
1
Content-Centric Logical Environments
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Short Presentation at Annual IEEE Symposium on Logic in Computer Science (LICS'00), 2000
Book chapters
2
A Gentle Introduction to Multiparty Asynchronous Session Types
International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'15)
LNCS, vol. 9104, eds. Marco Bernardo and Einar Broch Johnsen, pages 146-178, Springer, 2015
1
Contract-based Discovery and Adaptation of Web Services
Luca Padovani
International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'09)
LNCS, vol. 5569, eds. Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro, pages 213-260, Springer, 2009
Edited books
1
Formal Methods for Web Services, International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'09), Advanced Lectures
LNCS, vol. 5569, eds. Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro, Springer, ISBN 978-3-642-01917-3, 2009
Seminars
21
The Chemical Approach to Typestate-Oriented Programming
20
Linearity and the Pi Calculus, Revisited
Communication-based Computation: Practicalities of Programming with Sessions (CoCoPoPS'15), Glasgow, UK, 8-9 June 2015
 .pdf INVITED SPEAKER
19
Chemistry of typestates
BETTY WG/MC Meetings (BETTY'15), London, UK, 17 April 2015
18
Type-based deadlock analysis of linear communications
17
Deadlock and lock freedom in the linear π-calculus
CINA 3rd general meeting, Università di Torino, 2015.
16
Type reconstruction for the linear π-calculus
Imperial College, London, 2014.
15
Behavioral subtyping
International Summer School on Behavioural Types (BETTYSS'14), Lovran, Croatia, 30 June - 4 July 2014
 .pdf INVITED LECTURER
14
Types and Effects for Deadlock-Free Higher-Order Concurrent Programs
NII Shonan Meeting (Shonan'14), Tokyo, Japan, 26-30 May 2014
 .pdf INVITED SPEAKER
13
Un système de types pour prévenir les interblocages dans le π-calcul linéaire
12
Types and Effects for Deadlock-Free Higher-Order Concurrent Programs
BETTY WG/MC Meetings (BETTY'14), Grenoble, France, 13 April 2014
11
Deadlock and lock freedom in the linear π-calculus
10
Fair Subtyping for Open Session Types
9
Fair Testing and Fair Subtyping
Workshop su Contratti e Tipi Comportamentali (COTICO'12), Lucca, Italy, 2012
 .pdf INVITED SPEAKER
8
Fair Subtyping for Multi-Party Session Types
Rencontre des groupes de travail GEOCAL (Géométrie du calcul) et LAC (Logique, Algèbre et Calcul) du GDR Informatique mathématique (LAC'11), Palaiseau, France, 2011
7
Semantic Subtyping for Session Types
Workshop on Behavioural Types (BTW'11), Lisbon, Portugal, 2011
 .pdf INVITED SPEAKER
6
Contract-based Discovery and Adaptation of Web Services
Workshop on Security Oriented Formal Techniques (WSOFT'10), Pisa, Italy, 2010 and Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10), Pisa, Italy, 2010
 .pdf INVITED SPEAKER
5
Contracts for Web Services
4
A Taste of Carbon
3
A Formal Account of Contracts for Web Services
INRIA Saclay, 2006
2
PiDuce
1
The Mathematical Markup Language and Web Technologies for Mathematics
Trieste, Italy, 2003
 .pdf INVITED LECTURER
Dissertations
2
MathML Formatting
Luca Padovani
PhD Thesis, Technical Report UBLCS-2003-3, Dipartimento di Informatica, Università di Bologna, 2003
1
Un linguaggio distribuito con agenti mobili: analisi progettuale e implementazione
Luca Padovani
Master thesis, 1998
Technical reports
12
The Chemical Approach to Typestate-Oriented Programming
Silvia Crafa and Luca Padovani
Technical Report hal-01155682, 2015
11
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
Luca Padovani, Tzu-Chun Chen, and Andrea Tosatto
Technical Report hal-01105202, 2015
10
Types for Deadlock-Free Higher-Order Concurrent Programs
Luca Padovani and Luca Novara
Technical Report hal-00954364, 2014
9
Yet Another Type System for Lock-Free Processes
Luca Padovani
Technical Report hal-00863129, 2013
8
Fair Subtyping for Open Session Types
Luca Padovani
Technical Report RT 146/13, Dipartimento di Informatica, Università di Torino, 2013
7
Exception Handling for Copyless Messaging
Svetlana Jakšić and Luca Padovani
Technical Report RT 143/12, Dipartimento di Informatica, Università di Torino, 2012
6
A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
Ferruccio Damiani, Luca Padovani, and Ina Schaefer
Technical Report RT 142/12, Dipartimento di Informatica, Università di Torino, 2012
5
Fair Subtyping for Multi-Party Session Types
Luca Padovani
Technical Report hal-00546531, 2011
4
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Technical Report RT 128/10, Dipartimento di Informatica, Università di Torino, 2010
3
Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators
Luca Padovani and Stefano Zacchiroli
Technical Report UBLCS-2007-23, Dipartimento di Informatica, Università di Bologna, 2007
2
MathML Rendering/Browsing engine
Hanane Naciri and Luca Padovani
Technical Report D4.a, IST-2001-33562 MoWGLI, 2003
1
Prototype functionalities for assisted annotation
Philippe Audebaud and Luca Padovani
Technical Report D4.c, IST-2001-33562 MoWGLI, 2003
External links

Partial lists of my papers can also be found on the following sites, although the information on this page is generally the most accurate and up-to-date:

Notes
  • The documents available on this site are meant to ease timely dissemination of research results. Copyright and all rights therein are retained by the authors or other copyright holders.
  • The BibTeX file with my complete bibliography is available here.
Words of wisdom
«The sign of intelligence is that you are constantly wondering. Idiots are always dead sure about every damn thing they are doing in their life.»
Jaggi Vasudev

Read more

Made with LESS, CSS, XSLT 2.0, Bootstrap, Open Sans, and Font Awesome. Validate HTML and CSS 3. Check URLs.Modified Fri, 29 Apr 2016.Flag Counter