Wed Apr 27 @ 10:49 am
BibTeX reference for Bergamini - et - al - TACAS - 05 - a has been updated with online paper. You can access our article through TACAS'2005 LNCS webpage.
Wed Apr 13 @ 09:18 am
BibTeX reference for Joubert - Mateescu - PDP - 05 has been updated with online paper. You can access our article through PDP'2005 IEEE webpage.
Mon Apr 11 @ 12:55 am
BibTeX reference for Joubert - Mateescu - PDMC - 04 has been updated with volume and issue numbers. You can access our article through PDMC'2004 ENTCS webpage.
Fri Mar 23 @ 10:16 am
Besides W3C validation tools, there exists a set of applications doing
specific validation of web site source code (hence doing cross-validation). The
accessibility validator is one of
them:
Wed Mar 21 @ 15:08 am
When building a web page, everyone is confronted to display public information, especially public contact information. In order to prevent spam robots to scan your contact information, there is a simple solution called Automatic Email Munger.
google.com and scholar.google.com - great search engines
Research Index - a search engine for computer science articles
DBLP - computer science bibliography
La Guilde - french guide for Ph.D. student
CNU - Section 27 - CNU site of section 27
SPECIF - french computer science research society
ERCIM and FMICS - European Research Consortium for Informatics and Mathematics, and the working group on Formal Methods for Industrial Critical Systems