Web Site Information :.

Site Info    Whois    Traceroute    RBL Check

• Site Info
• Who Is
• Trace Route
• RBL Check
• What's My IP?
• Web Search

Enter Web Site URL Address:
 

Top / Computers / Computer_Science / People / P /

Pfalzgraf, Jochen University of Salzburg - Application of mathematics to computer science, multi-agent systems, artificial neural networks, fuzzy reasoning, genetic algorithms, automated deduction in geometry, and semantical modelling http://www.cosy.sbg.ac.at/~jpfalz/jpfalz.html Sbg.ac.at  ~   Site Info   Whois   Trace Route   RBL Check   Pohlmann, Werner University of Salzburg - Programming, software engineering, programming languages, performance and reliability of communication and computer systems, parallel and distributed algorithms, and distributed discrete event simulation. http://www.cosy.sbg.ac.at/~pohlmann/pohlmann.html Sbg.ac.at  ~   Site Info   Whois   Trace Route   RBL Check   Pierce, Benjamin C. University of Pennsylvania. Programming languages, type systems, and distributed programming. http://www.cis.upenn.edu/~bcpierce/ Upenn.edu  ~   Site Info   Whois   Trace Route   RBL Check   Prasad, Sanjiva Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems http://www.cse.iitd.ernet.in/~sanjiva Ernet.in  ~   Site Info   Whois   Trace Route   RBL Check   Pandya, Paritosh K. Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering. http://www.tcs.tifr.res.in/~pandya/ Tifr.res.in  ~   Site Info   Whois   Trace Route   RBL Check   Phatak, Deepak Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems http://www.it.iitb.ac.in/~dbp/ Iitb.ac.in  ~   Site Info   Whois   Trace Route   RBL Check   Pighin, Maurizio University of Udine - Software engineering, metrics, and reuse. http://users.uniud.it/pighin/ Uniud.it  ~   Site Info   Whois   Trace Route   RBL Check   Perry, Dewayne University of Texas at Austin - Software engineering, system evolution, large-scale systems. http://users.ece.utexas.edu/~perry/ Utexas.edu  ~   Site Info   Whois   Trace Route   RBL Check   Paulson, Lawrence C. University of Cambridge - Interactive theorem proving and its applications. http://www.cl.cam.ac.uk/~lp15/ Cam.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   Pitts, Andrew University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties. http://www.cl.cam.ac.uk/~amp12/ Cam.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check