Oz swMATH ID: 6799 Software Authors: Henz, M., Smolka, G., and Würtz, J. Description: Oz is a high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include optimization problems like scheduling, time tabling, placement and configuration, reasoning and knowledge representation, processing of natural language, simulations, multi agent systems, and sophisticated graphical user interfaces. Oz is dynamically typed and has first-class procedures, classes, objects, exceptions and sequential threads synchronizing over a constraint store. It supports finite domain and feature constraints and has powerful primitives for programming constraint inference engines at a high level. Homepage: http://www.ps.uni-saarland.de/oz2/ Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; Haskell; XSB; AMPL; Pict; OPL; TOY; Curry; BABEL; METATEM; ETPS; ProbLog; Localizer; MiniZinc; COMET Cited in: 109 Publications Further Publications: http://www.mozart-oz.org/papers/ all top 5 Cited by 187 Authors 6 Niehren, Joachim 5 Henz, Martin 5 Valencia, Frank D. 5 Van Hentenryck, Pascal 4 Backofen, Rolf 4 Hanus, Michael 3 Franke, Andreas 3 Kohlhase, Michael 3 Lamma, Evelina 3 Michel, Laurent 3 Müller, Tobias M. 3 Riguzzi, Fabrizio 3 Smolka, Gert 3 Zimmer, Jürgen 2 Duchier, Denys 2 Echahed, Rachid 2 Fernández, Antonio J. 2 Gavanelli, Marco 2 Gorlin, Andrey 2 Haridi, Seif 2 Hortalá-González, Teresa 2 Jacquet, Jean-Marie 2 Jouannaud, Jean-Pierre 2 Koller, Alexander 2 Linden, Isabelle 2 Lux, Wolfgang 2 Martí-Oliet, Narciso 2 Melis, Erica 2 Mello, Paola 2 Milano, Michela 2 Palamidessi, Catuscia 2 Ramakrishnan, C. R. 2 Rodríguez-Artalejo, Mario 2 Rueda, Camilo 2 Sáenz-Pérez, Fernando 2 Schrijvers, Tom 2 Schulte, Christian 2 Schwinghammer, Jan 2 Serwe, Wendelin 2 Smolka, Scott A. 2 Treinen, Ralf 2 Van Roy, Peter 2 Walser, Joachim Paul 2 Will, Sebastian 1 Abreu, Salvador 1 Afrati, Foto N. 1 Ainsworth, John 1 Albert, Elvira 1 Alberti, Marco 1 Amadio, Roberto M. 1 Amandi, Analía 1 Andronikos, Theodore 1 Antoy, Sergio 1 Apt, Krzysztof Rafal 1 Arcelli, Francesca 1 Basu, Samik 1 Beyer, Dirk 1 Bockmayr, Alexander 1 Boon, Ng Ka 1 Borghoff, Uwe M. 1 Brand, Per 1 Braßel, Bernd 1 Broda, Krysia B. 1 Brogi, Antonio 1 Brown, Chad Edward 1 Burg, Jennifer J. 1 Buscemi, Maria Grazia 1 Cadoli, Marco 1 Campo, Marcelo R. 1 Caseau, Yves 1 Casto, Brian 1 Chakravarty, Manuel M. T. 1 Charatonik, Witold 1 Comon, Hubert 1 Santos Costa, Vítor 1 Cucchiara, Rita 1 de Boer, Frank S. 1 De Bosschere, Koen 1 del Vado Vírseda, Rafael 1 Dennis, Louise Abigail 1 Dincbas, Mehmet 1 Erk, Katrin 1 Ferreira, Lígia 1 Formato, Ferrante 1 Foustoucos, Eugénie 1 Fraccaroli, Michele 1 Gabbrielli, Maurizio 1 Gehrke, Wolfgang 1 Guessarian, Irène 1 Gulwani, Sumit 1 Guo, Yike 1 Hannebauer, Markus 1 Harvey, Warwick 1 Hermenegildo, Manuel V. 1 Hess, Stephan M. 1 Hoffmann, Berthold 1 Hosobe, Hiroshi 1 Huch, Frank 1 Huntbach, Matthew M. 1 Iser, Markus ...and 87 more Authors all top 5 Cited in 32 Serials 12 Constraints 6 Theoretical Computer Science 5 Theory and Practice of Logic Programming 5 Lecture Notes in Computer Science 3 Science of Computer Programming 3 The Journal of Logic Programming 3 INFORMS Journal on Computing 2 Information and Computation 2 Journal of Automated Reasoning 2 Machine Learning 2 Annals of Mathematics and Artificial Intelligence 2 Higher-Order and Symbolic Computation 1 Information Processing Letters 1 Operations Research 1 Annales Societatis Mathematicae Polonae. Series IV 1 International Journal of Production Research 1 Journal of Symbolic Computation 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 AI Communications 1 Concurrency: Practice and Experience 1 European Journal of Operational Research 1 Formal Methods in System Design 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Grammars 1 Fundamenta Informaticae 1 Journal of Universal Computer Science 1 Computing and Informatics 1 Computer Languages, Systems & Structures 1 1 Computer Science Review Cited in 5 Fields 96 Computer science (68-XX) 14 Operations research, mathematical programming (90-XX) 10 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 Biology and other natural sciences (92-XX) Citations by Year