| |
dialectica, Vol. 58, No. 3. (2004), pp. 279-296.
|
| |
Computer Security - ESORICS 2000 (2000), pp. 17-36.
|
| |
International Journal of Human-Computer Studies, Vol. 43, No. 5-6. (November 1995), pp. 641-667.
|
| |
Commun. ACM, Vol. 52, No. 11. (2009), pp. 74-84.
|
| |
ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
Software Engineering, IEEE Transactions on, Vol. 19, No. 3. (06 August 2002), pp. 214-230.
|
| |
Methods of information in medicine, Vol. 44, No. 4. (2005), pp. 498-507.
|
| |
Artificial Intelligence in Medicine, Vol. 39, No. 3. (19 March 2007), pp. 183-195.
|
| |
BMC Bioinformatics, Vol. 10, No. Suppl 5. (2009), S3.
|
| |
|
| |
|
| |
|
| |
|
| |
In Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34) (2000), 555.
|
| |
Journal of Theoretical Biology, Vol. 233, No. 3. (07 April 2005), pp. 327-336.
|
| |
In WCCCE '09: Proceedings of the 14th Western Canadian Conference on Computing Education (2009), pp. 109-115.
|
| |
Human-Centric Computing Languages and Environments, IEEE CS International Symposium on, Vol. 0 (2001), 304.
|
| |
Schizophrenia Research, Vol. 114, No. 1-3. (27 October 2009), pp. 79-83.
|
| |
In SCS '06: Proceedings of the eleventh Australian workshop on Safety critical systems and software (2006), pp. 3-17.
|
| |
|
| |
In SOSP '89: Proceedings of the twelfth ACM symposium on Operating systems principles (1989), pp. 1-13.
|
| |
In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 131-144.
|
| |
ACM Computing Surveys, Vol. 41, No. 2. (2009), pp. 1-76.
by Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan
|
| |
Computer Security -- ESORICS 2005 In Computer Security -- ESORICS 2005, Vol. 3679 (2005), pp. 418-437.
|
| |
FM 2006: Formal Methods In Lecture Notes in Computer Science, Vol. 4085 (2006), pp. 316-331.
|
| |
|
| |
ORGANIZATION SCIENCE, Vol. 20, No. 4. (1 July 2009), pp. 812-828.
|
| |
Journal of Business Venturing, Vol. 24, No. 3. (May 2009), pp. 206-220.
|
| |
|
| |
Ind Corp Change, Vol. 18, No. 4. (1 August 2009), pp. 595-636.
|
| |
IEEE Software In Software, IEEE, Vol. 1, No. 2. (April 1984), pp. 5-16.
|
| |
|
| |
Scandinavian Journal of Management, Vol. 24, No. 2. (June 2008), pp. 145-161.
|
| |
Computational & Mathematical Organization Theory, Vol. 12, No. 2. (1 October 2006), pp. 227-250.
|
| |
|
| |
Global Telecommunications Conference, 2003. GLOBECOM '03. IEEE In Global Telecommunications Conference, 2003. GLOBECOM '03. IEEE, Vol. 1 (2003), pp. 216-220 Vol.1.
|
| |
Vehicular Technology Conference, 2001. VTC 2001 Spring. IEEE VTS 53rd In Vehicular Technology Conference, 2001. VTC 2001 Spring. IEEE VTS 53rd, Vol. 3 (2001), pp. 2128-2132.
|
| |
Military Communications Conference, 2006. MILCOM 2006 In Military Communications Conference, 2006. MILCOM 2006 (2006), pp. 1-7.
|
| |
IEEE/ACM Trans. Netw., Vol. 14, No. 2. (2006), pp. 424-437.
|
| |
J. Syst. Softw., Vol. 75, No. 1-2. (2005), pp. 139-154.
|
| |
|
| |
|
| |
In ICCSA '07: Proceedings of the The 2007 International Conference Computational Science and its Applications (2007), pp. 380-388.
|
| |
Advances in Information Retrieval (2002), pp. 353-356.
|
| |
The Computer Journal, Vol. 51, No. 4. (1 July 2008), pp. 497-510.
|
| |
Formal Aspects of Computing
|
| |
Formal Techniques for Networked and Distributed Systems - FORTE 2003 (2003), pp. 303-318.
|
| |
Softw. Test. Verif. Reliab., Vol. 17, No. 1. (2007), pp. 41-57.
|
| |
Testing of Communicating Systems (2006), pp. 227-244.
|
| |
Information and Software Technology, Vol. 45 (2003), pp. 798-803.
|
Search
