Search results for "declarative"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Javier Esparza	Model Checking (with) Declarative Programs.	PPDP	2001	DBLP DOI BibTeX RDF
23	David A. Schmidt	Should UML Be Used for Declarative Programming?	PPDP	2001	DBLP DOI BibTeX RDF
23	Jean-Louis Giavitto, Olivier Michel 0001	Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains.	PPDP	2001	DBLP DOI BibTeX RDF
23	Conal Elliott	Declarative event-oriented programming.	PPDP	2000	DBLP DOI BibTeX RDF
23	Michael Leuschel	Preface - Workshop on Optimization and Implementation of Declarative Programs.	WOID@ICLP	1999	DBLP DOI BibTeX RDF
23	Mark Wallace 0001, Joachim Schimpf	ECLiPSe: Declarative Specification and Scaleable Implementation.	PADL	1999	DBLP DOI BibTeX RDF
23	Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel 0001	Declarative Program Transformation: A Deforestation Case-Study.	PPDP	1999	DBLP DOI BibTeX RDF
23	Michael Hanus	Distributed Programming in a Multi-Paradigm Declarative Language.	PPDP	1999	DBLP DOI BibTeX RDF
23	Gaetano Aurelio Lanzarone, Alessandro Provetti	Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
23	Paqui Lucio, Fernando Orejas, Elvira Pino	A Monotonic Declarative Semantics for Normal Logic Programs.	APPIA-GULP-PRODE	1997	DBLP BibTeX RDF
23	Michael Hanus	A Unified Computation Model for Declarative Programming.	APPIA-GULP-PRODE	1997	DBLP BibTeX RDF
23	W. Marco Schorlemmer, Jaume Agustí-Cullell	Inclusional Theories in Declarative Programming.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
23	Stelvio Cimato, Cecilia Mascolo	Analyzing and Animating Declarative Specifications.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
23	F. Le Berre, Alexandre Tessier	Declarative Incorrectness Diagnosis in Constraint Logic Programming.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
23	Marco Comini, Giorgio Levi, Giuliana Vitiello	Declarative Diagnosis Revisited.	GULP-PRODE	1995	DBLP BibTeX RDF
23	Domenico Aquilino, D. Apuzzo, Patrizia Asirelli	A Declarative Approach to the Design and Realization of Graphic Interfaces.	GULP-PRODE	1995	DBLP BibTeX RDF
23	Marilisa E. Carboni, V. Foddai, Fosca Giannotti, Dino Pedreschi	Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach.	GULP-PRODE	1995	DBLP BibTeX RDF
23	John W. Lloyd	Practical Advtanages of Declarative Programming.	GULP-PRODE (1)	1994	DBLP BibTeX RDF
23	Manfred Broy	Declarative specification and declarative programming.	IWSSD	1991	DBLP BibTeX RDF
23	Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov	Declarative and Procedural Paradigms - Do they Really Compete? (Panel).	PDK	1991	DBLP DOI BibTeX RDF
23	Carlo Zaniolo	Efficient Processing of Declarative Rule-Based Languages for Datebases.	PDK	1991	DBLP DOI BibTeX RDF
23	Pierre E. Bonzon	Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine.	PDK	1991	DBLP DOI BibTeX RDF
23	Jan Treur	Declarative Functionality Descriptions of Interactive Reasoning Modules.	PDK	1991	DBLP DOI BibTeX RDF
23	Wolf-Fritz Riekert	Providing Declarative Access to a Processing System for Satellite Image Data.	PDK	1991	DBLP DOI BibTeX RDF
19	Laura Chiticariu, Yunyao Li 0001, Sriram Raghavan, Frederick Reiss 0001	Enterprise information extraction: recent developments and open challenges.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	usability, scalability, information extraction, accuracy, enterprise applications, declarative
19	Tony Hürlimann	Modeling Languages in Optimization: A New Paradigm.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Algorithmic language, Modeling language, Declarative language, Solver
19	Jack Jansen 0001, Dick C. A. Bulterman	SMIL State: an architecture and implementation for adaptive time-based web applications.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Multimedia web applications, Delayed ad viewing, SMIL, Declarative languages
19	Jim Jiunde Lee, Chih-Yi Chao	The Effects of Quest Types and Gaming Motivations on Players' Knowledge Acquisitions in an Online Role-Playing Game Environment.	HCI (4)	2009	DBLP DOI BibTeX RDF	Online Role-Playing Games, Quest Types, Gaming Motivations, Declarative Knowledge, Procedural Knowledge
19	Frank C. Uyeda, Diwaker Gupta, Amin Vahdat, George Varghese	GrassRoots: socially-driven web sites for the masses.	WOSN	2009	DBLP DOI BibTeX RDF	web 2.0, code generation, declarative specification
19	Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. van der Merwe	DECOR: DEClaritive network management and OpeRation.	PRESTO	2009	DBLP DOI BibTeX RDF	network management, declarative language
19	Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith	Algorithms for user interfaces.	GPCE	2009	DBLP DOI BibTeX RDF	user interfaces, software reuse, component software, declarative specifications, constraint systems
19	Alexandros Marinos, Paul J. Krause	An SBVR Framework for RESTful Web Applications.	RuleML	2009	DBLP DOI BibTeX RDF	SQL, Business Rules, REST, Web-based Applications, Declarative Programming, SBVR
19	Areti Manataki, Yun-Heh Chen-Burger	Analysing Supply Chain Strategies Using Knowledge-Based Techniques.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Dell, FBPML, declarative approach, logical formal method, simulation, supply chain management, business process modelling, workflow engine
19	Mohamed Boukhebouze, Youssef Amghar, Aïcha-Nabila Benharkat, Zakaria Maamar	Towards Self-healing Execution of Business Processes Based on Rules.	ICEIS	2009	DBLP DOI BibTeX RDF	declarative language and self-healing of business process, Business processes modeling, business rules
19	Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Verifiable agent interaction in abductive logic programming: The SCIFF framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols
19	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli	Evaluating ASP and Commercial Solvers on the CSPLib.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
19	Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov	Control Network Programming Illustrated: Solving Problems with Inherent Graph-Like Representation.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Control network programming, Nondeterministic algorithms, Graph-like problem representation, Artificial Intelligence, Programming, Programming languages, Declarative programming, Programming paradigms
19	Weimin Ma, Lawrence Chung, Kendra M. L. Cooper	Assessing Component's Behavioral Interoperability Concerning Goals.	OTM Workshops	2008	DBLP DOI BibTeX RDF	behavioral interoperability, declarative description, component, Goal
19	Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith	Property models: from incidental algorithms to reusable components.	GPCE	2008	DBLP DOI BibTeX RDF	user interfaces, software reuse, component software, declarative specifications, constraint systems
19	Akhil Kumar 0001, Rong Liu	A Rule-Based Framework Using Role Patterns for Business Process Compliance.	RuleML	2008	DBLP DOI BibTeX RDF	generic role patterns, compliant business process, task categories, declarative approach, Sarbanes-oxley, constraints, rules, separation of duty, internal control, control policies
19	Hai-Feng Guo	A Memoized Strategy for Preference Logic Programs.	TASE	2008	DBLP DOI BibTeX RDF	Preference logic programming, tabled resolution, declarative language
19	Jack Jansen 0001, Dick C. A. Bulterman	Enabling adaptive time-based web applications with SMIL state.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	delayed ad viewing, multimedia web applications, SMIL, declarative languages
19	Diomidis Spinellis	The Tools We Use.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	build-process, abstraction, programming language, domain-specific language, declarative language, executable UML
19	Torbjörn Ekman 0001, Görel Hedin	The jastadd extensible java compiler.	OOPSLA	2007	DBLP DOI BibTeX RDF	declarative frameworks, java, compilers, OOP, modularity, extensibility
19	Fan Yang 0002, Nitin Gupta 0003, Nicholas Gerner, Xin Qi 0012, Alan J. Demers, Johannes Gehrke, Jayavel Shanmugasundaram	A unified platform for data driven web applications with automatic client-server partitioning.	WWW	2007	DBLP DOI BibTeX RDF	Hilda, client server partitioning, data driven application, Web 2.0, declarative language
19	David A. Ostrowski	Rule Definition for Managing Ontology Development.	RuleML	2007	DBLP DOI BibTeX RDF	Declarative Logic Programming, Description Logics, Rules, Ontology development, OWL-DL
19	Diomidis Spinellis	Choosing a Programming Language.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	programming language, domain-specific languages, type checking, declarative languages, choice
19	Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo	A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.	FLOPS	2006	DBLP DOI BibTeX RDF	Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order
19	Michael F. Spear, Tom Roeder, Orion Hodson, Galen C. Hunt, Steven Levi	Solving the starting problem: device drivers as self-describing artifacts.	EuroSys	2006	DBLP DOI BibTeX RDF	declarative configuration, dependable computing, experience with existing systems, programming language support, operating systems
19	Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel	Using queries for distributed monitoring and forensics.	EuroSys	2006	DBLP DOI BibTeX RDF	declarative overlays, invariant checking, distributed debugging, distributed monitoring
19	Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer	Goal types in agent programming.	AAMAS	2006	DBLP DOI BibTeX RDF	agent types, agent programming languages, declarative goals
19	Valérie Issarny, Daniele Sacchetti, Ferda Tartanoglu, Françoise Sailhan, Rafik Chibout, Nicole Lévy, Angel Talamona	Developing Ambient Intelligence Systems: A Solution based on Web Services.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	quality of service, Web services, mobile computing, middleware, ambient intelligence, declarative language, service location
19	Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres	A logic programming approach to knowledge-state planning: Semantics and complexity.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	conformant planning, declarative planning, knowledge-states, secure planning, computational complexity, incomplete information, Answer sets
19	Hasan M. Jamil, Gillian Dobbie	On Logical Foundations of Multilevel Secure Databases.	J. Intell. Inf. Syst.	2004	DBLP DOI BibTeX RDF	MLS databases, belief assertion, inheritance and overriding, security, reasoning, deductive databases, declarative language, soundness and completeness
19	Eric Lecolinet	A molecular architecture for creating advanced GUIs.	UIST	2003	DBLP DOI BibTeX RDF	GUI architectures, Ubit, bi-manual interaction, brickgets, transparent tools, multiple-views, ZUIs, declarative languages, GUI toolkits, multiple displays
19	María Alpuente, Santiago Escobar 0001, Bernhard Gramlich, Salvador Lucas	Improving On-Demand Strategy Annotations.	LPAR	2002	DBLP DOI BibTeX RDF	on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ
19	Bernhard Gramlich, Salvador Lucas	Simple termination of context-sensitive rewriting.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	automatic proofs of termination, context-sensitive rewriting, modular program analysis and verification, declarative programming, evaluation strategies
19	Yoshihiro Adachi	Intellisheet: A Spreadsheet System Expanded by Including Constraint Solvers.	HCC	2001	DBLP DOI BibTeX RDF	end-user programming environment, constraint programming, spreadsheet, declarative programming
19	Paul Tarau	Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects.	Computational Logic	2000	DBLP DOI BibTeX RDF	logic programming language design and implementation, interoperation of declarative and stateful languages, meta- programming and reflection
19	Alessandra Raffaetà, Chiara Renso	Temporal Reasoning in Geographical Information Systems.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	declarative approach, spatio-temporal data analysis, MuTACLP+, temporal primitive operators, modularity features, event planning, geographical information systems, GIS, temporal reasoning, temporal reasoning, spatial data, environmental monitoring, logic programming language
19	Antonio Corradi, Rebecca Montanari, Cesare Stefanelli, Emil Lupu, Morris Sloman	A Flexible Access Control Service for Java Mobile Code.	ACSAC	2000	DBLP DOI BibTeX RDF	flexible access control service, Java mobile code, remote servers, distributed heterogeneous clients, foreign code execution, host node protection, code protection, sandbox model, downloaded code, source location, inter-organisational environments, expressive languages, Ponder, Java security architecture, Java, Internet, specification languages, security policies, signature, distributed programming, Internet applications, authorisation, declarative language, technology diffusion, dynamic loading
19	Emil Lupu, Morris Sloman, Naranker Dulay, Nicodemos Damianou	Ponder: Realising Enterprise Viewpoint Concepts.	EDOC	2000	DBLP DOI BibTeX RDF	distributed object enterprise concepts, enterprise viewpoint concepts, Ponder language, prohibitions, nested communities, mobile telecommunication network, specification, declarative language, permissions, obligations, business communication, language constructs
19	Lane Warshaw, Daniel P. Miranker	Rule-Based Query Optimization, Revisited.	CIKM	1999	DBLP DOI BibTeX RDF	extensible query optimization, object oriented optimizers, rule modules, rule-based optimizers, search, heuristics, declarative programming, rule-based programming
19	Daniel E. Cooke	Abstraction, concurrency, and communal computing in SequenceL.	COMPSAC	1997	DBLP DOI BibTeX RDF	SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing
19	Rafael Ramírez 0001	A logical approach for specification and execution of concurrent real-time systems.	RTCSA	1997	DBLP DOI BibTeX RDF	logical approach, concurrent real time system specification, declarative logic programming based language, concurrent real time programming, procedural interpretation, concurrent programming paradigms, kernel language, concurrent real time object oriented framework, correctness, temporal constraints, safety properties, logic programming languages, time requirements
19	T. Kessel, Michael Schlick, O. Stern	Modeling for Configuration Employing Hybrid Knowledge Representation.	ECBS	1996	DBLP DOI BibTeX RDF	configuration of vehicle bus systems, procedural versus declarative knowledge, knowledge representation, domain modeling
19	Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey	A Semantic Model of VHDL for Validating Rewriting Algebras.	EUROMICRO	1996	DBLP DOI BibTeX RDF	rewriting algebras validation, declarative style, process-folding, CAD tool optimization, VHDL, formal model, semantic model, hardware description languages, interval temporal logic, dynamic semantics
19	Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello	Proving Properties of Logic Programs by Abstract Diagnosis.	LOMAPS	1996	DBLP DOI BibTeX RDF	Declarative diagnosis, Verification, Semantics, Logic Programming, Debugging
19	David Feldcamp, Alan Wagner	Using the Parsec environment to implement a high-performance processor farm.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Parsec, high-performance processor farm, multicomputer programs, context-sensitive configuration, hand-optimized implementations, declarative structural information, parallel application structure specification, performance evaluation, performance, user interfaces, user interface, scalability, parallel programming, parallel architectures, static analysis, message passing, reuse, abstraction, optimisation, programming environments, software reusability, parallel programming environment, communication primitives
19	Boris Pasternak	The role of taxonomy in drawing interpretation.	ICDAR	1995	DBLP DOI BibTeX RDF	drawing interpretation, taxonomic structures, object taxonomy, object partonomy, part-of relations, knowledge readability, knowledge maintainability, declarative approach, dual taxonomies, scanned drawings, knowledge representation, knowledge representation, image recognition, image recognition, taxonomy, reasoning, document image processing, spatial reasoning
19	Stephan Baumann 0001	A simplified attributed graph grammar for high-level music recognition.	ICDAR	1995	DBLP DOI BibTeX RDF	music recognition, declarative knowledge base, attributed graph grammar, character recognition, graph grammar, symbolic representation
19	Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh	An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	object-oriented performance design, rapid prototyping method, OOPD, prototyping phases, prototype construction, prototype execution, artificial intelligence based methods, rapid construction mechanism, hybrid inference mechanism, declarative knowledge representation, MENDEL, Prolog based concurrent object-oriented language, prototype construction tool, real-time systems, real-time systems, artificial intelligence, object-oriented programming, knowledge representation, expert systems, expert system, software reusability, inference mechanisms, object-oriented languages, parallel languages, software prototyping, qualitative reasoning, reusable software components, prototype evaluation
19	Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini	Modular Logic Programming.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations
19	Takeshige Miyoshi, Motoei Azuma	An Empirical Study of Evaluating Software Development Environment Quality.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software development environment quality, FASET, software quality evaluation process model, ISO/IEC 9126, algebraic specification method, function-oriented specification, natural-language-oriented specification, diagrammatic specification, state-transition-oriented, formal specification, specification, software quality, programming environments, declarative specification, model-based specification
19	Jianhua Chen 0003	The BLM semantics may be inconsistent.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Logic program, Consistency, Declarative semantics, Derived rules
19	Stuart Cox, Shell-Ying Huang, Paul Kelly, Junxian Liu, Frank Taylor	An Implementation of Static Functional Process Networks.	PARLE	1992	DBLP DOI BibTeX RDF	declarative annotation, program transformation, functional programming, transputer, process network
19	Stanley Lee, Suzanne Sluizer	An Executable Language For Modeling Simple Behavior.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	state transition language, executable language, simple behavior, conventional state-transition framework, model behavior, logical invariants, entity-relationship structure, declarative logic, SXL, specification-oriented methods, formal specification, logic programming, software development, specification languages, modeling language, executable model, system behavior, requirements document, behavioral description
19	Jan A. Plaza	Completeness for Propositional Logic Programs with Negation.	ISMIS	1991	DBLP DOI BibTeX RDF	SLD-resolution, knowledge representation in logic, logic programming, declarative programming, constructive negation, rule-based expert systems, non-classical logics, negation as failure, soundness and completeness
19	Joanne L. Boyd, Gerald M. Karam	Prolog in "C".	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	‘C’, Prolog, translation, declarative programming, procedure programming
19	Saumya K. Debray, David Scott Warren	Towards Banishing the Cut from Prolog.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time
19	James C. Browne, Taejae Lee, John Werth	Experimental Evaluation of a Reusability-Oriented Parallel Programming Environment.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	reusability-oriented parallel programming environment, ROPE, software component reuse system, structured relational classification, declarative/hierarchical graphical programming interface, performance evaluation, design, user interfaces, parallel programming, computer graphics, programming environments, software reusability, experimental evaluation, development environment
17	Joel Greenyer, Ekkart Kindler	Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Query/View/Transformation (QVT), MDA, Model transformation, Triple Graph Grammar (TGG), Model-based software engineering
17	Tomas Petricek 0001, Don Syme	Collecting hollywood's garbage: avoiding space-leaks in composite events.	ISMM	2010	DBLP DOI BibTeX RDF	inversion of control, garbage collection, duality, event-driven, reactive programming, combinator libraries
17	Manuel Rubio-Sánchez	Tail recursive programming by applying generalization.	ITiCSE	2010	DBLP DOI BibTeX RDF	nested recursion, formal methods, generalization, recursion, design of algorithms, tail recursion
17	Ricardo Insausti, Mariano Rincón, César González-Moreno, Emilio Artacho-Pérula, Amparo Díez-Peña, Tomás García-Saiz	Neurobiological Significance of Automatic Segmentation: Application to the Early Diagnosis of Alzheimer's Disease.	IWINAC (2)	2009	DBLP DOI BibTeX RDF
17	Ricardo Amador	K4R - Knowledge to the Power of RESTful, Resourceful and Reactive Rules.	OTM Workshops	2009	DBLP DOI BibTeX RDF
17	Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres	A Rule System for Querying Persistent RDFS Data.	ESWC	2009	DBLP DOI BibTeX RDF
17	Agostino Dovier, Enrico Pontelli	Present and Future Challenges for ASP Systems.	LPNMR	2009	DBLP DOI BibTeX RDF
17	Ahti-Veikko Pietarinen	Diagrammatic Logic of Existential Graphs: A Case Study of Commands.	Diagrams	2008	DBLP DOI BibTeX RDF	diagrammatic logic, existential graphs, tinctures, multi-modality, commands, multi-dimensionality
17	Wenchao Zhou, Eric Cronin, Boon Thau Loo	Provenance-aware secure networks.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
17	Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe	A Query Language for Rational Tree Structures.	UNISCON	2008	DBLP DOI BibTeX RDF
17	Wil M. P. van der Aalst, Maja Pesic	Specifying and Monitoring Service Flows: Making Web Services Process-Aware.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
17	Siegfried Nijssen, Luc De Raedt	IQL: A Proposal for an Inductive Query Language.	KDID	2006	DBLP DOI BibTeX RDF
17	Guido Tack, Christian Schulte 0001, Gert Smolka	Generating Propagators for Finite Set Constraints.	CP	2006	DBLP DOI BibTeX RDF
17	Dirk Schnelle, Tobias Klug	Applying the MVC Pattern to Generated User Interfaces with a Focus on Audio.	Universal Access in Ambient Intelligence Environments	2006	DBLP DOI BibTeX RDF
17	Aida Vitória	A Framework for Reasoning with Rough Sets.	Trans. Rough Sets	2005	DBLP DOI BibTeX RDF
17	Jürgen Fell, Guido Widman, Benno Rehberg, Christian Erich Elger, Guillén Fernández	Human mediotemporal EEG characteristics during propofol anesthesia.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
17	John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam	Using Datalog with Binary Decision Diagrams for Program Analysis.	APLAS	2005	DBLP DOI BibTeX RDF
17	Erik Wilde	Semantically Extensible Schemas for Web Service Evolution.	ECOWS	2004	DBLP DOI BibTeX RDF
17	Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer	Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.	FASE	2004	DBLP DOI BibTeX RDF