Sergio Antoy - RankMe

82 papers A* 1A 1B 2C 19Misc 3Journal 22Unranked 31

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Equivalence Checking of Non-deterministic Operations. CoRR Sergio Antoy, Michael Hanus
2019	—	`conf`	ICurry. DECLARE Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
2019	J	`jnl`	ICurry. CoRR Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
2018	Misc	`conf`	Equivalence Checking of Non-deterministic Operations. FLOPS Sergio Antoy, Michael Hanus
2018	J	`jnl`	Making Bubbling Practical. CoRR Sergio Antoy, Steven Libby
2018	—	`conf`	Synthesizing Set Functions. WFLP Sergio Antoy, Michael Hanus, Finn Teegen
2018	J	`jnl`	Synthesizing Set Functions. CoRR Sergio Antoy, Michael Hanus, Finn Teegen
2017	J	`jnl`	Default rules for Curry. Theory Pract. Log. Program. Sergio Antoy, Michael Hanus
2017	C	`conf`	Eliminating Irrelevant Non-determinism in Functional Logic Programs. PADL Sergio Antoy, Michael Hanus
2017	—	`conf`	Proving Non-Deterministic Computations in Agda. WLP / WFLP Sergio Antoy, Michael Hanus, Steven Libby
2017	J	`jnl`	Transforming Boolean equalities into constraints. Formal Aspects Comput. Sergio Antoy, Michael Hanus
2016	C	`conf`	A New Functional-Logic Compiler for Curry: Sprite. LOPSTR Sergio Antoy, Andy Jost
2016	J	`jnl`	A New Functional-Logic Compiler for Curry: Sprite. CoRR Sergio Antoy, Andy Jost
2016	C	`conf`	Default Rules for Curry. PADL Sergio Antoy, Michael Hanus
2016	J	`jnl`	Default Rules for Curry. CoRR Sergio Antoy, Michael Hanus
2015	C	`conf`	Compiling Collapsing Rules in Certain Constructor Systems. LOPSTR Sergio Antoy, Andy Jost
2015	C	`conf`	From Boolean Equalities to Constraints. LOPSTR Sergio Antoy, Michael Hanus
2014	—	`conf`	Curry without Success. WLP/WFLP Sergio Antoy, Michael Hanus
2014	—	`conf`	Needed Computations Shortcutting Needed Steps. TERMGRAPH Sergio Antoy, Jacob Johannsen, Steven Libby
2013	C	`conf`	Are PPDP Sergio Antoy, Andy Jost
2013	C	`conf`	Compiling a Functional Logic Language: The Fair Scheme. LOPSTR Sergio Antoy, Andy Jost
2012	Misc	`conf`	Compiling a Functional Logic Language: The Basic Scheme. FLOPS Sergio Antoy, Arthur Michener Peters
2012	C	`conf`	Contracts and Specifications for Functional Logic Programming. PADL Sergio Antoy, Michael Hanus
2011	—	`conf`	New Functional Logic Design Patterns. WFLP Sergio Antoy, Michael Hanus
2011	J	`jnl`	On the Correctness of Pull-Tabbing CoRR Sergio Antoy
2011	J	`jnl`	On the correctness of pull-tabbing. Theory Pract. Log. Program. Sergio Antoy
2010	J	`jnl`	Functional logic programming. Commun. ACM Sergio Antoy, Michael Hanus
2010	J	`jnl`	Programming with narrowing: A tutorial. J. Symb. Comput. Sergio Antoy
2009	C	`conf`	Set functions for functional logic programming. PPDP Sergio Antoy, Michael Hanus
2008	C	`ed.`	Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain PPDP Sergio Antoy, Elvira Albert
2007	C	`conf`	Computing with subspaces. PPDP Sergio Antoy, Bernd Braßel
2007	—	`ed.`	Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006 WRS@FLoC Sergio Antoy
2006	—	`conf`	Lazy Context Cloning for Non-Deterministic Graph Rewriting. TERMGRAPH@ETAPS Sergio Antoy, Daniel W. Brown, Su-Hui Chiang
2006	—	`conf`	On the Correctness of Bubbling. RTA Sergio Antoy, Daniel W. Brown, Su-Hui Chiang
2006	B	`conf`	Overlapping Rules and Logic Variables in Functional Logic Programs . ICLP Sergio Antoy, Michael Hanus
2006	—	`conf`	Preface. WRS@FLoC Sergio Antoy
2005	C	`conf`	Declarative Programming with Function Patterns. LOPSTR Sergio Antoy, Michael Hanus
2005	J	`jnl`	Evaluation strategies for functional logic programming. J. Symb. Comput. Sergio Antoy
2005	—	`ed.`	Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004 WRS Sergio Antoy, Yoshihito Toyama
2005	—	`ed.`	Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 WCFLP Sergio Antoy, Michael Hanus
2004	—	`conf`	A Virtual Machine for Functional Logic Computations. IFL Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach
2004	J	`jnl`	Concurrent distinct choices. J. Funct. Program. Sergio Antoy, Michael Hanus
2004	C	`conf`	Formalization and abstract implementation of rewriting with nested rules. PPDP Sergio Antoy, Stephen Johnson
2004	A	`conf`	Implementing functional logic languages using multiple threads and stores. ICFP Andrew P. Tolmach, Sergio Antoy, Marius Nita
2004	—	`conf`	Preface. WRS Sergio Antoy, Yoshihito Toyama
2003	—	`conf`	A monadic semantics for core Curry. WFLP Andrew P. Tolmach, Sergio Antoy
2003	C	`conf`	Conditional narrowing without conditions. PPDP Sergio Antoy, Bernd Brassel, Michael Hanus
2002	—	`conf`	Demandness in Rewriting and Narrowing. WFLP Sergio Antoy, Salvador Lucas
2002	Misc	`conf`	Functional Logic Design Patterns. FLOPS Sergio Antoy, Michael Hanus
2001	C	`conf`	An Implementation of Narrowing Strategies. PPDP Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
2001	C	`conf`	Constructor-Based Conditional Narrowing. PPDP Sergio Antoy
2001	—	`conf`	Evaluation Strategies for Functional Logic Programming. WRS Sergio Antoy
2001	—	`conf`	Improving the Efficiency of Non-Deterministic Computations. WFLP Sergio Antoy, Pascual Julián Iranzo, Bart Massey
2000	—	`conf`	A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. WFLP Elvira Albert, Sergio Antoy, Germán Vidal
2000	J	`jnl`	A needed narrowing strategy. J. ACM Sergio Antoy, Rachid Echahed, Michael Hanus
2000	J	`jnl`	Automatically Checking an Implementation against Its Formal Specification. IEEE Trans. Software Eng. Sergio Antoy, Richard G. Hamlet
2000	—	`conf`	Compiling Multi-Paradigm Declarative Programs into Prolog. FroCoS Sergio Antoy, Michael Hanus
2000	—	`conf`	Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR (LNCS 2042: Selected Papers) Elvira Albert, Sergio Antoy, Germán Vidal
2000	C	`conf`	Measuring the Effectiveness of Partial Evaluation. LOPSTR Elvira Albert, Sergio Antoy, Germán Vidal
1999	—	`conf`	Typed Higher-Order Narrowing without Higher-Order Strategies. Fuji International Symposium on Functional and Logic Programming Sergio Antoy, Andrew P. Tolmach
1997	—	`conf`	Narrowing the Narrowing Space. PLILP Sergio Antoy, Zena M. Ariola
1997	—	`conf`	Optimal Non-deterministic Functional Logic Computations. ALP/HOA Sergio Antoy
1997	B	`conf`	Parallel Evaluation Strategies for Functional Logic Languages. ICLP Sergio Antoy, Rachid Echahed, Michael Hanus
1996	J	`jnl`	A Sequential Reduction Strategy. Theor. Comput. Sci. Sergio Antoy, Aart Middeldorp
1996	—	`conf`	Needed Narrowing in Prolog (Extended Abstract). PLILP Sergio Antoy
1994	A*	`conf`	A Needed Narrowing Strategy. POPL Sergio Antoy, Rachid Echahed, Michael Hanus
1994	—	`conf`	A Sequential Reduction Strategy. ALP Sergio Antoy, Aart Middeldorp
1994	J	`jnl`	Using Term Rewriting to Verify Software. IEEE Trans. Software Eng. Sergio Antoy, John D. Gannon
1992	—	`conf`	A Uniform Approach to Deduction and Automatic Implementation. DISCO Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone
1992	—	`conf`	Definitional Trees. ALP Sergio Antoy
1992	—	`conf`	Normalization by Leftmost Innermost Rewriting. CTRS Sergio Antoy
1992	C	`conf`	Self-Checking against Formal Specifications. ICCI Sergio Antoy, Richard G. Hamlet
1991	—	`conf`	Lazy Evaluation in Logic. PLILP Sergio Antoy
1991	C	`conf`	Non-Determinism and Lazy Evaluation in Logic Programming. LOPSTR Sergio Antoy
1990	—	`conf`	Design Strategies for Rewrite Rules. CTRS Sergio Antoy
1990	—	`conf`	Rapid Protoryping of System Enhancements. ICSI Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Marvin V. Zelkowitz
1989	—	`conf`	Systematic design of algebraic specifications. IWSSD Sergio Antoy
1987	J	`jnl`	Address location on envelopes. Pattern Recognit. Pen-Shu Yeh, Sergio Antoy, Anne Litcher, Azriel Rosenfeld
1987	J	`jnl`	Modeling and Isomorphisms of Positional Board Games. IEEE Trans. Pattern Anal. Mach. Intell. Sergio Antoy
1984	J	`jnl`	A recursive algorithm for quick and efficient bit reversing. Pattern Recognit. Lett. Sergio Antoy
1983	J	`jnl`	Is Pascal suitable for GKS? ACM SIGPLAN Notices Sergio Antoy, Giuliana Dettori
1983	—	`conf`	Towards GKS Binding to PASCAL. Eurographics Sergio Antoy, Giuliana Dettori