The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for closures with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1955-1983 (16) 1984-1988 (22) 1989-1990 (19) 1991-1994 (19) 1995-1996 (20) 1997-1998 (16) 1999-2000 (20) 2001-2002 (19) 2003 (23) 2004 (19) 2005 (18) 2006 (25) 2007 (18) 2008 (33) 2009 (25) 2010 (15) 2011-2012 (39) 2013 (16) 2014-2015 (34) 2016 (17) 2017-2018 (29) 2019 (19) 2020 (27) 2021 (17) 2022 (24) 2023 (20) 2024 (11)
Publication types (Num. hits)
article(286) incollection(5) inproceedings(286) phdthesis(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 211 occurrences of 183 keywords

Results
Found 580 publication records. Showing 580 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
12Lukui Shi, Pilian He A Fast Fuzzy Clustering Algorithm for Large-Scale Datasets. Search on Bibsonomy ADMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Alfons Geser, Dieter Hofbauer, Johannes Waldmann Match-Bounded String Rewriting Systems. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Match-bounded, Termination, Semi-Thue System, String Rewriting System
12Gultekin Özsoyoglu, Nevzat Hurkan Balkir, Z. Meral Özsoyoglu, Graham Cormode On Automated Lesson Construction from Electronic Textbooks. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF electronic textbook data models, instructional modules, lesson construction, lesson construction heuristics, lesson complexity, topics, Electronic textbooks
12Tetsuyou Watanabe, Zhongwei Jiang, Tsuneo Yoshikawa Mechanics of Hybrid Active/passive-closure Grasps. Search on Bibsonomy ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Marcella Anselmo, Dora Giammarresi, Maria Madonia Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet. Search on Bibsonomy Developments in Language Theory The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger Linear Time Universal Coding of Tree Sources via FSM Closure. Search on Bibsonomy Data Compression Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Hans Zantema TORPA: Termination of Rewriting Proved Automatically. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Rinus Plasmeijer, Arjen van Weelden A Functional Shell That Operates on Typed and Compiled Applications. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Christelle Scharff, Leo Bachmair On the Combination of Congruence Closure and Completion. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Ashwin K. Kumaraswamy, Ahmet T. Erdogan, Indrajit Atluri Development of Timing Driven IP Design Flow based on Physical Knowledge Synthesis. Search on Bibsonomy IWSOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Samson Abramsky, Radha Jagadeesan A Game Semantics for Generic Polymorphism. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Hugh Anderson, Siau-Cheng Khoo Affine-Based Size-Change Termination. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Feng Peng, Sudarshan S. Chawathe XPath Queries on Streaming Data. Search on Bibsonomy SIGMOD Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF XML
12Alberto Ciaffaglione, Luigi Liquori, Marino Miculan Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving
12Johan G. F. Belinfante Reasoning about Iteration in Gödel's Class Theory. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Reinhold Letz, Gernot Stenz Universal Variables in Disconnection Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Roman Kolpakov Classes of Binary Rational Distributions Closed under Discrete Transformations. Search on Bibsonomy SAGA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF probabilistic transformations, Stochastic automata
12Pascal Van Hentenryck, Laurent Michel Control Abstractions for Local Search. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Richard Carlsson Parameterized modules in Erlang. Search on Bibsonomy Erlang Workshop The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Bernhard Reus Modular Semantics and Logics of Classes. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Ladislav J. Kohout, Eunjin Kim The role of BK-products of relations in soft computing. Search on Bibsonomy Soft Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Relational BK-products, Fuzzy relational computations, Distributed computing, Knowledge discovery, Neuro-fuzzy
12André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder Thread Migration in a Parallel Graph Reducer. Search on Bibsonomy IFL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Arjen van Weelden, Marinus J. Plasmeijer Towards a Strongly Typed Functional Operating System. Search on Bibsonomy IFL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Mira Balaban, Nikolai Berezansky, Ehud Gudes Answering Cooperative Recursive Queries in Web Federated Databases. Search on Bibsonomy NGITS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Denis Barthou, Paul Feautrier, Xavier Redon On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). Search on Bibsonomy Euro-Par The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Hitoshi Ohsaki, Toshinori Takai Decidability and Closure Properties of Equational Tree Languages. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Ayal Z. Pinkus, Serge Winitzki YACAS: A Do-It-Yourself Symbolic Algebra Environment. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Alberto de la Encina, Ricardo Pena Proving the Correctness of the STG Machine. Search on Bibsonomy IFL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Ming-Dar Tsai, Shyan-Bin Jou, Ming-Shium Hsieh Accurate Surface Voxelization for Manipulating Volumetric Surfaces and Solids with Application in Simulating Musculoskeletal Surgery. Search on Bibsonomy PG The full citation details ... 2001 DBLP  DOI  BibTeX  RDF surface voxelization, volume modeling and manipulation, surgical simulation
12Hitoshi Ohsaki Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF decidability, Tree automata, equational theory
12Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl Weakly Computable Real Numbers and Total Computable Real Functions. Search on Bibsonomy COCOON The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Zhong Shao, Andrew W. Appel Efficient and safe-for-space closure conversion. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF callee-save registers, closure representation, heap-based compilation, space safety, compiler optimization, flow analysis, closure conversion
12Yasuhito Mukouchi, Masako Sato Language Learning with a Neighbor System. Search on Bibsonomy Discovery Science The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12Tamás Gaál Extended Sequentialization of Transducers. Search on Bibsonomy CIAA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12Richard Rasala Toolkits in first year computer science: a pedagogical imperative. Search on Bibsonomy SIGCSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12Edith Cohen, Haim Kaplan, Uri Zwick Connection caching under vaious models of communication. Search on Bibsonomy SPAA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew From system F to typed assembly language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF secure extensible systems, type-directed compilation, typed assembly language, typed intermediate languages, certified code, closure conversion
12Yoonsik Cheon, Heung-Nam Kim Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. Search on Bibsonomy APSEC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF sequence operator, specification language, Smalltalk, formal semantics, block, Program specification
12Klaus Schneider 0001 Yet another Look at the LTL Model Checking. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
12Bengt Jonsson 0001, Wang Yi 0001 Fully Abstract Characterization of Probabilistic May Testing. Search on Bibsonomy ARTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
12Ulrich Kohlenbach Elimination of Skolem functions for monotone formulas in analysis. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification: 03F35, 03F10, 03F03, 03F25
12Paola Quaglia Pi-Congruences as CCS Equivalences. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
12Martín Abadi Protection in Programming-Language Translations: Mobile Object Systems (Abstract). Search on Bibsonomy ECOOP Workshops The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
12Paola Flocchini, Elena Lodi, Fabrizio Luccio, Nicola Santoro Irreversible Dynamos in Tori. Search on Bibsonomy Euro-Par The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
12Jerzy Karczmarczuk Functional Differentiation of Computer Programs. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF lazy semantics, Haskell, Haskell, arithmetic, differentiation, derivatives
12Jeffrey M. Bell, Françoise Bellegarde, James Hook Type-Driven Defunctionalization. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
12Matthew Fuchs Using Scoping Rules as a Distributed Coordination Language. Search on Bibsonomy HICSS (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
12Nikolaos Papaspyrou A Framework for Programming Denotational Semantics in C++. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF C++
12Kumar N. Ganapathy, Benjamin W. Wah Optimal Synthesis of Algorithm-Specific Lower-Dimensional Processor Arrays. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF polynomial-time search, transitive closure, processor arrays, optimal design, objective function, Design constraints, uniform recurrence equations
12Stephan Murer, Stephen M. Omohundro, David Stoutamire, Clemens A. Szyperski Iteration Abstraction in Sather. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Sather, general control structures, iteration abstraction
12Peter Thiemann 0001 Implementing Memoization for Partial Evaluation. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation
12Donald Sannella, Andrzej Tarlecki Mind the Gap! Abstract Versus Concrete Models of Specifications. Search on Bibsonomy MFCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
12Michael Sperber, Peter Thiemann 0001 Realistic Compilation by Partial Evaluation. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF compilation of higher-order functional languages, semantics-directed compiler generation, partial evaluation
12Henry Cejtin, Suresh Jagannathan, Richard Kelsey Higher-Order Distributed Objects. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF concurrency, message-passing, SCHEME, continuations, higher-order languages
12Holger Petersen 0001 Alternation in Simple Devices. Search on Bibsonomy ICALP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
12Detlef Plump On Termination of Graph Rewriting. Search on Bibsonomy WG The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
12Alexander Aiken, Manuel Fähndrich, Raph Levien Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. Search on Bibsonomy PLDI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
12Manuel Serrano Using Higher-Order Control Flow Analysis When Compiling Functional Languages. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Mads Tofte, Jean-Pierre Talpin Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Young Gil Park, Benjamin Goldberg Escape Analysis on Lists. Search on Bibsonomy PLDI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
12John Hannan Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
12John Hannan, Dale Miller 0001 From Operational Semantics to Abstract Machines: Preliminary Results. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
12Mikael Pettersson Generating Efficient Code from Continuation Semantics. Search on Bibsonomy CC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
12David Sands Complexity Analysis for a Lazy Higher-Order Language. Search on Bibsonomy ESOP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
12Timothy J. Hickey CLP* and Constraint Abstraction. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Prolog
12Andrew W. Appel, Trevor Jim Continuation-Passing, Closure-Passing Style. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF ML
12James H. Andrews Proof-Theoretic Characterisations of Logic Programs. Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
12Williams Ludwell Harrison III, Zahira Ammarguellat The Design of Automatic Parallelizers for Symbolic and Numeric Programs. Search on Bibsonomy Workshop on Parallel Lisp The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
12Yuejun Jiang An Autoepistemic Logical View of Knowledge Base. Search on Bibsonomy FSTTCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF AI in Database, Incomplete knowledge, Complete Database, Nonstandard Logic, Modal logic, Deductive database, Integrity Constraints, Non-monotonic logic, Closed World Assumption, Possible worlds semantics, Autoepistemic logic
12Gene Cooperman, Larry Finkelstein, Eugene M. Luks Reduction of Group Constructions to Point Stabilizers. Search on Bibsonomy ISSAC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
12Jim Diederich, Jack Milton New Methods and Fast Algorithms for Database Normalization. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
12David Gelernter, Suresh Jagannathan, Thomas London Environments as First Class Objects. Search on Bibsonomy POPL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF LISP
12Thierry Coquand, Carl A. Gunter, Glynn Winskel DI-Domains as a Model of Polymorphism. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
12Elihu M. Gerson, Susan Leigh Star Analyzing Due Process in the Workplace. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
12Luca Cardelli The Amber Machine. Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
12Peter Wegner On the Unification of Data and Program Abstraction in Ada. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
12Eljas Soisalon-Soininen, Derick Wood An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems. Search on Bibsonomy PODS The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
12Bernhard Josko An Effective Retract Calculus. Search on Bibsonomy Theoretical Computer Science The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
12Charles R. Blair On Computer Transcription of Manual Morse. Search on Bibsonomy J. ACM The full citation details ... 1959 DBLP  DOI  BibTeX  RDF
Displaying result #501 - #580 of 580 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license