Other related pointers
You can access the following items:
- WEB Services
- Labs and Universities
- Research Groups
- People
- People in CS research
- My co-authors
- Archives
- Journals
- Publishers
- Conferences
- Associations
- Great Science
- Info, art, (real)politics, culture, and other things
WEB Services
- Alta Vista
- ARIANNA: Italian WEB Search
- Lycos
- Yahoo
- Math on the WEB
- WhoWhere? PeopleSearch
- Put your math on the web
Labs and Universities
- Univ. of Arizona
- AT&T Bell Laboratories Research
- Ben-Gurion University of the Negev
- Univ. of Cambridge
- Univ. of Cambridge Computer Lab
- Centre for Applied Formal Methods South Bank University, London
- CMU - School of Computer Science
- CWI - Amsterdam
- CINECA--Bologna
- CS--Bologna
- DIKU--Copenhagen
- DCS--Edinburgh
- CS--Genova
- IC DoC--London
- K.U. Leuven
- K.U. Leuven--CS
- INRIA
- LFCS
- Ecole Polytechnique
- Ecole Polytechnique--LIX
- Ecole Normale Sup.
- Ecole Normale Sup.--DI
- NASA
- KAIST -- South Korea
- Oxford University Computing Laboratory
- UPenn--Philadelphia
- UPM
- Math--Padova
- Pisa Computer Science Department's home page
Groups in theoretical computer science
- The logic programming group in Pisa
- LIX: Sémantique, preuve et interprétation abstraite
- ENS: Sémantique, preuve et interprétation abstraite
- IC DoC--Theory and Formal Methods - London
- Semantics-Based Program Analysis and Manipulation
- Formal Methods around the world on the World Wide Web (WWW)
- Formal Methods on the World Wide Web (WWW)
- Lattice Theory at Hawaii
- Static analysis ROPAS group at KAIST - South Korea
People
People and Papers (on-line)
-
People Archives
- Martín ABADI
- Samson ABRAMSKY
- Alex AIKEN
- Marìa ALPUENTE
- Andrew APPEL
- Andrea ASPERTI
- Thomas BALL
- Nicolas BOURBAKI (Famous!)
- Maurice BRUYNOOGHE
- Rod BURSTALL
- Luca CARDELLI
- Michael CODISH
- Philippe CODOGNET
- Christopher COLBY
- Mario COPPO
- Marc-Michel CORSINI
- Agostino CORTESI
- Patrick COUSOT
- Radhia COUSOT
- Mads DAM
- Ferruccio DAMIANI
- Dennis DAMS
- Saumya DEBRAY
- Mireille DUCASSÉ
- Abbas EDALAT
- Gilberto FILÉ
- Ralph FREESE
- Andrew GORDON
- Jean GOUBAULT-LARRECQ
- George GRATZER
- Carl GUNTER
- Nicolas HALBWACHS
- Michael HANUS
- Chris HANKIN
- Manuel HERMENEGILDO
- Nevin HEINTZE
- Fritz HENGLEIN
- Thomas JENSEN
- Neil D. JONES
- Andy KING
- Leslie LAMPORT
- Cosimo LANEVE
- Baudouin LE CHARLIER
- Peter LEE
- Giorgio LEVI
- Michael MAHER
- Zohar MANNA
- Elena MARCHIORI
- Maurizio MARTELLI
- Kim MARRIOTT
- Dominique MÉRY
- Dale MILLER
- Michael W. MISLOVE
- Alan MYCROFT
- Eugenio MOGGI
- Ugo MONTANARI
- J.B. NATION
- Flemming NIELSON
- Hanne RIIS NIELSON
- Ulf NILSSON
- Martin ODERSKY
- Catuscia PALAMIDESSI
- Jens PALSBERG
- Simon PEYTON JONES
- Andrew PITTS
- Gordon PLOTKIN
- Amir PNUELI
- Andreas PODELSKI
- Vaughan PRATT
- William PUGH
- R.W. QUACKENBUSH
- Francesco RANZATO
- Thomas REPS
- Giuseppe ROSOLINI
- Sabina ROSSI
- Barbara G. RYDER
- Viktor SABELFELD
- Shmuel SAGIV
- David SANDS
- Davide SANGIORGI
- David SCHMIDT
- E. Tamas SCHMIDT
- Dana SCOTT
- Bernhard STEFFEN
- Bjarne STEENSGAARD
- Pascal van HENTENRICK
- Philip WADLER
- Herbert WIKLICKY
My co-authors
- Roberto BAGNARA
- Anindya BANERJEE
- Francesco BANTERLE
- Roberto BARBUTI
- Byeong-Mo CHANG
- Michael CODISH
- Agostino CORTESI
- Patrick COUSOT
- Radhia COUSOT
- Mila DALLA PREDA
- Koen DE BOSSCHERE
- Agostino DOVIER
- Saumya DEBRAY
- Gilberto FILÉ
- Maurizio GABBRIELLI
- Samir GENAIM
- Giorgio LEVI
- Matias MADOU
- Michael MAHER
- Isabella MASTROENI
- Catuscia PALAMIDESSI
- Elisa QUINTARELLI
- Francesco RANZATO
- Laura RICCI
- Francesca SCOZZARI
- Enrico VISENTINI
- Enea ZAFFANELLA
Paper Archives
- Michael Ley's Archive (very good!)
- The Lattice Theory Archive
- Jonathan Bowen's logic
- Functional programming archive (static analysis)
- IC DoC - Papaers Archive (by author)
- IC DoC - Papaers Archive (by site)
- Other Theory Bibliography Sites
- Hypatia
- Computer Science Bibliography Collection Advanced Search
- The NEC Research Institute-citation index CITESEER
- Computer Science Archives
- Computer Science Papers (Dortmund)
- Zentralblatt + altri archivi @karlsruhe
- ISI Citation Index
- PubMed
Journals
-
Archives of Journals
-
My Archive
- Acta Informatica
- Algebra Universalis
- The AMAST links newsletter
- ALP Newsletter Archive
- Chicago Journal of Theoretical Computer Science
- Electronic Journal on Pure and Applied Logic
- LICS Newsletter
- Information and Computation
- Information and Computation
- Information Processing Letters
- Journal of Artificial Intelligence Research
- Journal of Functional and Logic Programming
- Journal of Functional Programming
- Journal of Logic and Computation
- Order
- Science of Computer Programming
- SIAM J. of Computing
- Theoretical Computer Science
- Electronic Journal on Pure and Applied Logic
- JACM
- TOPLAS
- TOCL
- ACM Comp. Surveys
Publishers
- Academic Press
- Addison-Wesley Internet Shop
- Birkhauser
- Cambridge Univ. Press
- Elsevier
- The MIT Press
- Oxford Univ. Press
- Kluwer Academic Press
- Springer-Verlag
- WebPress Home Page
Conferences
- Patrick Cousot's archive
- Michael Ley's archive
- LICS news
- DIKU TOPPS list of Programming Language Theory Conferences
Associations and organizations
- ACM
- AICA
- AMS
- CNR
- EEC-CORDIS
- CRUI
- EATCS
- EAPLS
- GNIM
- IEEE Computer Soc.
- Math Ass. of America
- MURST
- NSF
- SIAM
- Umi
- GRIN
Great Science
Infos, art, (real)politics, culture, and other things
- Web starting point
- World-Wide Web Servers at Universities in the U.S.
- Google Scolar
- Science generator
- W3C World Wide Web Consortium
- The Best of WWW Contest
- APPLE Computers
- Meteo France
- Meteo Italy
- CNN Meteo
- US Meteo
- RAI Radio 3
- Currency Converter
- Flight Timetables
- Travelocity Home Page
- Distances WW
- Distances in US
- Distances in EU
- Distances in Space
- CNN
- ANSA
- Nature
- Science
- Hubble
- National geographic
- The New Yorker
- Le Monde
- The New York Times
- The Times
- Corriere della sera
- La Repubblica
- WWF
- Amnesty International
- Medicins Sans Frontieres
- UNESCO
- UNICEF
- Greenpeace
- WMO
- Guggenheim
- MOMA
- Louvre
- Paris
- Prado
- Musee Orsay
- Centre Pompidou
- John Mack's Photos of Paris
- NYC (official)
- NYC guide
- Hotels in NYC
- Magic Paris
- Petra
- Wadi Rum
- US National Parks