The Static Parallelization of Loops and Recursions
The Journal of Supercomputing - Special issue: high performance computing systems
The bits between the lambdas: binary data in a lazy functional language
Proceedings of the 1st international symposium on Memory management
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
IEEE Transactions on Software Engineering
Optimizing object queries using an effective calculus
ACM Transactions on Database Systems (TODS)
From program languages to software languages
Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications
Topology in Raster and Vector Representation
Geoinformatica
Spatial Cognition and Computation
A Model-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
An Algebraic Interpretation of Semantic Networks
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
A Semantic Map as Basis for the Decision Process in the www Navigation
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
An Introduction to Dependent Type Theory
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Journal of Functional Programming
Encyclopedia of Computer Science
Encyclopedia of Computer Science
ACM SIGPLAN Notices
Google's MapReduce programming model — Revisited
Science of Computer Programming
Google's MapReduce programming model – Revisited
Science of Computer Programming
An Institutional Theory for #-Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Computer aided software design via inference and constraint propagation
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
A functional I/O system or, fun for freshman kids
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Java as a functional programming language
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
A tactic language for reasoning about Z specifications
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |