| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andriy Burkov, Brahim Chaib-draa |
Anytime Self-play Learning to Satisfy Functional Optimality Criteria.  |
ADT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Contreras, Miguel A. Hinojosa, Amparo M. Mármol |
Stable Rankings in Collective Decision Making with Imprecise Information. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
decision analysis with multiple criteria, Group decision making, imprecise information |
| 1 | Gábor Erdélyi, Henning Fernau, Judy Goldsmith, Nicholas Mattei, Daniel Raible 0001, Jörg Rothe |
The Complexity of Probabilistic Lobbying. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Klamler, Ulrich Pferschy, Stefan Ruzika |
Committee Selection with a Weight Constraint Based on Lexicographic Rankings of Individuals. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
knapsack constraint, committee selection |
| 1 | Raymond Bisdorff, Patrick Meyer, Thomas Veneziano |
Inverse Analysis from a Condorcet Robustness Denotation of Valued Outranking Relations. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
inverse Multiple Criteria Decision Analysis, significance weights ellicitation, robustness, uncertainty |
| 1 | Greg Hines, Kate Larson |
Insuring Risk-Averse Agents. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronen I. Brafman, Yagil Engel |
Directional Decomposition of Multiattribute Utility Functions. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Darmann, Ulrich Pferschy, Joachim Schauer |
Determining a Minimum Spanning Tree with Disjunctive Constraints. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
minimum spanning tree, conflict graph |
| 1 | Daniel Eckert, Christian Klamler |
A Geometric Approach to Paradoxes of Majority Voting in Abstract Aggregation Theory. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Agastya, Arkadii M. Slinko |
Axioms for a Class of Algorithms of Sequential Decision Making. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
ex-post rationality, fictitious play, multiset, sequential decision making |
| 1 | Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel (eds.) |
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990 |
ADT |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Streicher, Martin Wirsing |
Dependent Types Considered Necessary for Specification Languages. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Reichel |
A Two-Category Approach to Critical Pair Completion. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Große-Rhode |
Towards Object-Oriented Algebraic Specifications. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Bettaz |
An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Wolz |
Design of a Compiler for Lazy Pattern Driven Narrowing. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianna Reggio |
Entities: An Institution for Dynamic Systems. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Orejas, Pilar Nivela |
Constraints for Behavioural Specifications. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Nieuwenhuis, Fernando Orejas |
Clausal Rewriting: Applications and Implementation. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Mascari, Antonio Vincenzi |
Model-Theoretic Specifications and Back-and-Forth Equivalences. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Lange, Klaus P. Jantke |
Inductive Completion for Transformation of Equational Specifications. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Dimitrovici, Ulrich Hummert |
Composition of Algebraic High-Level Nets. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Guntis Barzdins |
ADT Implementation and Completion by Induction from Examples. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald Sannella, Andrzej Tarlecki |
Extended ML: Past, Present, and Future. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Clerici, Fernando Orejas |
The Specification Language GSBL. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Lehmann 0004 |
A Notion of Implementation for the Specification Language OBSCURE. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Francesco Parisi-Presicce |
A Match Operation for Rule-Based Modular System Design. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald Sannella, Andrzej Tarlecki |
A Kernel Specification Formalism with Higher-Order Parameterization. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric G. Wagner |
Generic Types in a Language for Data Directed Design. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Meinke |
Universal Algebra in Higher Types. |
ADT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Wolz |
Compilation of Algebraic Specifications and Term Rewriting Systems. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Peter Padawitz |
Inductive Expansion. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jordi Farrés-Casals |
Proving Constructor Implementations in Two Steps. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | John W. Gray |
Executable Specifications for Data Type Constructors. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Pilar Nivela, Fernando Orejas |
A Module Concept within the Initial Behaviour Framework. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Bettaz |
Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Michel Bidoit |
Recent Development of the PLUSS Specification Language. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | B. C. Thompson-Quintanilla |
Generalized Computable Algebra and Its Application to the Implementation of Abstract Data Types. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Zhenyu Qian |
Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ingo Claßen |
A Revised Version of ACT ONE. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Scollo |
Typed-Equational Types: Pragmatics. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Klaus P. Jantke |
On Solving Divergence in Knuth-Bendix Completion. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jacques Loeckx, Annette Hoffmann |
Verification in OBSCURE. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Hußmann |
Prototyping Non-Deterministic Algebraic Specifications using the RAP System. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Egidio Astesiano, Alessandro Giovini, Gianna Reggio |
Data in a Concurrent Environment. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Peter Pepper |
An Algebraic View of Local Formalisms. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Axel Poigné |
Towards a Unified Logic for Specification and Programming. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Anne E. Haxthausen |
Mutually Recursive Algebraic Domain Equations. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Egidio Astesiano, Maura Cerioli |
Models and Logical Deduction in Partial Higher-Order Conditional Specifications. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski |
Complexity in Algebraic Specifications: An Upper Bound Result. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Muffy Thomas |
Towards a Termination Ordering for Loop Programs. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe |
Algebraic Theory of Modular Specification Development. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Dieter Hofbauer, Ralf-Detlef Kutsche |
Proving Inductive Theorems in Equational Theories. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Horn Clause Specifications with Polymorphic Types. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas |
Objects and Object Types. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig (eds.) |
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Magne Haveraaen |
The PAL Module Concept. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Gloria Quintanilla |
Prototyping of Z Specifications in ML. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena |
Term Rewriting Methods for Partial Specifications. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Gert Smolka |
Type Logic. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Christian Dimitrovici |
Projection Spaces. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jos L. M. Vrancken |
Parallel Object-Oriented Term Rewriting. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Silvia Clerici, Fernando Orejas, Pere Botella |
The Specification Language for the GESTALT Environment. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Eric G. Wagner, Edwin J. Selker, Joseph D. Rutledge |
Algebraic Data Types and Object-Oriented Programming. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Donald Sannella, Andrzej Tarlecki |
Formal Development of ML Programs: Methodological Aspects. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Kieran Clenaghan |
Abstract Architecture of an Interactive Programming System. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Harald-Reto Fonio |
Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Peter D. Mosses |
Unified Algebras. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Friederike Nickl |
Order-Theoretic Specification of Algebras with Non-Monotonic Operations. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Configuration versus Use: Specification Languages versus Logics. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Dean Jacobs, Bernd Mahr |
Concepts of Algebraic Database Programming Languages. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Axel Poigné |
Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Reichel |
Operational Semantics of Behavioural Canons based on Narrowing. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Nipkow |
Observing Non-Deterministic Data Types. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Amílcar Sernadas |
Structuring Theories on Consequence. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski, Detlef Plump |
Jungle Evaluation. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Pilar Nivela, Fernando Orejas |
Initial Behaviour Semantics for Algebraic Specifications. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Ganzinger |
Completion with History-Dependent Complexities for Generated Equations. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Bidoit |
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Möller, Andrzej Tarlecki, Martin Wirsing |
Algebraic Specifications of Reachable Higher-Order Algebras. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos L. M. Vrancken |
The Algebraic Specification of Semi-Computable Data Types. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Lehmann 0004, Jacques Loeckx |
The Specification Language of OBSCURE. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald Sannella, Andrzej Tarlecki (eds.) |
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode |
Algebraic Data Type and Process Specifications based on Projection Spaces. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Hansen |
The ACT System: Experiences and Future Enhancements. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Wu Yunzeng |
On Formalization and Its Related Notions. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Scollo |
On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Werner Fey |
The Module Specification Language ACT TWO. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle |
Vertical and Horizontal Compositions of Implementation Specifications. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Harald Ganzinger |
Knuth-Bendix Completion for Parametric Specifications with Conditional Equations. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Pere Botella |
Abstract Data Types, Program Schema, and Programming Environments. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Horst Reichel |
Computable Functional Enrichments of Parameterized Behavioural Data Types. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Peter D. Mosses |
Action Semantics. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Michel Bidoit |
The PLUSS Specification Language. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Martin Gogolla |
Exception Handling and Subsorts. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Giancarlo Mauri |
OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Klaus Drosten |
Term Rewriting Systems with Restricted Variables. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Muffy Thomas |
The Storage and Access Structure of Algebraically Specified Data Types. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Rolf Hennicker |
An Implementation Concept for Observational Specifications. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Klaus P. Jantke |
Recursion-Theoretic Problems in Abstract Data Type Theory. |
ADT |
1986 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license