| |
In TUV-1841-2004-24 (2004)
|
| |
Mob. Inf. Syst., Vol. 1, No. 1. (January 2005), pp. 41-80.
|
| |
In CRPITS '03: Proceedings of the Australasian information security workshop conference on ACSW frontiers 2003 (2003), pp. 159-168.
|
| |
No. TR2000-381. (November 2000)
|
| |
In ICAS '07: Proceedings of the Third International Conference on Autonomic and Autonomous Systems (2007)
|
| |
ACM Trans. Auton. Adapt. Syst., Vol. 1, No. 2. (December 2006), pp. 223-259.
|
| |
|
| |
In Dynamic Languages Symposium (2007)
|
| |
In International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (2006)
|
| |
|
| |
Peer-to-Peer Systems (2002), pp. 53-65.
|
| |
Journal of Network and Systems Management, Vol. 13, No. 2. (June 2005), pp. 197-217.
|
| |
Performance Evaluation In Distributed Systems Performance, Vol. 58, No. 2-3. (November 2004), pp. 189-214.
|
| |
|
| |
ACM Trans. Comput. Syst., Vol. 10, No. 4. (November 1992), pp. 360-391.
|
| |
|
| |
In Semantics-Directed Compiler Generation, Proceedings of a Workshop (1980), pp. 211-258.
|
| |
|
| |
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on (2003), pp. 47-56.
|
| |
|
| |
|
| |
Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420.
|
| |
In Spring School on Datatype-Generic Programming (2006)
|
| |
Journal of Algorithms, Vol. 43, No. 2. (May 2002), pp. 177-189.
|
| |
|
| |
In WiSe '05: Proceedings of the 4th ACM workshop on Wireless security (2005), pp. 77-86.
|
| |
Lecture Notes in Computer Science : Functional and Logic Programming (2006), pp. 30-46.
|
| |
Parallel Processing Letters, Vol. 13, No. 3. (September 2003), pp. 449-460.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 58-67.
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
|
| |
|
| |
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13.
|
| |
|
| |
|
| |
|
| |
In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 108-118.
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255.
|
| |
|
| |
Computer, Vol. 33, No. 11. (2000), pp. 63-68.
|
| |
|
| |
In Memory Systems Performance and Correctness (2006)
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 245-256.
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37.
|
| |
In Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06) (2006)
|
| |
In FOIS '01: Proceedings of the international conference on Formal Ontology in Information Systems (2001), pp. 59-69.
|
| |
No. CMU-CS-03-149. (2003)
|
CiteULike
Group: SRG_at_UCD
Search
