| | - Wolfgang Schreiner
My publications and my Latex bib file. Most of these papers are in my public ftp directory. My publications and their citations according to Google Scholar. Security via proofcarrying code: Mobility and Security group projects: MRG, MOBIUS, ReQueST ...
http://www.risc.uni-linz.ac.at/people/schreine/
|
| |
- Timos Sellis
National Technical University of Athens Extended relational database systems, active database systems, and spatial, image and multimedia database systems. ...
http://www.dblab.ece.ntua.gr/~timos/
|
| |
|
- A. S. M. Sajeev
University of New England Objectoriented software engineering; objectorientation, concurrency and visual programming; distributed systems and software engineering. ...
http://mcs.une.edu.au/~sajeev/
| | |
| |
- Simpson,
My research interests include: semantic models of computation, especially domaintheoretic and topological models; type theories and associated reasoning principles; logic and proof theory; intuitionistic set theories and their applications; construct ...
http://homepages.inf.ed.ac.uk/als/
|
| |
- Colin Stirling
Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties. ...
http://homepages.inf.ed.ac.uk/cps/
| | - Brian Smits
Brian Smits University of Utah Computer graphics, rendering, global illumination, and real time ray tracing. ...
http://www.cs.utah.edu/~bes/
|
| |
- Arcot Sowmya
ARCOT Sowmya is Professor in the School of Computer Science and Engineering at the University of New South Wales. She obtained her PhD in Computer Science and Engineering from Indian Institute of Technology, Bombay in 1992. Dr Sowmya teaches course ...
http://www.cse.unsw.edu.au/~sowmya/
| | - Herb Sutter
Herb Sutter is a leading authority on software development. He is the best selling author of Exceptional C++ as well as three other books and hundreds of technical papers and articles, including the widelycited essay The Free Lunch Is Over which coin ...
http://www.gotw.ca/
|
| |
- Dheeraj Sanghi
Claude Sammut is a Professor of Computer Science and Engineering at the University of New South Wales and Head of the Artificial Intelligence Research Group. He is the UNSW node Director of the ARC Centre of Excellence for Autonomous Systems and a me ...
http://www.cse.iitk.ac.in/users/dheeraj/index.html
| | |
| |
