 |
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/
Ulst.ac.uk ~
Site Info
Whois
Trace Route
RBL Check
|
 |
van der Aalst, Wil
Eindhoven University of Technology - Information systems, simulation, Petri nets, process models, workflow management systems, verification techniques, enterprise resource planning systems, computer supported cooperative work, and interorganisational bu
http://is.tm.tue.nl/staff/wvdaalst/
Tue.nl ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Aiken, Alex
Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.
http://theory.stanford.edu/~aiken/
Stanford.edu ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|
