Subcategories 1
Related categories 2
Sites 10
University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.
Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.
Keele University, UK
Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices.
IT SudParis. Personal information, details of research, publications, and teaching.
University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
Post-doctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases.
Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS).
University of Calgary - Routing in Ad hoc Networks.
Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS).
IT SudParis. Personal information, details of research, publications, and teaching.
University of Calgary - Routing in Ad hoc Networks.
University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices.
Post-doctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases.
Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.
Keele University, UK
University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.
Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
