---

Add URL

My Sites

My Account

Contact Us

Search only in A   Search the Web

 Home » Computer Science » People » A

Web Pages    1 - 10   {17}

1 - Amarasinghe, Saman   MIT - Compiler optimizations, computer architectures, software engineering and parallel computing. http://www.cag.lcs.mit.edu/~saman/   [more pages from this URL]     2 - Alpuente, María   Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation. http://www.dsic.upv.es/users/elp/alpuente.html   [more pages from this URL]     3 - Almeroth, Kevin   University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems. http://www.cs.ucsb.edu/~almeroth/   [more pages from this URL]     4 - Ajmani, Sameer   MIT - Distributed systems, software engineering and security. http://pmg.csail.mit.edu/~ajmani   [more pages from this URL]     5 - Arun-Kumar, S.   Indian Institute of Technology, Delhi - Semantics and Verification http://www.cse.iitd.ernet.in/~sak/   [more pages from this URL]     6 - Augusto, Juan Carlos   University of Ulster at Jordanstown - Improvement of generic tools used in the design of dynamic systems, Applications in the formalization of devices and protocols in Business and Industry, Verification of behavioural properties of systems. http://www.infj.ulst.ac.uk/~jcaug/   [more pages from this URL]     7 - Artemov, Sergei N.   City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy http://www.cs.gc.cuny.edu/~sartemov/   [more pages from this URL]     8 - Augustsson, Lennart   Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell. http://www.cs.chalmers.se/~augustss/   [more pages from this URL]     9 - Ariola, Zena M.   University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers. http://www.cs.uoregon.edu/~ariola/   [more pages from this URL]     10 - Agrawal, Divyakant   University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management. http://www.cs.ucsb.edu/~agrawal/   [more pages from this URL]

1  2  Next »»

E-Mail Add URL