A relational approach to strictness analysis for higher-order polymorphic functions
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGPLAN Notices
Parametricity and local variables
Journal of the ACM (JACM)
Reuse of requirements and specifications: a formal framework
SSR '95 Proceedings of the 1995 Symposium on Software reusability
ACM Computing Surveys (CSUR)
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Logical models of objects and of processes
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Orthologic and quantum logic: models and computational elements
Journal of the ACM (JACM)
Node rewriting in graphs and hypergraphs: a categorical framework
Theoretical Computer Science
Lifting results for categories of algebras
Theoretical Computer Science
Introducing the mathematical category of artificial perceptions
Annals of Mathematics and Artificial Intelligence
Spatial Cognition and Computation
Constructing Standards For Cross-Platform Operation
Software Quality Control
Indexed Categories and Bottom-Up Semantics of Logic Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Formalising the Essence of Diagrammatic Syntax
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Universal Arrow Foundations for Visual Modeling
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Invited Talk: Pointwise Relational Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
A Relation-Algebraic Approach to Graph Structure Transformation
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Optimization Problems Categories
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Semantics of First Order Parametric Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
An Algebraic Foundation for Higraphs
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A Generalization of Dijkstra's Calculus to Typed Program Specifications
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Formalising Ontologies and Their Relations
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay
Theoretical Computer Science - Category theory and computer science
A domain-theoretic semantics of lax generic functions
Theoretical Computer Science - Category theory and computer science
Algebraic and coalgebraic methods in the mathematics of program construction
A new framework for declarative programming
Theoretical Computer Science
Composition and Refinement of Behavioral Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Revisiting the algebra of Petri net processes under the collective token philosophy
Fundamenta Informaticae - Concurrency specification and programming
Concurrency in mobile object net systems
Fundamenta Informaticae - Concurrency specification and programming
Mathematical Structures in Computer Science
Modal operators and the formal dual of Birkhoff's completeness theorem
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Categorical properties of logical frameworks
Mathematical Structures in Computer Science
Journal of Functional Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A coalgebraic view on positive modal logic
Theoretical Computer Science - Selected papers of CMCS'03
The logic of demand in Haskell
Journal of Functional Programming
Modular correspondence between dependent type theories and categories including pretopoi and topoi
Mathematical Structures in Computer Science
A categorical characterization for the compositional features of the # component model
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Nautilus, a Concurrent Diagrammatic Specification and Programming Language
The Journal of Supercomputing
Combining effects: sum and tensor
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Modelling angelic and demonic nondeterminism with multirelations
Science of Computer Programming
Discrete Lawvere theories and computational effects
Theoretical Computer Science - Algebra and coalgebra in computer science
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Powersets of terms and composite monads
Fuzzy Sets and Systems
A Type Driven Theory of Predication with Complex Types
Fundamenta Informaticae - Logic for Pragmatics
Bialgebra views: a way for polytypic programming to cohabit with data abstraction
Proceedings of the ACM SIGPLAN workshop on Generic programming
Towards Data Mining Without Information on Knowledge Structure
PKDD 2007 Proceedings of the 11th European conference on Principles and Practice of Knowledge Discovery in Databases
Constant Complements, Reversibility and Universal View Updates
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Journal of Systems and Software
Automata theory based on complete residuated lattice-valued logic: A categorical approach
Fuzzy Sets and Systems
Gabriel–ulmer duality and lawvere theories enriched over a general base
Journal of Functional Programming
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Achieving information flow security through monadic control of effects
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Compositional Specification of Parallel Components Using Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed online evolution: an algebraic problem?
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
On Term Graphs as an Adhesive Category
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Effects and Operations: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
A novel approach for component-based fault-tolerant software development
Information and Software Technology
An approach to ontology for institutional facts in the semantic web
Information and Software Technology
Knowledge and Information Systems
A (Co)algebraic analysis of synchronization in CSP
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Bounded lattice t-norms as an interval category
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Science of Computer Programming
Alternating states for dual nondeterminism in imperative programming
Theoretical Computer Science
Formal semantic meanings of architecture-centric model mapping
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
A coalgebraic approach to non-determinism: Applications to multilattices
Information Sciences: an International Journal
A relational model of incomplete data without nulls
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
Some New Approaches in Functional Programming Using Algebras and Coalgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards understanding meme media knowledge evolution
Proceedings of the 2005 international conference on Federation over the Web
Automating proofs in category theory
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
A complexity theory of design intentionality
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Approximation problems categories
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Geospatial semantics: why, of what, and how?
Journal on Data Semantics III
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Category theoretic integration framework for formal notations in model driven software engineering
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
A graphical yet formalized framework for specifying view systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
A semantics for object-oriented systems
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Object-oriented refinement and proof using behaviour functions
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
A sketch-based technique for the derivation of self-interpreters
Computer Languages
Information and Computation
Nuprl as logical framework for automating proofs in category theory
Logic and Program Semantics
Some new approaches in functional programming based on categories
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Concurrency in Mobile Object Net Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Specification and Integration of Theorem Provers and Computer Algebra Systems
Fundamenta Informaticae
Fundamenta Informaticae
Systematicity, accessibility, and universal properties
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
A Connection Between Concurrency and Language Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Complete Conceptual Schema Algebras
Fundamenta Informaticae
Hi-index | 0.00 |