Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
187 | C. Faure |
A Meta Simplifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 290, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
149 | Melissa E. O'Neill, F. Warren Burton |
Smarter garbage collection with simplifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 19-30, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
lightweight daemon, simplifier, weak pointer, finalizer |
148 | Charles G. Nelson, Derek C. Oppen |
A Simplifier Based on Efficient Decision Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 141-150, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
79 | Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu |
User-Extensible Simplification - Type-Based Optimizer Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 86-101, 2001, Springer, 3-540-41861-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
79 | Greg Nelson, Derek C. Oppen |
Simplification by Cooperating Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 1(2), pp. 245-257, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
69 | Ronen I. Brafman |
A simplifier for propositional formulas with many binary clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 34(1), pp. 52-59, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli |
Software Specialization Via Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(9), pp. 884-899, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
49 | Hossein M. Sheini, Karem A. Sakallah |
A Progressive Simplifier for Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, pp. 184-197, 2006, Springer, 3-540-37206-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Guy L. Steele Jr. |
Building Interpreters by Composing Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 472-492, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Rakesh M. Verma |
A Theory of Using History for Equational Systems with Applications (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 348-357, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
translation scheme, equational systems, congruence closure based simplifier, consistent convergent systems, priority rewrite systems, normal forms |
29 | Sanja Stajner, Daniel Ibanez, Horacio Saggion |
LeSS: A Computationally-Light Lexical Simplifier for Spanish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANLP ![In: Proceedings of the 14th International Conference on Recent Advances in Natural Language Processing, RANLP 2023, Varna, Bulgaria, 4-6 September 2023, pp. 1132-1142, 2023, INCOMA Ltd., Shoumen, Bulgaria, 978-954-452-092-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
29 | Seong-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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.05612, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Daniel F. Litim, Tom Steudtner |
ARGES - Advanced Renormalisation Group Equation Simplifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 265, pp. 108021, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Shanka Subhra Mondal, Abhilash Nandy, Ritesh Agrawal, Debashis Sen |
KarNet: An Efficient Boolean Function Simplifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.01363, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
29 | Sol Swords |
Hint Orchestration Using ACL2's Simplifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018., pp. 164-171, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Kálmán Palágyi |
Simplifier Points in 2D Binary Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCIA ![In: Combinatorial Image Analysis - 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings, pp. 3-15, 2017, Springer, 978-3-319-59107-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Ferrés, Montserrat Marimon, Horacio Saggion, Ahmed AbuRa'ed |
YATS: Yet Another Text Simplifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems - 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings, pp. 335-342, 2016, Springer, 978-3-319-41753-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Já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](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
29 | Lars Hupel |
Interactive Simplifier Tracing and Debugging in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.0292, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
29 | Lars Hupel |
Interactive Simplifier Tracing and Debugging in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 328-343, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Colby Horn, Cathryn Manduca, David Kauchak |
Learning a Lexical Simplifier Using Wikipedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (2) ![In: Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014, June 22-27, 2014, Baltimore, MD, USA, Volume 2: Short Papers, pp. 458-463, 2014, The Association for Computer Linguistics, 978-1-937284-73-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Bernardo 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](Pics/bibsonomy.png) |
ICALT ![In: IEEE 13th International Conference on Advanced Learning Technologies, ICALT 2013, Beijing, China, July 15-18, 2013, pp. 128-132, 2013, IEEE Computer Society, 978-0-7695-5009-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Norbert Manthey |
Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, pp. 436-441, 2012, Springer, 978-3-642-31611-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Thi-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](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
29 | Nguyen Bach, Qin Gao, Stephan Vogel, Alex Waibel |
TriS: A Statistical Sentence Simplifier with Log-linear Models and Margin-based Discriminative Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP ![In: Fifth International Joint Conference on Natural Language Processing, IJCNLP 2011, Chiang Mai, Thailand, November 8-13, 2011, pp. 474-482, 2011, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
29 | Thi-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](Pics/bibsonomy.png) |
JFSMA ![In: Systemes Multi-Agents, Initiatives Mixtes - JFSMA 11 - Dix-neuviemes journees francophones sur les systemes multi-agents, Valenciennes, France, October 17-19, 2011, pp. 41-50, 2011, Cepadues Editions, 978-2-854-28980-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
29 | Anbulagan, John K. Slaney |
Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009, pp. 99-106, 2009, IEEE Computer Society, 978-0-7695-3920-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Nicolas 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](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
29 | Ronen I. Brafman |
A Simplifier for Propositional Formulas with Many Binary Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pp. 515-522, 2001, Morgan Kaufmann, 1-55860-777-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
29 | Louis Galbiati, Carolyn L. Talcott |
A Simplifier for Untyped Lambda Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 342-353, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Peter Schorn |
A Canonical Simplifier for Trigonometric Expressions in the Kinematic Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 29(5), pp. 241-246, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Käufl |
The Simplifier of the Program Verifier "Tatzelwurm". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ÖGAI ![In: Österreichische Artificial Intelligence-Tagung, Wien, 24.-27. September 1985, Proceedings, pp. 185-193, 1985, Springer, 3-540-15695-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
29 | Lars Hörnfeldt |
A Sum-Substitutor Used as Trigonometric Simplifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAM ![In: Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings, pp. 188-195, 1982, Springer, 3-540-11607-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
20 | François Boulier, Daniel Lazard, François Ollivier, Michel Petitot |
Computing representations for radicals of finitely generated differential ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 20(1), pp. 73-121, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 12H05 |
20 | Satish Chandra 0001, Stephen J. Fink, Manu Sridharan |
Snugglebug: a powerful approach to weakest preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 363-374, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
interprocedural analysis, weakest preconditions, symbolic analysis |
20 | Tomasz Kajdanowicz, Przemyslaw Kazienko |
Prediction of Sequential Values for Debt Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings, pp. 337-344, 2009, Springer, 978-3-642-10267-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
financial pattern recognition, repayment prediction, claim appraisal, competence regions modeling, prediction |
20 | Bart Wyns, Peter De Bruyne, Luc Boullart |
Characterizing Diversity in Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings, pp. 250-259, 2006, Springer, 3-540-33143-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | François Boulier, François Lemaire |
Computing canonical representatives of regular differential ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC 2000, St. Andrews, United Kingdom, August 6-10, 2000, pp. 38-47, 2000, ACM, 1-58113-218-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Rosenfeld-Gröbner, canonical representatives, characteristic presentations, lextriangular, regular differential ideal, differential algebra, characteristic sets |
20 | Nikolaj S. Bjørner, Mark C. Pichora |
Deciding Fixed and Non-fixed Size Bit-vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 376-392, 1998, Springer, 3-540-64356-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Rakesh M. Verma |
A Theory of Using History for Equational Systems with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(5), pp. 984-1020, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
congruence-closure algorithm, rewrite system transformation, term rewrite systems, proof theory, equational logic |
20 | Sakti P. Ghosh, Chih-Chen Lin, Timos K. Sellis |
Implementation of a Prolog-INGRES Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 17(2), pp. 77-88, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, INGRES |
20 | Robert Cartwright |
Formal Program Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, USA, January 1981, pp. 125-132, 1981, ACM Press, 0-89791-029-X. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
20 | Greg Nelson, Derek C. Oppen |
Fast Decision Procedures Based on Congruence Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 27(2), pp. 356-364, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
20 | Donald W. Loveland, Robert E. Shostak |
Simplifying Interpreted Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings, pp. 97-109, 1980, Springer, 3-540-10009-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|