Work in progress
1
A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
Ferruccio Damiani, Luca Padovani, and Ina Schaefer
submitted, 2014
Journal papers
16
Foundations of Session Types and Behavioural Contracts
Hans Hüttel, Ivan Lanese, Vasco T. 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 49(1), 3:1-3:36, ISSN 0360-0300, ACM, 2016
15
Behavioral Types in Programming Languages
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, and Nobuko Yoshida
Foundations and Trends in Programming Languages 3(2-3): 95-230, ISSN 2325-1107, now publishers, 2016
14
Fair Subtyping for Multi-Party Session Types
Luca Padovani
13
Global Progress for Dynamically Interleaved Multiparty Sessions
12
Type Reconstruction for the Linear π-Calculus with Composite Regular Types
Luca Padovani
Logical Methods in Computer Science 11(4:13): 1-45, ISSN 1860-5974, 2015
11
An Algebraic Theory for Web Service Contracts
Cosimo Laneve and Luca Padovani
Formal Aspects of Computing 27(4): 613-640, ISSN 0934-5043, Springer, 2015
10
Exception Handling for Copyless Messaging
Svetlana Jakšić and Luca Padovani
Science of Computer Programming 84: 22-51, ISSN 0167-6423, Elsevier, 2014
9
On Global Types and Multi-Party Sessions
Logical Methods in Computer Science 8(1:24): 1-45, ISSN 1860-5974, 2012
8
Typing Copyless Message Passing
Viviana Bono and Luca Padovani
Logical Methods in Computer Science 8(1:17): 1-50, ISSN 1860-5974, 2012
7
On Projecting Processes into Session Types
Luca Padovani
6
Contract-Based Discovery of Web Services Modulo Simple Orchestrators
Luca Padovani
Theoretical Computer Science 411: 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 74(10): 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 31(5): 19:1-19:61, 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 24(1): 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 38(1-3): 27-46, ISSN 1012-2443, Kluwer Academic Publishers, 2003
1
The GNOME DOM Engine
Paolo Casarini and Luca Padovani
Markup Languages: Theory & Practice 3(2): 173-190, ISSN 1099-6621, The MIT press, 2002
Proceedings
53
On Sessions and Infinite Data
Proceedings of the 18th International Conference on Coordination Models and Languages (COORDINATION'16)
LNCS 9686: 245-261, 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), ACM SIGPLAN Notices 50(10): 917-934, eds. Jonathan Aldrich and Patrick Eugster, 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 9039: 3-18, eds. Susanne Graf and Mahesh Viswanathan, 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 17th International Conference on Coordination Models and Languages (COORDINATION'15),
LNCS 9037: 83-98, eds. Tom Holvoet and Mirko Viroli, 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 16th International Conference on Coordination Models and Languages (COORDINATION'14)
LNCS 8459: 147-162, eds. Eva Kühn and Rosario Pugliese, Springer, 2014
47
Session Type Isomorphisms
Proceedings of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'14)
EPTCS 155: 61-71, eds. Alastair F. Donaldson and Vasco T. Vasconcelos, Open Publishing Association, 2014
46
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
Luca Padovani
Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), LNCS 8412: 88-102, ed. Anca Muscholl, Springer, 2014
45
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'14)
ACM SIGPLAN Notices 49(1): 5-17, ACM, 2014
44
Fair Subtyping for Open Session Types
Luca Padovani
Proceedings of the 40th International Colloquium on Automata, Languages and Programming (ICALP'13), Part II
LNCS 7966: 373-384, eds. Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, and David Peleg, Springer, 2013
43
An Algebraic Theory for Web Service Contracts
Cosimo Laneve and Luca Padovani
Proceedings of the 10th International Conference on Integrated Formal Methods (IFM'13)
LNCS 7940: 301-315, eds. Einar Broch Johnsen and Luigia Petre, 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 7892: 83-98, eds. Dirk Beyer and Michele Boreale, Springer, 2013
41
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
Proceedings of the 15th International Conference on Coordination Models and Languages (COORDINATION'13)
LNCS 7890: 45-59, eds. Christine Julien and Rocco De Nicola, 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 137: 3-19, eds. Nobuko Yoshida and Wim Vanderbauwhede, Open Publishing Association, 2013
39
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
Proceedings of the 1st 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 11th International Conference on Generative Programming and Component Engineering (GPCE'12)
ACM SIGPLAN Notices 48(3): 1-10, eds. Klaus Ostermann and Walter Binder, ACM 2012
37
Exception Handling for Copyless Messaging
Svetlana Jakšić and Luca Padovani
Proceedings of the 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'12), pages 151-162, eds. Danny De Schreye, Gerda Janssens, and Andy King, ACM, 2012
36
Polymorphic Endpoint Types for Copyless Message Passing
Viviana Bono and Luca Padovani
Proceedings of the 4th Interaction and Concurrency Experience (ICE'11), EPTCS 59: 52-67, eds. Alexandra Silva, Simon Bliudze, Roberto Bruni, and Marco Carbone, Open Publishing Association, 2011
35
Fair Subtyping for Multi-Party Session Types
Luca Padovani
Proceedings of the 13th International Conference on Coordination Models and Languages (COORDINATION'11)
LNCS 6721: 127-141, eds. Wolfgang De Meuter and Gruia-Catalin Roman, 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 6722: 1-28, eds. Roberto Bruni and Juergen Dingel, Springer, 2011
33
Typing Copyless Message Passing
Viviana Bono, Chiara Messa, and Luca Padovani
Proceedings of the 20th European Symposium on Programming (ESOP'11)
LNCS 6602: 57-76, ed. Gilles Barthe, Springer, 2011
32
Session Types = Intersection Types + Union Types
Luca Padovani
Proceedings of the Workshop on Intersection Types and Related Systems (ITRS'10)
EPTCS 45: 71-89, eds. Elaine Pimentel, Betti Venneri, and Joe Wells, Open Publishing Association, 2011
31
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Proceedings of the 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN'10), volume 627: 134-149, eds. Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas, and Nicolas Maudet, CEUR, ISSN 1613-0073, 2010
30
Foundations of Session Types
Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'09), pages 219-230, eds. António Porto and Francisco J. López-Fraguas, ACM, 2009
29
Contracts for Mobile Processes
Giuseppe Castagna and Luca Padovani
Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09)
LNCS 5710: 211-228, eds. Mario Bravetti and Gianluigi Zavattaro, Springer, 2009
28
Session Types at the Mirror
Luca Padovani
Proceedings of the 2nd Interaction and Concurrency Experience (ICE'09), EPTCS 12: 71-86, eds. Filippo Bonchi, Davide Grohmann, Paola Spoletini, and Emilio Tuosto, 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 19th International Conference on Concurrency Theory (CONCUR'08)
LNCS 5201: 131-146, eds. Franck van Breugel and Marsha Chechik, Springer, 2008
25
The Pairing of Contracts and Session Types
Cosimo Laneve and Luca Padovani
Concurrency, Graphs and Models (Ugo65'08)
LNCS 5065: 681-700, eds. Pierpaolo Degano, Rocco De Nicola, and José Meseguer, Springer, 2008
24
A Theory of Contracts for Web Services
Giuseppe Castagna, Nils Gesbert, and Luca Padovani
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08)
ACM SIGPLAN Notices 43(1): 261-272, ACM, 2008
23
The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts
Cosimo Laneve and Luca Padovani
Proceedings of the 18th International Conference on Concurrency Theory (CONCUR'07)
LNCS 4703: 212-225, eds. Luís Caires and Vasco T. Vasconcelos, Springer, 2007
22
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
Marco Bernardo and Luca Padovani
Proceedings of the 9th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07), LNCS 4468: 269-284, eds. Marcello M. Bonsangue and Einar Broch Johnsen, 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 3rd International Workshop on Web Services and Formal Methods (WS-FM'06)
LNCS 4184: 148-162, eds. Mario Bravetti, Manuel Núñez, and Gianluigi Zavattaro, Springer, 2006
19
From Notation to Semantics: There and Back Again
Luca Padovani and Stefano Zacchiroli
Proceedings of the 5th International Conference on Mathematical Knowledge Management (MKM'06)
LNAI 4108: 194-207, eds. Jonathan M. Borwein and William M. Farmer, 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 3921: 32-46, eds. Luca Aceto and Anna Ingólfsdóttir, Springer, 2006
17
A Distributed Implementation of Mobile Nets as Mobile Agents
Nadia Busi and Luca Padovani
Proceedings of the 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05), LNCS 3535: 259-274, eds. Martin Steffen and Gianluigi Zavattaro, Springer, 2005
16
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Luca Padovani
Proceedings of the 14th International Conference on Compiler Construction (CC'05)
LNCS 3443: 27-42, ed. Rastislav Bodik, Springer, 2005
15
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (GPCE'04)
LNCS 3286: 469-487, eds. Gabor Karsai and Eelco Visser, Springer, 2004
14
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
Luca Padovani and Riccardo Solmi
Proceedings of the 3rd International Conference on Mathematical Knowledge Management (MKM'04)
LNCS 3119: 302-316, eds. Andrea Asperti, Grzegorz Bancerek, and Andrzej Trybulec, 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 3130: 125-138, eds. Apostolos Syropoulos, Karl Berry, Yannis Haralambous, Baden Hughes, Steven Peter, and John Plaice, Springer, 2004
11
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
Luca Padovani
Proceedings of the 2nd International Conference on Mathematical Knowledge Management (MKM'03)
LNCS 2594: 66-79, eds. Andrea Asperti, Bruno Buchberger, and James H. Davenport, 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 1st International Conference on 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 2152: 59-74, eds. Richard J. Boulton and Paul B. Jackson, 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 8th International Conference on Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation (Crimea'01), volume 1: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 9104: 146-178, eds. Marco Bernardo and Einar Broch Johnsen, 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 5569: 213-260, eds. Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro, 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 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
14
On the chemistry of typestate-oriented actors
Silvia Crafa and Luca Padovani
Technical Report CoRR abs/1607.02927, 2016
13
A Simple Library Implementation of Binary Sessions
Luca Padovani
Technical Report hal-01216310, 2015
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
More
Made with LESS, CSS, XSLT 2.0, Bootstrap, Open Sans, and Font Awesome. Validate HTML and CSS 3. Check URLs.Modified Wed, 10 Aug 2016.Flag Counter