Work in progress
1
Ferruccio Damiani, Luca Padovani, Ina Schaefer and Christoph Seidl
A Core Calculus for Dynamic Delta-Oriented Programming
submitted, 2016
Journal papers
17
Luca Padovani
A Simple Library Implementation of Binary Sessions
16
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
Foundations of Session Types and Behavioural Contracts
ACM Computing Surveys 49(1), 3:1-3:36, ISSN 0360-0300, ACM, 2016
15
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
Behavioral Types in Programming Languages
Foundations and Trends in Programming Languages 3(2-3): 95-230, ISSN 2325-1107, now publishers, 2016
14
Luca Padovani
Fair Subtyping for Multi-Party Session Types
13
Global Progress for Dynamically Interleaved Multiparty Sessions
12
Luca Padovani
Type Reconstruction for the Linear π-Calculus with Composite Regular Types
Logical Methods in Computer Science 11(4:13): 1-45, ISSN 1860-5974, 2015
11
Cosimo Laneve and Luca Padovani
An Algebraic Theory for Web Service Contracts
Formal Aspects of Computing 27(4): 613-640, ISSN 0934-5043, Springer, 2015
10
Svetlana Jakšić and Luca Padovani
Exception Handling for Copyless Messaging
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
Viviana Bono and Luca Padovani
Typing Copyless Message Passing
Logical Methods in Computer Science 8(1:17): 1-50, ISSN 1860-5974, 2012
7
Luca Padovani
On Projecting Processes into Session Types
6
Luca Padovani
Contract-Based Discovery of Web Services Modulo Simple Orchestrators
Theoretical Computer Science 411: 3328-3347, ISSN 0304-3975, Elsevier, 2010
5
Samuele Carpineti, Cosimo Laneve and Luca Padovani
PiDuce - A Project for Experimenting Web Services Technologies
Science of Computer Programming 74(10): 777-811, ISSN 0167-6423, Elsevier, 2009
4
Giuseppe Castagna, Nils Gesbert and Luca Padovani
A Theory of Contracts for Web Services
ACM Transactions on Programming Languages and Systems 31(5): 19:1-19:61, ISSN 0164-0925, ACM, 2009
3
Luca Padovani
MathML Formatting with TEX Rules, TEX Fonts, and TEX Quality
The Communications of the TEX Users Group 24(1): 53-61, ISSN 0896-3207, 2003
2
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi and Irene Schena
Mathematical Knowledge Management in HELM
Annals of Mathematics and Artificial Intelligence 38(1-3): 27-46, ISSN 1012-2443, Kluwer Academic Publishers, 2003
1
Paolo Casarini and Luca Padovani
The GNOME DOM Engine
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
Silvia Crafa and Luca Padovani
The Chemical Approach to Typestate-Oriented Programming
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
Luca Padovani and Luca Novara
Types for Deadlock-Free Higher-Order Programs
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
Luca Padovani, Tzu-Chun Chen and Andrea Tosatto
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
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
Luca Padovani
Deadlock and Lock Freedom in the Linear π-Calculus
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
Luca Padovani
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
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
Luca Padovani
Fair Subtyping for Open Session Types
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
Cosimo Laneve and Luca Padovani
An Algebraic Theory for Web Service Contracts
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
Viviana Bono, Luca Padovani and Andrea Tosatto
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
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
Luca Padovani
From Lock Freedom to Progress Using Session Types
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
Ferruccio Damiani, Luca Padovani and Ina Schaefer
A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
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
Svetlana Jakšić and Luca Padovani
Exception Handling for Copyless Messaging
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
Viviana Bono and Luca Padovani
Polymorphic Endpoint Types for Copyless Message Passing
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
Luca Padovani
Fair Subtyping for Multi-Party Session Types
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
Viviana Bono, Chiara Messa and Luca Padovani
Typing Copyless Message Passing
Proceedings of the 20th European Symposium on Programming (ESOP'11)
LNCS 6602: 57-76, ed. Gilles Barthe, Springer, 2011
32
Luca Padovani
Session Types = Intersection Types + Union Types
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
Giuseppe Castagna and Luca Padovani
Contracts for Mobile Processes
Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09)
LNCS 5710: 211-228, eds. Mario Bravetti and Gianluigi Zavattaro, Springer, 2009
28
Luca Padovani
Session Types at the Mirror
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
Giuseppe Castagna and Luca Padovani
A Preliminary Proposal of Decidable Testing Relations for Infinitary Asynchronous CCS
Pre-proceedings of the 11th International Workshop on Verification of Infinite-State Systems (INFINITY'09), 2009
26
Luca Padovani
Contract-Directed Synthesis of Simple Orchestrators
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
Cosimo Laneve and Luca Padovani
The Pairing of Contracts and Session Types
Concurrency, Graphs and Models (Ugo65'08)
LNCS 5065: 681-700, eds. Pierpaolo Degano, Rocco De Nicola and José Meseguer, Springer, 2008
24
Giuseppe Castagna, Nils Gesbert and Luca Padovani
A Theory of Contracts for Web Services
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
Cosimo Laneve and Luca Padovani
The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts
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
Marco Bernardo and Luca Padovani
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
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
Giuseppe Castagna, Nils Gesbert and Luca Padovani
A Theory of Contracts for Web Services
Proceedings of the ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X'07), pages 37-48, ACM, 2007
20
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve and Luca Padovani
A Formal Account of Contracts for Web Services
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
Luca Padovani and Stefano Zacchiroli
From Notation to Semantics: There and Back Again
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
Cosimo Laneve and Luca Padovani
Smooth Orchestrators
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
Nadia Busi and Luca Padovani
A Distributed Implementation of Mobile Nets as Mobile Agents
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
Luca Padovani
Compilation of Generic Regular Path Expressions Using C++ Class Templates
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
Luca Padovani and Riccardo Solmi
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
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
Luca Padovani
A Math Canvas for the GNOME Desktop
Proceedings of the 5th Annual GNOME User and Developer European Conference (GUADEC'04), vol. 107, ISSN 0806-5942, Agder University College, 2004
12
Luca Padovani
Interactive Editing of MathML Markup Using TEX Syntax
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
Luca Padovani
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
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
Luca Padovani
A Standalone Rendering Engine for MathML
Proceedings of the MathML International Conference (MathML'02), pages 109-114, 2002
9
Yuzhen Xie, Stephen M. Watt and Luca Padovani
A Lisp Subset Based on MathML
Proceedings of the MathML International Conference (MathML'02), pages 101-108, 2002
8
Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena
Mathematical Knowledge Management in HELM
Proceedings of the 1st International Conference on Mathematical Knowledge Management (MKM'01), eds. Bruno Buchberger and Olga Caprotti, 2001
7
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena
HELM and the Semantic Math-Web
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
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena
XML, Stylesheets and the Re-mathematization of Formal Content
Proceedings of the Extreme Markup Languages Conference (EXTREME'01), pages 17-27, 2001
5
Paolo Casarini and Luca Padovani
The GNOME DOM Engine
Proceedings of the Extreme Markup Languages Conference (EXTREME'01), pages 45-53, 2001
4
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena
Formal Mathematics on the Web
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
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena
Formal Mathematics in MathML
Session Presentation at MathML International Conference (MathML'00), 2000
2
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena
Towards a Library of Formal Mathematics
Technical Report at International Conference on Theorem Proving in Higher Order Logics (TPHOLs'00), 2000
1
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena
Content-Centric Logical Environments
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
Luca Padovani
Contract-based Discovery and Adaptation of Web Services
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
22
The Chemical Approach to Typestate-Oriented Programming
Department of Mathematics, Faculty of Technical Sciences, University of Novi Sad, 2016
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
Luca Padovani
MathML Formatting
PhD Thesis, Technical Report UBLCS-2003-3, Dipartimento di Informatica, Università di Bologna, 2003
1
Luca Padovani
Un linguaggio distribuito con agenti mobili: analisi progettuale e implementazione
Master thesis, 1998
Technical reports
14
Silvia Crafa and Luca Padovani
On the chemistry of typestate-oriented actors
Technical Report CoRR abs/1607.02927, 2016
13
Luca Padovani
A Simple Library Implementation of Binary Sessions
Technical Report hal-01216310, 2015
12
Silvia Crafa and Luca Padovani
The Chemical Approach to Typestate-Oriented Programming
Technical Report hal-01155682, 2015
11
Luca Padovani, Tzu-Chun Chen and Andrea Tosatto
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
Technical Report hal-01105202, 2015
10
Luca Padovani and Luca Novara
Types for Deadlock-Free Higher-Order Concurrent Programs
Technical Report hal-00954364, 2014
9
Luca Padovani
Yet Another Type System for Lock-Free Processes
Technical Report hal-00863129, 2013
8
Luca Padovani
Fair Subtyping for Open Session Types
Technical Report RT 146/13, Dipartimento di Informatica, Università di Torino, 2013
7
Svetlana Jakšić and Luca Padovani
Exception Handling for Copyless Messaging
Technical Report RT 143/12, Dipartimento di Informatica, Università di Torino, 2012
6
Ferruccio Damiani, Luca Padovani and Ina Schaefer
A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
Technical Report RT 142/12, Dipartimento di Informatica, Università di Torino, 2012
5
Luca Padovani
Fair Subtyping for Multi-Party Session Types
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
Luca Padovani and Stefano Zacchiroli
Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators
Technical Report UBLCS-2007-23, Dipartimento di Informatica, Università di Bologna, 2007
2
Hanane Naciri and Luca Padovani
MathML Rendering/Browsing engine
Technical Report D4.a, IST-2001-33562 MoWGLI, 2003
1
Philippe Audebaud and Luca Padovani
Prototype functionalities for assisted annotation
Technical Report D4.c, IST-2001-33562 MoWGLI, 2003
External links

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

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 Thu, 17 Nov 2016.Flag Counter