|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3893 occurrences of 1736 keywords
|
|
|
Results
Found 6459 publication records. Showing 6459 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Thom W. Frühwirth |
Constraint handling rules: the story so far. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 13-14, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming |
23 | Rajeev Gupta, Manish Bhide |
A Generic XACML Based Declarative Authorization Scheme for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings, pp. 44-63, 2005, Springer, 3-540-28963-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Saumya K. Debray |
Code Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, pp. 5-6, 2005, Springer, 3-540-24362-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta 0001, Miao Liu |
Optimization with mode-directed preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 242-251, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
preference logic programming, tabled prolog, mode |
23 | Sheila A. McIlraith |
Invited talk: towards declarative programming for web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 1-2, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ontologies, web services, semantic web, OWL, web service composition, automated reasoning |
23 | Paola Inverardi, Fabio Mancinelli, Monica Nesi |
A declarative framework for adaptable applications in heterogeneous environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1177-1183, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Sheila A. McIlraith |
Towards Declarative Programming for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings, pp. 21, 2004, Springer, 3-540-22791-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Vincent Jolivet, Dimitri Plemenos, Patrick Poulingeas |
Declarative Specification of Ambiance in VRML Landscapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV, pp. 115-122, 2004, Springer, 3-540-22129-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Probst, Josef Küng |
The Need for Declarative Security Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France, pp. 526-531, 2004, IEEE Computer Society, 0-7695-2199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni |
Declarative Agent Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers, pp. 96-110, 2004, Springer, 3-540-28060-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jonathan H. Pickering, Patrick Olivier |
Declarative Camera Planning: Roles and Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Graphics ![In: Smart Graphics, Third International Symposium, SG 2003, Heidelberg, Germany, July 2-4, 2003, Proceedings, pp. 182-191, 2003, Springer, 3-540-40557-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Tim Todman, Wayne Luk |
Combining Imperative and Declarative Hardware Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 280, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Dean Herington, P. David Stotts |
DeCo: A Declarative Coordination Framework for Scientific Model Federations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 60-69, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Oleg Kiselyov, Shriram Krishnamurthi |
SXSLT: Manipulation Language for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 256-272, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SXML, XML, Scheme, XSLT, tree traversal |
23 | Gérard P. Huet |
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 17-18, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | François Bry, Sebastian Schaffert |
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 255-270, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Paulo S. C. Alencar, Donald D. Cowan, Douglas W. Mulholland, Toacy Cavalcante de Oliveira |
Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SELMAS ![In: Software Engineering for Large-Scale Multi-Agent Systems, Research Issues and Practical Applications [the book is a result of SELMAS 2002], pp. 267-284, 2002, Springer, 3-540-08772-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Web-based user interfaces, e-commerce, monitoring, distributed databases, business process, Software agents, data management, software design, events, events, e-business, data consistency |
23 | Vincent Jolivet, Dimitri Plemenos, Patrick Poulingeas |
Inverse Direct Lighting with a Monte Carlo Method and Declarative Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, pp. 3-12, 2002, Springer, 3-540-43593-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Göran Falkman |
The Use of a Uniform Declarative Model in 3D Visualisation for Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCBR ![In: Advances in Case-Based Reasoning, 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002, Proceedings, pp. 103-117, 2002, Springer, 3-540-44109-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer |
A High-Level Generic Interface to External Programming Languages for ECLiPSe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 262-279, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Logic Programming, implementation, application development, language interfaces |
23 | Bharat Jayaraman, Pallavi Tambay |
Modeling Engineering Structures with Constrained Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 28-46, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Oleg Kiselyov |
A Better XML Parser through Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 209-224, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
tree fold, Haskell, Scheme, traversal, XML parsing |
23 | Olivier Le Roux, Véronique Gaildrat, René Caubet |
Using Constraint Propagation and Domain Reduction for the Generation Phase in Declarative Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2001, London, England, UK, July 25-27, 2001, pp. 117-123, 2001, IEEE Computer Society, 0-7695-1195-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Samuel A. Rebelsky, Peter B. Henderson, Amruth N. Kumar, Frederick N. Springsteel |
Why I do declare!: declarative programming in the undergraduate curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2001, Charlotte, North Carolina, USA, 2001, pp. 398-399, 2001, ACM, 1-58113-329-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Bahram Parvin, Gerald Fontenay, John R. Taylor, Daniel E. Callahan |
Declarative Flow Control for Distributed Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), May 15-18, 2001, Brisbane, Australia, pp. 48-55, 2001, IEEE Computer Society, 0-7695-1010-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Hendrik Decker |
Soundcheck for SQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, pp. 214-228, 2001, Springer, 3-540-41768-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Antony Courtney |
Frappé: Functional Reactive Programming in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, pp. 29-44, 2001, Springer, 3-540-41768-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Shinichi Komatsu, Tadashi Ohta |
Active Networks Architecture Using Declarative Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAN ![In: Active Networks, Second International Working Conference, IWAN 2000, Tokyo, Japan, October 16-18, 2000, Proceedings, pp. 33-44, 2000, Springer, 3-540-41179-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
Agent Programming with Declarative Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings, pp. 228-243, 2000, Springer, 3-540-42422-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Vincent Zammit |
On the Implementation of an Extensible Declarative Proof Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings, pp. 185-202, 1999, Springer, 3-540-66463-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Luis Talavera, Javier Béjar |
Integrating Declarative Knowledge in Hierarchical Clustering Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis, Third International Symposium, IDA-99, Amsterdam, The Netherlands, August 1999, Proceedings, pp. 211-222, 1999, Springer, 3-540-66332-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Camil Demetrescu, Irene Finocchi |
Smooth Animation of Algorithms in a Declarative Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, pp. 280-287, 1999, IEEE Computer Society, 0-7695-0216-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
smooth animation, Algorithm animation, logic languages |
23 | Babu Siddabathuni, Suzanne W. Dietrich, Susan Darling Urban |
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings, pp. 164-178, 1999, Springer, 3-540-65527-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | David Jeffery, Tyson Dowd, Zoltan Somogyi |
MCORBA: A CORBA Binding for Mercury. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings, pp. 211-227, 1999, Springer, 3-540-65527-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Axel van Lamsweerde, Laurent Willemet |
Inferring Declarative Requirements Specifications from Operational Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(12), pp. 1089-1114, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods |
23 | Sergio Flesca, Sergio Greco |
Declarative Semantics for Active Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 9th International Conference, DEXA '98, Vienna, Austria, August 24-28, 1998, Proceedings, pp. 871-880, 1998, Springer, 3-540-64950-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Harold Boley |
A Relational-Functional Integration for Declarative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computer Science: Potential - Theory - Cognition ![In: Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday, pp. 351-358, 1997, Springer, 3-540-63746-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Elena Trichina |
Derivation of Explicitly Parallel Code from Declarative Program by Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 178-190, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Vilas Wuwongse, Ekawit Nantajeewarawat |
Declarative Program Theory with Implicit Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 97-108, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Karl Stroetmann 0001, Thomas Glaß |
A Declarative Semantics for the Prolog Cut Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, pp. 255-271, 1996, Springer, 3-540-60983-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai |
Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, pp. 236-259, 1994, Springer, 3-540-58202-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction |
23 | Michael L. Heytens, Cristiano Sacchi |
A Declarative, Object-Oriented Interface to a Solid Modeler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23-25, 1993, Proceedings, pp. 490-509, 1993, Springer, 3-540-56869-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Inderpal Singh Mumick, Kenneth A. Ross |
Noodle: A Language for Declarative Querying in an Object-Oriented Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings, pp. 360-378, 1993, Springer, 3-540-57530-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Lubomir Bic, John M. A. Roy, Mark Nagel |
Declarative Programming for Conventional MIMD Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 569-583, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Francesco Russo, Mirko Sancassani |
A Declarative Debugging Environment for DATALOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 433-441, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Jan Paredaens, Peter Peelman, Letizia Tanca |
G-Log: A Declarative Graphical Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings, pp. 108-128, 1991, Springer, 3-540-55015-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | K.-F. Wong, U. C. Baron, Hans Benker, Sylvie Bescos, A. B. Cheese, François J. N. Cosquer, Sergio A. Delgado-Rannauro, Michel Dorochevsky, P. Heuze, M. Ibanez-Espiga, Jacques Noyé, Maurizio Paci, M. J. Ratcliffe, M. J. Reeve, Kees Schuerman, Alan P. Sexton, André Véron, Jiyang Xu |
The European Declarative System (EDS) as a platform for parallel logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 339-342, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Fabio Tardivo, Enrico Pontelli |
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings, pp. 191-207, 2022, Springer, 978-3-030-94478-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | James Smith, Xiangyu Guo, Ajay Bansal |
A Predicate Construct for Declarative Programming in Imperative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022, pp. 7:1-7:13, 2022, ACM, 978-1-4503-9703-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Kevin J. Purnell, Rolf Schwitter |
Declarative Smart Contract Testing by Domain Experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR (Companion) ![In: Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26 - 28 September, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Matthieu Viry |
A declarative approach based on Semantic Web technologies to specify and generate adaptive geovisualisations. (Une approche déclarative basée sur les technologies du Web sémantique pour spécifier et générer des géovisualisations adaptatives). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
23 | Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón |
Declarative Debugging of XML Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings, pp. 161-177, 2021, Springer, 978-3-030-67437-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Michael Hanus |
Lightweight Declarative Server-Side Web Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings, pp. 107-123, 2021, Springer, 978-3-030-67437-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Luigi Bellomarini, Giuseppe Galano, Markus Nissl, Emanuel Sallinger |
Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR (Supplement) ![In: Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8 - 15 September, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (eds.) |
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![Springer, 978-3-030-46713-5 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Mohamed-Bachir Belaid |
Fouille de données déclarative basée sur la programmation par contraintes. (Declarative Itemset Mining Based on Constraint Programming). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
23 | Dimitrios Vytiniotis |
Declarative abstractions for tensor program partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020, pp. 3:1, 2020, ACM, 978-1-4503-8821-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz |
Continuous Verification of Machine Learning: a Declarative Programming Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020, pp. 1:1-1:3, 2020, ACM, 978-1-4503-8821-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Egor V. Kostylev |
Declarative Data Analysis Using Limit Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures, pp. 186-222, 2020, Springer, 978-3-030-60066-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Michael Hanus |
Improving Residuation in Declarative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings, pp. 82-97, 2019, Springer, 978-3-030-05997-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Vít Sefl |
Performance Analysis of Zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 215-229, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Tomi Janhunen, Michael Sioutis |
Allen's Interval Algebra Makes the Difference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 89-98, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Wernhard |
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 160-177, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke |
Towards Constraint Logic Programming over Strings for Test Data Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 139-159, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Sven Löffler, Ke Liu 0006, Petra Hofstedt |
The Regularization of Small Sub-Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 106-115, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Armin Wolf |
Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 43-58, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Wolfgang Jeltsch |
A Process Calculus for Formally Verifying Blockchain Consensus Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 24-39, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby |
ICurry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 286-307, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jan C. Dageförde, Finn Teegen |
Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 199-214, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Michael Hanus, Finn Teegen |
Adding Data to Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 230-246, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Weidner, Martin Atzmueller, Dietmar Seipel |
Finding Maximal Non-redundant Association Rules in Tennis Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 59-78, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Agostino Dovier, Andrea Formisano 0001, Flavio Vella |
GPU-Based Parallelism for ASP-Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 3-23, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Baltasar Trancón y Widemann, Markus Lepper 0001 |
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 268-285, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Janis Voigtländer |
Free Theorems Simply, via Dinaturality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 247-267, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Ke Liu 0006, Sven Löffler, Petra Hofstedt |
Exploring Properties of Icosoku by Constraint Satisfaction Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 99-105, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Paulo Quaresma, Vítor Beires Nogueira, Kashyap Raiyani, Roy Khristopher Bayot, Teresa Gonçalves 0001 |
From Textual Information Sources to Linked Data in the Agatha Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 79-88, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.) |
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![Springer, 978-3-030-00800-0 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Gordon Stewart 0001, Samuel Merten, Logan Leland |
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings, pp. 36-52, 2018, Springer, 978-3-319-73304-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Stephan Adelsberger, Anton Setzer, Eric Walkingshaw |
Declarative GUIs: Simple, Consistent, and Verified. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 4:1-4:15, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Michael Hanus |
Verifying Fail-Free Declarative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 12:1-12:13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Manel Charfi |
Declarative approach for long-term sensor data storage. (Approche déclarative pour le stockage à long terme de données capteurs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
23 | Tuan Anh Pham 0002 |
OntoApp : une approche déclarative pour la simulation du fonctionnement d'un logiciel dès une étape précoce du cycle de vie de développement. (OntoApp : a declarative approach for software reuse and simulation in early stage of software development life cycle). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
23 | Felix S. Klock II |
A Declarative DSL for Customizing ASCII Art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, pp. 189-197, 2017, Springer, 978-3-319-51675-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Joost Vennekens |
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, pp. 86-102, 2017, Springer, 978-3-319-51675-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Henrik Nilsson, Guerric Chupin |
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, pp. 163-172, 2017, Springer, 978-3-319-51675-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz |
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 149-165, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Lorenz Leutgeb, Antonius Weinzierl |
Techniques for Efficient Lazy-Grounding ASP Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 132-148, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Philipp Körner, Sebastian Krings |
plspec - A Specification Language for Prolog Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 198-213, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Armin Wolf |
The Proportional Constraint and Its Pruning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 53-63, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Thom W. Frühwirth |
Implementation of Logical Retraction in Constraint Handling Rules with Justifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 37-52, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Min Fang, Hans Tompits |
An Approach for Representing Answer Sets in Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 115-131, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan |
Run-Time Analysis of Temporal Constrained Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 20-36, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Jan Rasmus Tikovsky |
Concolic Testing of Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 169-186, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Ke Liu 0006, Sven Löffler, Petra Hofstedt |
Hypertree Decomposition: The First Step Towards Parallel Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 81-94, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Pedro Roque, Vasco Pedro |
Constraint Solving on Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 3-19, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Jan C. Dageförde, Herbert Kuchen |
An Operational Semantics for Constraint-Logic Imperative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, pp. 64-80, 2017, Springer, 978-3-030-00800-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Adel Ferdjoukh |
Une approche déclarative pour la génération de modèles. (A Declarative Approach for Model Generation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
23 | Maayan Merhav, Avi Karni, Asaf Gilboa |
Not all declarative memories are created equal: Fast Mapping as a direct route to cortical declarative representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 117, pp. 80-92, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Chen Chen 0019, Lay Kuan Loh, Limin Jia 0001, Wenchao Zhou, Boon Thau Loo |
Automated verification of safety properties of declarative networking programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 79-90, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Mauricio Cano, Camilo Rueda, Hugo A. López 0001, Jorge A. Pérez 0001 |
Declarative interpretations of session-based concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 67-78, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 6459 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|