The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1978-1995 (15) 1998-2011 (15) 2012-2023 (14)
Publication types (Num. hits)
article(12) book(1) inproceedings(29) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 23 occurrences of 23 keywords

Results
Found 44 publication records. Showing 44 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
187C. Faure A Meta Simplifier. Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
149Melissa E. O'Neill, F. Warren Burton Smarter garbage collection with simplifiers. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF lightweight daemon, simplifier, weak pointer, finalizer
148Charles G. Nelson, Derek C. Oppen A Simplifier Based on Efficient Decision Algorithms. Search on Bibsonomy POPL The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
79Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu User-Extensible Simplification - Type-Based Optimizer Generators. Search on Bibsonomy CC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
79Greg Nelson, Derek C. Oppen Simplification by Cooperating Decision Procedures. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
69Ronen I. Brafman A simplifier for propositional formulas with many binary clauses. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli Software Specialization Via Symbolic Execution. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF environment-supporting specialization, generalized software components, reengineering technique, transformation tools, symbolic executor/simplifier, loop refolder, conceptual basis, Ada programming language, optimizer, Ada, software maintenance, software reuse, maintenance, software reusability, program compilers, symbolic execution, subroutines, interactive environment
49Hossein M. Sheini, Karem A. Sakallah A Progressive Simplifier for Satisfiability Modulo Theories. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Guy L. Steele Jr. Building Interpreters by Composing Monads. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
31Rakesh M. Verma A Theory of Using History for Equational Systems with Applications (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF translation scheme, equational systems, congruence closure based simplifier, consistent convergent systems, priority rewrite systems, normal forms
29Sanja Stajner, Daniel Ibanez, Horacio Saggion LeSS: A Computationally-Light Lexical Simplifier for Spanish. Search on Bibsonomy RANLP The full citation details ... 2023 DBLP  BibTeX  RDF
29Seong-Kyun Mok, Seoyeon Kang, Jeongwoo Kim, Eun-Sun Cho, Seokwoo Choi SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Daniel F. Litim, Tom Steudtner ARGES - Advanced Renormalisation Group Equation Simplifier. Search on Bibsonomy Comput. Phys. Commun. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
29Shanka Subhra Mondal, Abhilash Nandy, Ritesh Agrawal, Debashis Sen KarNet: An Efficient Boolean Function Simplifier. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
29Sol Swords Hint Orchestration Using ACL2's Simplifier. Search on Bibsonomy ACL2 The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Kálmán Palágyi Simplifier Points in 2D Binary Images. Search on Bibsonomy IWCIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
29Daniel Ferrés, Montserrat Marimon, Horacio Saggion, Ahmed AbuRa'ed YATS: Yet Another Text Simplifier. Search on Bibsonomy NLDB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Ján Margeta Machine Learning for Simplifying the Use of Cardiac Image Databases. (Apprentissage automatique pour simplifier l'utilisation de banques d'images cardiaques). Search on Bibsonomy 2015   RDF
29Lars Hupel Interactive Simplifier Tracing and Debugging in Isabelle. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
29Lars Hupel Interactive Simplifier Tracing and Debugging in Isabelle. Search on Bibsonomy CICM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
29Colby Horn, Cathryn Manduca, David Kauchak Learning a Lexical Simplifier Using Wikipedia. Search on Bibsonomy ACL (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
29Bernardo Pereira Nunes, Ricardo Kawase, Patrick Siehndel, Marco A. Casanova, Stefan Dietze As Simple as It Gets - A Sentence Simplifier for Different Learning Levels and Contexts. Search on Bibsonomy ICALT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
29Norbert Manthey Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Thi-Thanh-Ha Hoang Un modèle multi-agent récursif générique pour simplifier la supervision de systèmes complexes artificiels décentralisés. (A generic recursive multiagent model to simplify supervision of decentralized artificial complex systems). Search on Bibsonomy 2012   RDF
29Nguyen Bach, Qin Gao, Stephan Vogel, Alex Waibel TriS: A Statistical Sentence Simplifier with Log-linear Models and Margin-based Discriminative Training. Search on Bibsonomy IJCNLP The full citation details ... 2011 DBLP  BibTeX  RDF
29Thi-Thanh-Ha Hoang, Michel Occello, Jean-Paul Jamont Un modèle multi-agent générique récursif pour simplifier la supervision de systèmes décentralisés multi-niveaux. Search on Bibsonomy JFSMA The full citation details ... 2011 DBLP  BibTeX  RDF
29Anbulagan, John K. Slaney Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. Search on Bibsonomy ICTAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Nicolas Roussel 0001 Nouvelles formes de communication et nouvelles interactions homme-machine pour enrichir et simplifier le quotidien. (Simplifying and enhancing daily life with new human-computer interactions and new forms of communication). Search on Bibsonomy 2007   RDF
29Ronen I. Brafman A Simplifier for Propositional Formulas with Many Binary Clauses. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
29Louis Galbiati, Carolyn L. Talcott A Simplifier for Untyped Lambda Expressions. Search on Bibsonomy CTRS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Peter Schorn A Canonical Simplifier for Trigonometric Expressions in the Kinematic Equation. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
29Thomas Käufl The Simplifier of the Program Verifier "Tatzelwurm". Search on Bibsonomy ÖGAI The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
29Lars Hörnfeldt A Sum-Substitutor Used as Trigonometric Simplifier. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
20François Boulier, Daniel Lazard, François Ollivier, Michel Petitot Computing representations for radicals of finitely generated differential ideals. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 12H05
20Satish Chandra 0001, Stephen J. Fink, Manu Sridharan Snugglebug: a powerful approach to weakest preconditions. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF interprocedural analysis, weakest preconditions, symbolic analysis
20Tomasz Kajdanowicz, Przemyslaw Kazienko Prediction of Sequential Values for Debt Recovery. Search on Bibsonomy CIARP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF financial pattern recognition, repayment prediction, claim appraisal, competence regions modeling, prediction
20Bart Wyns, Peter De Bruyne, Luc Boullart Characterizing Diversity in Genetic Programming. Search on Bibsonomy EuroGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20François Boulier, François Lemaire Computing canonical representatives of regular differential ideals. Search on Bibsonomy ISSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Rosenfeld-Gröbner, canonical representatives, characteristic presentations, lextriangular, regular differential ideal, differential algebra, characteristic sets
20Nikolaj S. Bjørner, Mark C. Pichora Deciding Fixed and Non-fixed Size Bit-vectors. Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Rakesh M. Verma A Theory of Using History for Equational Systems with Applications. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF congruence-closure algorithm, rewrite system transformation, term rewrite systems, proof theory, equational logic
20Sakti P. Ghosh, Chih-Chen Lin, Timos K. Sellis Implementation of a Prolog-INGRES Interface. Search on Bibsonomy SIGMOD Rec. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog, INGRES
20Robert Cartwright Formal Program Testing. Search on Bibsonomy POPL The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
20Greg Nelson, Derek C. Oppen Fast Decision Procedures Based on Congruence Closure. Search on Bibsonomy J. ACM The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
20Donald W. Loveland, Robert E. Shostak Simplifying Interpreted Formulas. Search on Bibsonomy CADE The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #44 of 44 (100 per page; Change: )
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