Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles of artificial intelligence
Principles of artificial intelligence
Algorithms
A parallel machine for multiset transformation and its programming style
Future Generation Computer Systems
Parallel program design: a foundation
Parallel program design: a foundation
Communications of the ACM
A hands-in-the pocket presentation of a k-majority vote algorithm
Formal development programs and proofs
Principles of concurrent and distributed programming
Principles of concurrent and distributed programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The gamma model and its discipline of programming
Science of Computer Programming
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Associons: A Program Notation with Tuples Instead of Variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Communications of the ACM
The Science of Programming
A Discipline of Programming
Image Analysis and Mathematical Morphology
Image Analysis and Mathematical Morphology
IEEE Transactions on Software Engineering - Special issue on software architecture
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coordinating distributed applets with Shade
ACM SIGAPP Applied Computing Review
Coordinating autonomous entities with STL
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
Coordinating distributed applets with Shade/Java
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Coordinating autonomous entities
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronous coordination in the μLog coordination model
Proceedings of the 2001 ACM symposium on Applied computing
Functional and constraint logic programming
Constraints in computational logics
A real-time version of SequenceL
Annals of Software Engineering
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Optimal height reduction problems for tree-structured hierarchies
Nordic Journal of Computing
On the expressiveness of coordination via shared dataspaces
Science of Computer Programming - Special issue on coordination languages and architectures
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Embedded Systems Unsuitable for Object Orientation
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Designing Multi-agent Systems around an Extensible Communication Abstraction
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Software Architecture for Distributed Reactive Systems
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
On the Expressiveness of Coordination Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
On Timed Coordination Languages
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Multiset Processing by Means of Systems of Finite State Transducers
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Multiset and K -Subset Transforming Systems
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Towards an ASM Thesis for Unconventional Algorithms
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Multiset Constraints and P Systems
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
The Application of the SequenceL Language to Complicated Database Applications
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
A Meta-Notation for Protocol Analysis
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Implementing higher-order Gamma on MasPar: a case study
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Biologically inspired rule-based multiset programming paradigm for soft-computing
Proceedings of the 1st conference on Computing frontiers
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming
Multiset rewriting and the complexity of bounded security protocols
Journal of Computer Security
Knowledge-based assessment of behavior in dynamic environments
Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems
Workflow Enactment Based on a Chemical Metaphor
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Specifying distributed multi-agent systems in chemical reaction metaphor
Applied Intelligence
Quantitative information in the tuple space coordination model
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Towards chemical coordination for grids
Proceedings of the 2006 ACM symposium on Applied computing
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Generalised multisets for chemical programming
Mathematical Structures in Computer Science
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination with multicapabilities
Science of Computer Programming
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
Fundamenta Informaticae
Designing Interdisciplinary Approaches To Problem Solving Into Computer Languages
Journal of Integrated Design & Process Science
On the Expressiveness of Timed Coordination via Shared Dataspaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Normalize, transpose, and distribute: An automatic approach for handling nonscalars
ACM Transactions on Programming Languages and Systems (TOPLAS)
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic (TOCL)
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Service Orchestration Using the Chemical Metaphor
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Modeling biochemical pathways using an artificial chemistry
Artificial Life
Proceedings of the 4th workshop on Declarative aspects of multicore programming
The Chemical Reaction Model Recent Developments and Prospects
Software-Intensive Systems and New Computing Paradigms
Using Tuple Space to Coordinate Multiagent Activities
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Mobile agents, DSM, coordination, and self-migrating threads: a Common Framework
DNCOCO'08 Proceedings of the 7th conference on Data networks, communications, computers
Expressiveness of Multiple Heads in CHR
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
LMNtal as a hierarchical logic programming language
Theoretical Computer Science
The Implication Problem of Functional Dependencies in Complex-value Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
A Generalized Higher-Order Chemical Computation Model
Electronic Notes in Theoretical Computer Science (ENTCS)
SequenceL: transparency and multi-core parallelisms
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Decision procedures for multisets with cardinality constraints
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Using chemical reactions to model service composition
Proceedings of the second international workshop on Self-organizing architectures
Distributed workflow coordination: molecules and reactions
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Composable asynchronous events
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
On the Expressive Power of Multiple Heads in CHR
ACM Transactions on Computational Logic (TOCL)
Interaction and coordination of tools for structured data
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Compositional verification of asynchronous processes via constraint solving
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Higher-Order chemical programming style
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
LMNtal: a language model with links and membranes
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Fault tolerant autonomic computing systems in a chemical setting
Dependable and Historic Computing
The chemical machine: an interpreter for the higher order chemical language
Euro-Par'11 Proceedings of the 2011 international conference on Parallel Processing
Pervasive ecosystems: a coordination model based on semantic chemistry
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Rule-based coordination of logic programs
Computer Languages
A declarative coordination language
Computer Languages
Trace matching in a concurrent logical framework
Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
A social software-based coordination platform: tool paper
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Fundamenta Informaticae
| Hi-index | 48.22 |