Oz

swMATH6799MaRDI QIDQ18874FDOQ18874

Author name not available (Why is that?)

Official website: http://www.ps.uni-saarland.de/oz2/

Cited In (only showing first 100 items - show all)

• A survey of concurrent object-oriented languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On modelling mobility
• A survey of constraint-based programming paradigms
• JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
• Lectures on Concurrency and Petri Nets
• Title not available (Why is that?)
• Two case studies of semantics execution in Maude: CCS and LOTOS
• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Integer optimization by local search. A domain-independent approach
• The integration of functions into logic programming: From theory to practice
• A closer look at constraints as processes
• A modeling layer for constraint-programming libraries
• Logic programming in the context of multiparadigm programming: the Oz experience
• Constraint and integer programming in OPL
• Dynamic state restoration using versioning exceptions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• MBase: Representing knowledge and context for the integration of mathematical software systems
• Coordination Models and Languages
• Decidability of infinite-state timed CCP processes and first-order LTL
• Constraint-based protocols for distributed problem solving
• Title not available (Why is that?)
• A timed concurrent constraint language.
• On benchmarking constraint logic programming platforms. Response to Fernández and Hill's ``A comparative study of eight constraint programming languages over the Boolean and finite domains
• Recognition of Nested Gates in CNF Formulas
• Model checking with probabilistic tabled logic programming
• Evaluating ASP and commercial solvers on the CSPLib
• A methodological view of constraint solving
• A concurrent lambda calculus with futures
• CLAIRE: combining sets, search and rules to better express algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new generic scheme for functional logic programming with constraints
• The distribution semantics for normal programs with function symbols
• Processing underspecified semantic representations in the constraint language for lambda structures
• Constraint solving for proof planning
• A complete axiomatization of a theory with feature and arity constraints
• Title not available (Why is that?)
• Title not available (Why is that?)
• FocusCheck
• GeneSyst
• CLAIRE
• Title not available (Why is that?)
• Curry
• Kima
• Kernel-LEAF
• Janus
• TeaBag
• Freja
• Hat
• Hood
• PAKCS
• On the expressiveness of timed coordination models
• Localizer
• cc(FD)
• Localizer
• OPL
• ToOLS
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Global constraints for round robin tournament scheduling.
• Models and emerging trends of concurrent constraint programming
• Search combinators
• Three perspectives for solving the job grouping problem
• Computing an irregularity strength of selected graphs
• On temporal logic versus Datalog
• Combining model checking and data-flow analysis
• Scheduling a Major College Basketball Conference—Revisited
• The protein structure prediction problem: A constraint optimization approach using a new lower bound
• A constraint-based approach to fast and exact structure prediction in three-dimensional protein models
• A microkernel architecture for constraint programming
• Functional Logic Programming: From Theory to Curry
• Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
• Logic Programming
• Title not available (Why is that?)
• GOFFIN: Higher-order functions meet concurrent constraints
• Programming constraint services. High-level programming of standard and new constraint services
• Title not available (Why is that?)
• Title not available (Why is that?)
• Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving
• Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Title not available (Why is that?)
• Dominance constraints with Boolean connectives: A model-eliminative treatment
• A design and implementation of the extended Andorra model
• Agent-oriented programming. From Prolog to guarded definite clauses.
• Iterative software engineering for multiagent systems. The MASSIVE method.
• How efficient is a global constraint in practice? A fair experimental framework
• Design for AJACS, yet another Java constraint programming framework
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symbolic DNN-tuner
• Constraint programming: strategic directions
• Some challenges for constraint programming
• Solving hierarchical constraints over finite domains with local search

This page was built for software: Oz