Web Site Information :.

• Site Info
• Whois
• Traceroute
• RBL Check
• What's My IP?

Top / Computers / Computer_Science / People / C /

Cau, Antonio De Montfort University - Formal methods, verification, reactive systems, semantics, compositionality, interval temporal logic, executable specification, re-engineering. http://www.cse.dmu.ac.uk/~cau/ Dmu.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   Charniak, Eugene Brown University - Influential researcher in Natural Language Processing and Artificial Intelligence. His home page features some of his publications, in postscript. http://www.cs.brown.edu/people/ec/home.html Brown.edu  ~   Site Info   Whois   Trace Route   RBL Check   Collini-Nocker, Bernhard University of Salzburg - Network traffic measurements, LAN interconnection via satellite, and interactive multimedia satellite information services. http://www.cosy.sbg.ac.at/~bnocker/bnocker.html Sbg.ac.at  ~   Site Info   Whois   Trace Route   RBL Check   Crépeau, Claude McGill University - Cryptographic protocols, quantum cryptography, quantum teleportation, quantum computing, and coding theory. http://www.cs.mcgill.ca/~crepeau/index_en.html Mcgill.ca  ~   Site Info   Whois   Trace Route   RBL Check   Cormen, Thomas H. Associate Professor at Dartmouth, and co-author of arguably the leading textbook on algorithms. http://www.cs.dartmouth.edu/~thc/ Dartmouth.edu  ~   Site Info   Whois   Trace Route   RBL Check   Cooper, Shane Collection of programming-related links. http://shanecooper.net Shanecooper.net  ~   Site Info   Whois   Trace Route   RBL Check   Cohen, Bernie City University, London - Formal methods and modelling. http://www.soi.city.ac.uk/~bernie/ City.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   Chandran, Sharat Indian Institute of Technology, Bombay - Graphics, Computer Vision, Computational Geometry, Parallel Algorithms. http://www.cse.iitb.ac.in/~sharat/ Iitb.ac.in  ~   Site Info   Whois   Trace Route   RBL Check   Chakraborty, Supratik Indian Institute of Technology, Bombay - Formal techniques for analysis, Verification, Validation of digital systems, Asynchronous timing analysis. http://www.cse.iitb.ac.in/~supratik/ Iitb.ac.in  ~   Site Info   Whois   Trace Route   RBL Check   Chakrabarti, Soumen Indian Institute of Technology, Bombay - Information Retrieval, Text Databases, Data Mining. http://www.cse.iitb.ac.in/~soumen/ Iitb.ac.in  ~   Site Info   Whois   Trace Route   RBL Check