The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sergio Antoy" ( http://dblp.L3S.de/Authors/Sergio_Antoy )

  Author page on DBLP  Author page in RDF  Community of Sergio Antoy in ASPL-2

Publication years (Num. hits)
1983-1994 (15) 1996-2001 (15) 2002-2006 (15) 2007-2014 (16) 2015-2019 (16)
Publication types (Num. hits)
article(29) inproceedings(46) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33 occurrences of 20 keywords

Results
Found 78 publication records. Showing 77 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sergio Antoy, Michael Hanus Equivalence Checking of Non-deterministic Operations. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby ICurry. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sergio Antoy, Steven Libby Making Bubbling Practical. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Finn Teegen Synthesizing Set Functions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Finn Teegen Synthesizing Set Functions. Search on Bibsonomy WFLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Equivalence Checking of Non-deterministic Operations. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Steven Libby Proving Non-Deterministic Computations in Agda. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Default rules for Curry. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Transforming Boolean equalities into constraints. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Eliminating Irrelevant Non-determinism in Functional Logic Programs. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Andy Jost A New Functional-Logic Compiler for Curry: Sprite. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Default Rules for Curry. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Default Rules for Curry. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Andy Jost A New Functional-Logic Compiler for Curry: Sprite. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Andy Jost Compiling Collapsing Rules in Certain Constructor Systems. Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus From Boolean Equalities to Constraints. Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Jacob Johannsen, Steven Libby Needed Computations Shortcutting Needed Steps. Search on Bibsonomy TERMGRAPH The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Curry without Success. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Sergio Antoy, Andy Jost Are needed redexes really needed? Search on Bibsonomy PPDP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Andy Jost Compiling a Functional Logic Language: The Fair Scheme. Search on Bibsonomy LOPSTR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Contracts and Specifications for Functional Logic Programming. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Arthur Peters Compiling a Functional Logic Language: The Basic Scheme. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sergio Antoy On the Correctness of Pull-Tabbing Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Sergio Antoy On the correctness of pull-tabbing. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus New Functional Logic Design Patterns. Search on Bibsonomy WFLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Functional logic programming. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Programming with narrowing: A tutorial. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Set functions for functional logic programming. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF rewrite systems, non-determinism, subspaces, functional logic programming languages
1Sergio Antoy, Elvira Albert (eds.) Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  BibTeX  RDF
1Sergio Antoy Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Daniel W. Brown, Su-Hui Chiang Lazy Context Cloning for Non-Deterministic Graph Rewriting. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Bernd Braßel Computing with subspaces. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF rewrite systems, non-determinism, subspaces, functional logic programming languages
1Sergio Antoy, Michael Hanus Overlapping Rules and Logic Variables in Functional Logic Programs . Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Daniel W. Brown, Su-Hui Chiang On the Correctness of Bubbling. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Yoshihito Toyama Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Evaluation strategies for functional logic programming. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Declarative Programming with Function Patterns. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus (eds.) Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Concurrent distinct choices. Search on Bibsonomy J. Funct. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach A Virtual Machine for Functional Logic Computations. Search on Bibsonomy IFL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andrew P. Tolmach, Sergio Antoy, Marius Nita Implementing functional logic languages using multiple threads and stores. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF functional logic languages, multi-versioned stores, residuation, narrowing
1Sergio Antoy, Stephen Johnson Formalization and abstract implementation of rewriting with nested rules. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF term rewriting systems, non-determinism, narrowing, functional logic programming, block structured
1Andrew P. Tolmach, Sergio Antoy A monadic semantics for core Curry. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Bernd Brassel, Michael Hanus Conditional narrowing without conditions. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF conditional rewriting, narrowing, functional logic programming, evaluation strategies
1Sergio Antoy, Pascual Julián Iranzo, Bart Massey Improving the Efficiency of Non-Deterministic Computations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Salvador Lucas Demandness in Rewriting and Narrowing. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Functional Logic Design Patterns. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Evaluation Strategies for Functional Logic Programming. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Constructor-Based Conditional Narrowing. Search on Bibsonomy PPDP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner An Implementation of Narrowing Strategies. Search on Bibsonomy PPDP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Rachid Echahed, Michael Hanus A needed narrowing strategy. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF call-by-need, narrowing strategies, rewrite systems, functional logic programming languages
1Sergio Antoy, Richard G. Hamlet Automatically Checking an Implementation against Its Formal Specification. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Self-checking code, object-oriented software testing, formal specification, rewriting
1Elvira Albert, Sergio Antoy, Germán Vidal A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. Search on Bibsonomy WFLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Elvira Albert, Sergio Antoy, Germán Vidal Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Sergio Antoy, Germán Vidal Measuring the Effectiveness of Partial Evaluation. Search on Bibsonomy LOPSTR The full citation details ... 2000 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Compiling Multi-Paradigm Declarative Programs into Prolog. Search on Bibsonomy FroCoS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Andrew P. Tolmach Typed Higher-Order Narrowing without Higher-Order Strategies. Search on Bibsonomy Fuji International Symposium on Functional and Logic Programming The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Optimal Non-deterministic Functional Logic Computations. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Zena M. Ariola Narrowing the Narrowing Space. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Narrowing space, Computed expression, Regular computed expression, Finite representation, Narrowing, Functional logic programming
1Sergio Antoy, Rachid Echahed, Michael Hanus Parallel Evaluation Strategies for Functional Logic Languages. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Sergio Antoy, Aart Middeldorp A Sequential Reduction Strategy. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Needed Narrowing in Prolog (Extended Abstract). Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, John D. Gannon Using Term Rewriting to Verify Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
1Sergio Antoy, Aart Middeldorp A Sequential Reduction Strategy. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Rachid Echahed, Michael Hanus A Needed Narrowing Strategy. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Definitional Trees. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Normalization by Leftmost Innermost Rewriting. Search on Bibsonomy CTRS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Richard G. Hamlet Self-Checking against Formal Specifications. Search on Bibsonomy ICCI The full citation details ... 1992 DBLP  BibTeX  RDF
1Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone A Uniform Approach to Deduction and Automatic Implementation. Search on Bibsonomy DISCO The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Lazy Evaluation in Logic. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Non-Determinism and Lazy Evaluation in Logic Programming. Search on Bibsonomy LOPSTR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Design Strategies for Rewrite Rules. Search on Bibsonomy CTRS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Virginia Tech, Paola Forcheri, Maria Teresa Molfino, Marvin V. Zelkowitz Rapid Protoryping of System Enhancements. Search on Bibsonomy ICSI The full citation details ... 1990 DBLP  BibTeX  RDF
1Pen-Shu Yeh, Sergio Antoy, Anne Litcher, Azriel Rosenfeld Address location on envelopes. Search on Bibsonomy Pattern Recognition The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Modeling and Isomorphisms of Positional Board Games. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Sergio Antoy A recursive algorithm for quick and efficient bit reversing. Search on Bibsonomy Pattern Recognition Letters The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Giuliana Dettori Is Pascal suitable for GKS? Search on Bibsonomy SIGPLAN Notices The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #77 of 77 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license