Home Page - Università di Bologna

Description: Home page dell'Università di Bologna, considerata la più antica del mondo occidentale: le sue origini risalgono al 1088.

Unibo.it has 204 URLs listed in 142 Dmoz categories.

How Beat Happened
by Steve Silberman. Article from SF Weekly.
http://gcorso.cliro.unibo.it/CorsoG/articoli/how_beat_happened.htm
Top/Arts/Literature/Periods_and_Movements/Beat

Music and Anthropology
Founded by the Study Group on Anthropology of Music in Mediterranean Cultures of the International Council for Traditional Music. Includes all articles since 1996.
http://www.muspe.unibo.it/period/ma/
Top/Arts/Music/Musicology/Ethnomusicology/Journals

Bologna, University of
Department of Computer Science. Research projects involve agent communication, concurrency, distributed systems, and requirements engineering.
http://www.cs.unibo.it/
Top/Computers/Computer_Science/Academic_Departments/Europe/Italy

FMOODS 2006
The 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems: part of the federated conferences DisCoTec (Distributed Computing Techniques). Bologna, Italy; 14--16 June 2006.
http://www.cs.unibo.it/discotec06/FMOODS06/
Top/Computers/Computer_Science/Conferences/2006

Ersads 2001
European Research Seminar on Advances in Distributed Systems, 14-18 May 2001 in Bertinoro, Italy.
http://www.cs.unibo.it/ersads/
Top/Computers/Computer_Science/Distributed_Computing/Conferences

Ciaccia, Paolo
University of Bologna - Content-based retrieval, data models, query languages, similarity queries, fuzzy retrieval, the M-tree, signature files, grid files, schema-based navigation, structures on the web.
http://www-db.deis.unibo.it/~pciaccia/
Top/Computers/Computer_Science/People/C

Gabbrielli, Maurizio
University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.
http://www.cs.unibo.it/~gabbri/
Top/Computers/Computer_Science/People/G

Martini, Simone
University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
http://www.cs.unibo.it/~martini/
Top/Computers/Computer_Science/People/M

UWOBO XSL Processor
Invoked via URL giving the URI of an XML document and a list of stylesheets to be applied. Requires Tomcat and Xerces/Xalan.
http://helm.cs.unibo.it/uwobo/
Top/Computers/Data_Formats/Markup_Languages/XML/Style_Sheets/XSL

GtkMathView
A GTK Widget to render MathML documents. Documentation and download.
http://helm.cs.unibo.it/mml-widget/
Top/Computers/Data_Formats/Markup_Languages/Mathematical/MathML