| |
|
| |
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 134-143.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Vol. 148, No. 1. (1 February 2006), pp. 187-198.
|
| |
In Proceedings of UML 2002, the 5th International Conference on the Unified Modeling Language (September 2002), pp. 2-17.
|
| |
|
| |
In TAGT (1998), pp. 281-295.
|
| |
Journal of Functional Programming, Vol. 11, No. 5. (2001), pp. 467-492.
|
| |
|
| |
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
|
| |
Advances in Applied Mathematics, Vol. 32, No. 1. (January 2004), pp. 5-9.
|
| |
|
| |
|
| |
Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 666-677.
|
| |
Theoretical Computer Science, Vol. 1, No. 2. (December 1975), pp. 125-159.
|
| |
Computer, Vol. 25, No. 10. (1992), pp. 40-51.
|
| |
Oikos, Vol. 116, No. 5. (May 2007), pp. 723-727.
|
| |
Amer. Math. Monthly, Vol. 102, No. 7. (1995), pp. 600-608.
|
| |
Commun. ACM, Vol. 18, No. 8. (August 1975), pp. 453-457.
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
Computer In Computer, Vol. 20, No. 4. (07 August 2006), pp. 10-19.
|
| |
Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
|
| |
Intelligent Systems, IEEE In Intelligent Systems, IEEE, Vol. 24, No. 2. (24 March 2009), pp. 8-12.
|
| |
|
| |
In HYPERTEXT '06: Proceedings of the seventeenth conference on Hypertext and hypermedia (2006), pp. 31-40.
|
| |
ACM Comput. Surv., Vol. 23, No. 1. (March 1991), pp. 5-48.
|
| |
Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375.
|
| |
|
| |
Commun. ACM, Vol. 15, No. 12. (December 1972), pp. 1053-1058.
|
| |
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 3, No. 4. (1981), pp. 431-483.
|
| |
Contemporary Physics (29 September 2005), pp. 323-351.
|
| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
| |
|
| |
|
| |
In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212.
|
| |
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
| |
|
| |
|
| |
BioScience, Vol. 51, No. 5. (1 May 2001), pp. 341-352.
|
| |
|
| |
|
| |
|
| |
ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 626-643.
|
| |
|
| |
|
| |
In SIGCOMM '01: Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications, Vol. 31, No. 4. (October 2001), pp. 149-160.
|
| |
|
| |
|
| |
ACM Comput. Surv., Vol. 21, No. 3. (September 1989), pp. 323-357.
|
| |
Annals of the History of Computing, IEEE In Annals of the History of Computing, IEEE, Vol. 30, No. 3. (2008), pp. 32-39.
|
| |
|
| |
J Cell Sci, Vol. 121, No. 11. (1 June 2008), 1771.
|
| |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 89-150.
|
| |
|
| |
25 Years of Model Checking (2008), pp. 1-26.
|
| |
|
| |
PLoS Comput Biol, Vol. 1, No. 5. (28 October 2005), e57.
|
| |
Commun. ACM, Vol. 30, No. 8. (August 1987), pp. 672-686.
|
| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
Commun. ACM, Vol. 11, No. 3. (1 March 1968), pp. 147-148.
|
| |
|
| |
Commun. ACM, Vol. 52, No. 10. (2009), pp. 30-32.
|
| |
Nature, Vol. 393, No. 6684. (04 June 1998), pp. 440-442.
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 277-287.
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 7, No. 3. (July 1998), pp. 215-249.
|
| |
|
| |
|
| |
ACM Comput. Surv., Vol. 35, No. 2. (June 2003), pp. 97-113.
|
| |
|
| |
In Programming Symposium, Proceedings Colloque sur la Programmation (1974), pp. 408-423.
|
| |
J. Stat. Mech. Theory Exp., No. 1. (2005)
|
| |
|
| |
|
| |
Journal of Physics A: Mathematical and General, Vol. 28, No. 4. (1995), pp. 805-831.
|
| |
|
| |
|
| |
In New directions in the theory of graphs (Proc. Third Ann Arbor Conf., Univ. Michigan, Ann Arbor, Mich., 1971) (1973), pp. 309-325.
|
| |
|
| |
|
| |
|
| |
In HYPERTEXT '06: Proceedings of the seventeenth conference on Hypertext and hypermedia (2006), pp. 111-114.
|
| |
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 3-32.
|
| |
ACM Trans. Database Syst., Vol. 9, No. 4. (December 1984), pp. 596-615.
|
| |
|
| |
|
| |
In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 209-220.
|
| |
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65.
|
| |
Software and Systems Modeling
|
| |
The American Mathematical Monthly, Vol. 90, No. 9. (1983), pp. 600-623.
|
| |
ACM Comput. Surv., Vol. 37, No. 2. (June 2005), pp. 83-137.
|
| |
|
Search
