Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Lightweight Object Migration Protocol
ICCL'98 Workshop on Internet Programming Languages
Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Heterogeneous Scheduling and Rotation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Object-Oriented Constraint Programming with J.CP
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Unification-Based Lexicon and Morphology with Speculative Feature Signalling
CICLing '01 Proceedings of the Second International Conference on Computational Linguistics and Intelligent Text Processing
Layered and Resource-Adapting Agents in the RoboCup Simulation
RoboCup-98: Robot Soccer World Cup II
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Multi-threading and message communication in Qu-Prolog
Theory and Practice of Logic Programming
EESR '05 Proceedings of the 2005 workshop on End-to-end, sense-and-respond systems, applications and services
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
The agent visualization system: a graphical and textual representation for multi-agent systems
Information Visualization
A Mechanism to Avoid Collusion Attacks Based on Code Passing in Mobile Agent Systems
WISTP '09 Proceedings of the 3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Convergence in language design: a case of lightning striking four times in the same place
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Failure handling in a network-transparent distributed programming language
Advanced Topics in Exception Handling Techniques
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
| Hi-index | 0.00 |