Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Some Related Pointers of Maurizio Gabbrielli

Other related pointers

Labs and Universities

AT&T Bell Laboratories Research
Ben-Gurion University of the Negev
Univ. of Cambridge Computer Lab
CMU - School of Computer Science
CINECA--Bologna
CS--Bologna
CWI - Amsterdam
DIKU--Copenhagen
DCS--Edinburgh
IC DoC--London
Ecole Polytechnique--LIX
Ecole Normale Sup.--DMI
K.U. Leuven--CS
INRIA
LFCS
Oxford University Computing Laboratory
UPenn--Philadelphia
University of Genova-DISI
University of Utrecht

People

Krzysztof R. Apt
F. S. de Boer
Sandro Etalle
Patrick Cousot
Radhia Cousot
Moreno Falaschi
Catuscia Palamidessi

Archives

Michael Ley's Archive
The Logic Programming Newsletter Archive
Jonathan Bowen's logic
Functional programming archive
Bill Scherlis's semantics-based program analysis and manipulation page.
IC DoC - Papaers Archive (by author)
IC DoC - Papaers Archive (by site)
IC DoC - Papaers Archive (today)
IC DoC - Papaers Archive (last week)
IC DoC - Papaers Archive (last month)

Journals

Information and Computation
Journal of Artificial Intelligence Research
Journal of Functional and Logic Programming
Journal of Logic and Computation
Science of Computer Programming
Theoretical Computer Science
SEMSOC--Int. Newsletter of Semantics

Conferences

PLILP 96.
LICS (Logic In Computer Science) WWW page.
Conferences in Theoretical Computer Science
DIKU TOPPS list of Programming Language Theory Conferences

Associations

AMS
ACM
CNR
EATCS
IEEE Computer Soc.
NSF
Umi (Unione Mat. It.)