Searching for authors named "Luca Padovani" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

An investigation on the dynamics of directmanipulation editors for mathematics
by Luca Padovani, Riccardo Solmi — 2004 — In Third International Conference on Mathematical Knowledge Mnagement, LNCS 3119
…An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics ⋆ Luca Padovani…
Cited by 1 (0 self) – Add To MetaCart

L.: A distributed implementation of mobile nets as mobile agents
by Nadia Busi, Luca Padovani — 2005 — In: Proceedings of the 7th IFIP International Conference on Formal Methods for Open ObjectBased Distributed Systems (FMOODS 2005). Volume 3535 of LNCS
…A Distributed Implementation of Mobile Nets as Mobile Agents Nadia Busi and Luca Padovani…
Cited by 1 (0 self) – Add To MetaCart

The Gnome DOM Engine
by Paolo Casarini, Paolo Casarini, Luca Padovani, Luca Padovani — 2001 — Markup Languages: Theory & Practice, 3(2):173–190, April 2002. BIBLIOGRAFIA
…://www.cs.unibo.it/~casarini Luca Padovani Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 40127 Bologna…
Cited by 1 (0 self) – Add To MetaCart

Smooth orchestrators
by Cosimo Laneve, Luca Padovani — 2006 — In FoSSaCS ’06, LNCS
…Smooth Orchestrators ⋆ Cosimo Laneve 1 and Luca Padovani 2 1 Department of Computer Science…
Cited by 8 (0 self) – Add To MetaCart

MathML Formatting
by Luca Padovani, Luca Padovani, Coordinatore Tutore, Andrea Asperti — 2003
…MathML Formatting Luca Padovani Department of Computer Science University of Bologna Mura Anteo…
Cited by 4 (0 self) – Add To MetaCart

General Session Types
by Mariangiola Dezani-ciancaglini, Elena Giachino, Luca Padovani
…General Session Types Giuseppe Castagna 1 Mariangiola Dezani-Ciancaglini 2 Elena Giachino 1,2 Luca…
Add To MetaCart

Towards a Library of Formal Mathematics
by Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena — 2000 — Panel session of the 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLS'2000
…Towards a Library of Formal Mathematics Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen…
Cited by 5 (4 self) – Add To MetaCart

Formal Mathematics on the Web
by Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena — 2001 — Proceedings of the Eighth International Conference on "Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation", June 9-17, 2001, Sudak, Autonomous Republic of Crimea
…Formal Mathematics on the Web Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena…
Cited by 1 (1 self) – Add To MetaCart

XML, Stylesheets and the Re-mathematization of Formal Content
by Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena — 2001
…@(email omitted); http://www.cs.unibo.it/~asperti Luca Padovani Department of Computer Science, University of Bologna…
Cited by 2 (2 self) – Add To MetaCart

A generative approach to the implementation of language bindings for the document object model
by Luca Padovani, Claudio Sacerdoti, Coen Stefano Zacchiroli — In Generative Programming and Component Engineering: Third International Conference, GPCE 2004
…? Luca Padovani Claudio Sacerdoti Coen Stefano Zacchiroli{ lpadovan, sacerdot, zacchiro…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB