Edit Profile (opens in new tab) Antoy, Sergio Co-Author Distance Author ID: antoy.sergio Published as: Antoy, Sergio; Antoy, S. Documents Indexed: 37 Publications since 1973 2 Contributions as Editor Co-Authors: 17 Co-Authors with 26 Joint Publications 223 Co-Co-Authors all top 5 Co-Authors 12 single-authored 11 Hanus, Michael 4 Tolmach, Andrew 3 Jost, Andy 2 Brown, Daniel W. 2 Chiang, Su-Hui 2 Middeldorp, Aart 1 Albert, Elvira 1 Echahed, Rachid 1 Iranzo, Pascual Julián 1 Johannsen, Jacob 1 Libby, Steven 1 Liu, Jimeng 1 Massey, Bart C. 1 Molfino, Maria Teresa 1 Nita, Marius 1 Toyama, Yoshihito 1 Vidal, Germán all top 5 Serials 2 Journal of Symbolic Computation 2 Theory and Practice of Logic Programming 2 Electronic Notes in Theoretical Computer Science 1 Annali dell’Università di Ferrara. Nuova Serie. Sezione VII 1 Calcolo 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 IEEE Transactions on Pattern Analysis and Machine Intelligence 1 Pattern Recognition Letters 1 Journal of Functional Programming 1 Journal of the ACM Fields 37 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 169 times in 81 Documents Cited by ▼ Year ▼ A needed narrowing strategy. Zbl 1327.68141 Antoy, Sergio; Echahed, Rachid; Hanus, Michael 51 2000 Optimal non-deterministic functional logic computations. Zbl 0886.68034 Antoy, Sergio 15 1997 Overlapping rules and logic variables in functional logic programs. Zbl 1131.68364 Antoy, Sergio; Hanus, Michael 13 2006 Evaluation strategies for functional logic programming. Zbl 1129.68019 Antoy, Sergio 12 2005 Declarative programming with function patterns. Zbl 1156.68339 Antoy, Sergio; Hanus, Michael 8 2006 Compiling multi-paradigm declarative programs into Prolog. Zbl 0969.68667 Antoy, Sergio; Hanus, Michael 8 2000 A virtual machine for functional logic computations. Zbl 1119.68326 Antoy, Sergio; Hanus, Michael; Liu, Jimeng; Tolmach, Andrew 7 2005 Programming with narrowing: a tutorial. Zbl 1192.68135 Antoy, Sergio 6 2010 Typed higher-order narrowing without higher-order strategies. Zbl 0988.68091 Antoy, Sergio; Tolmach, Andrew 6 1999 A sequential reduction strategy. Zbl 0872.68080 Antoy, Sergio; Middeldorp, Aart 5 1996 Functional logic design patterns. Zbl 1019.68512 Antoy, Sergio; Hanus, Michael 5 2002 Lazy context cloning for non-deterministic graph rewriting. Zbl 1278.68116 Antoy, Sergio; Brown, Daniel W.; Chiang, Su-Hui 5 2007 On the correctness of bubbling. Zbl 1151.68357 Antoy, Sergio; Brown, Daniel W.; Chiang, Su-Hui 4 2006 Implementing functional logic languages using multiple threads and stores. Zbl 1323.68167 Tolmach, Andrew; Antoy, Sergio; Nita, Marius 3 2004 A sequential reduction strategy. Zbl 0988.68554 Antoy, Sergio; Middeldorp, Aart 3 1994 Measuring the effectiveness of partial evaluation in functional logic languages. Zbl 1018.68500 Albert, Elvira; Antoy, Sergio; Vidal, Germán 3 2001 A monadic semantics for core Curry. Zbl 1270.68158 Tolmach, Andrew; Antoy, Sergio 3 2003 On the correctness of pull-tabbing. Zbl 1222.68050 Antoy, Sergio 2 2011 Evaluation strategies for functional logic programming. Zbl 1268.68092 Antoy, Sergio 2 2001 Improving the efficiency of non-deterministic computations. Zbl 1268.68058 Antoy, Sergio; Iranzo, Pascual Julián; Massey, Bart 2 2002 Normalization by leftmost innermost rewriting. Zbl 1508.68139 Antoy, Sergio 1 1993 Concurrent distinct choices. Zbl 1063.68027 Antoy, Sergio; Hanus, Michael 1 2004 Sul calcolo del gruppo di Picard di certe estensioni intere semplici. Zbl 0313.13006 Antoy, Sergio 1 1973 Equivalence checking of non-deterministic operations. Zbl 1507.68069 Antoy, Sergio; Hanus, Michael 1 2018 Compiling a functional logic language: The Fair Scheme. Zbl 1453.68039 Antoy, Sergio; Jost, Andy 1 2014 Default rules for Curry. Zbl 1379.68037 Antoy, Sergio; Hanus, Michael 1 2017 Equivalence checking of non-deterministic operations. Zbl 1507.68069 Antoy, Sergio; Hanus, Michael 1 2018 Default rules for Curry. Zbl 1379.68037 Antoy, Sergio; Hanus, Michael 1 2017 Compiling a functional logic language: The Fair Scheme. Zbl 1453.68039 Antoy, Sergio; Jost, Andy 1 2014 On the correctness of pull-tabbing. Zbl 1222.68050 Antoy, Sergio 2 2011 Programming with narrowing: a tutorial. Zbl 1192.68135 Antoy, Sergio 6 2010 Lazy context cloning for non-deterministic graph rewriting. Zbl 1278.68116 Antoy, Sergio; Brown, Daniel W.; Chiang, Su-Hui 5 2007 Overlapping rules and logic variables in functional logic programs. Zbl 1131.68364 Antoy, Sergio; Hanus, Michael 13 2006 Declarative programming with function patterns. Zbl 1156.68339 Antoy, Sergio; Hanus, Michael 8 2006 On the correctness of bubbling. Zbl 1151.68357 Antoy, Sergio; Brown, Daniel W.; Chiang, Su-Hui 4 2006 Evaluation strategies for functional logic programming. Zbl 1129.68019 Antoy, Sergio 12 2005 A virtual machine for functional logic computations. Zbl 1119.68326 Antoy, Sergio; Hanus, Michael; Liu, Jimeng; Tolmach, Andrew 7 2005 Implementing functional logic languages using multiple threads and stores. Zbl 1323.68167 Tolmach, Andrew; Antoy, Sergio; Nita, Marius 3 2004 Concurrent distinct choices. Zbl 1063.68027 Antoy, Sergio; Hanus, Michael 1 2004 A monadic semantics for core Curry. Zbl 1270.68158 Tolmach, Andrew; Antoy, Sergio 3 2003 Functional logic design patterns. Zbl 1019.68512 Antoy, Sergio; Hanus, Michael 5 2002 Improving the efficiency of non-deterministic computations. Zbl 1268.68058 Antoy, Sergio; Iranzo, Pascual Julián; Massey, Bart 2 2002 Measuring the effectiveness of partial evaluation in functional logic languages. Zbl 1018.68500 Albert, Elvira; Antoy, Sergio; Vidal, Germán 3 2001 Evaluation strategies for functional logic programming. Zbl 1268.68092 Antoy, Sergio 2 2001 A needed narrowing strategy. Zbl 1327.68141 Antoy, Sergio; Echahed, Rachid; Hanus, Michael 51 2000 Compiling multi-paradigm declarative programs into Prolog. Zbl 0969.68667 Antoy, Sergio; Hanus, Michael 8 2000 Typed higher-order narrowing without higher-order strategies. Zbl 0988.68091 Antoy, Sergio; Tolmach, Andrew 6 1999 Optimal non-deterministic functional logic computations. Zbl 0886.68034 Antoy, Sergio 15 1997 A sequential reduction strategy. Zbl 0872.68080 Antoy, Sergio; Middeldorp, Aart 5 1996 A sequential reduction strategy. Zbl 0988.68554 Antoy, Sergio; Middeldorp, Aart 3 1994 Normalization by leftmost innermost rewriting. Zbl 1508.68139 Antoy, Sergio 1 1993 Sul calcolo del gruppo di Picard di certe estensioni intere semplici. Zbl 0313.13006 Antoy, Sergio 1 1973 all cited Publications top 5 cited Publications all top 5 Cited by 95 Authors 12 Hanus, Michael 11 Antoy, Sergio 8 López-Fraguas, Francisco Javier 8 Vidal, Germán 6 Braßel, Bernd 6 Rodríguez-Hortalá, Juan 4 Alpuente, María 4 Falaschi, Moreno 4 Sánchez-Hernández, Jaime 3 Albert, Elvira 3 Christiansen, Jan 3 del Vado Vírseda, Rafael 3 Echahed, Rachid 3 Escobar, Santiago 3 Fischer, Sebastian 3 Huch, Frank 3 Martí-Oliet, Narciso 3 Meseguer Guaita, José 3 Moreno, Ginés 3 Rodríguez-Artalejo, Mario 3 Thati, Prasanna 2 Aguirre, Luis Antonio 2 Caballero, Rafael E. 2 Correa, Francisco José 2 Fernández, Antonio J. 2 Goncharov, Sergeĭ Savost’yanovich 2 Hortalá-González, Teresa 2 Jost, Andy 2 Lucas, Salvador 2 Martin-Martin, Enrique 2 Middeldorp, Aart 2 Palomino, Miguel 2 Pascual, Vicente 2 Pita, Isabel 2 Prehofer, Christian 2 Ramos, J. Guadalupe 2 Sáenz-Pérez, Fernando 2 Schröder, Lutz 2 Teegen, Finn 1 Arroyo, Gustavo 1 Ballis, Demis 1 Bonelli, Eduardo 1 Brown, Daniel W. 1 Chiang, Su-Hui 1 Clavel, Manuel 1 Cleva, José Miguel 1 Comon, Hubert 1 Correa, Franciso 1 Dayton, Barry H. 1 de Dios Castro, Javier 1 Durán, Francisco 1 Duval, Dominique 1 Dylus, Sandra 1 Eker, Steven 1 Estévez-Martín, Sonia 1 García-Ruiz, Yolanda 1 Glauert, John 1 Glück, Robert 1 Habel, Annegret 1 Ida, Tetsuo 1 Inaba, Kazuhiro 1 Iranzo, Pascual Julián 1 Johannsen, Jacob 1 Kesner, Delia 1 Khasidashvili, Zurab O. 1 Kirchner, Hélène 1 Kirkeby, Maja Hanne 1 Lakin, Matthew R. 1 Libby, Steven 1 Lincoln, Patrick D. 1 Lombardi, Carlos 1 Massey, Bart C. 1 Matsuda, Kazutaka 1 Mazanek, Steffen 1 Minas, Mark 1 Nakano, Keisuke 1 Nishida, Naoki 1 Ohlebusch, Enno 1 Oliver, Javier 1 Padawitz, Peter 1 Pitts, Andrew M. 1 Plump, Detlef 1 Prost, Frédéric 1 Reck, Fabian 1 Riesco, Adrián 1 Ríos, Alejandro 1 Romero-Díaz, Carlos A. 1 Schrijvers, Tom 1 Silva, Josep 1 Simonsen, Jakob Grue 1 Suzuki, Taro 1 Talcott, Carolyn L. 1 Tamarit, Salvador 1 Tarau, Paul 1 Wielemaker, Jan all top 5 Cited in 14 Serials 7 Theory and Practice of Logic Programming 5 Theoretical Computer Science 4 Information and Computation 3 Information Processing Letters 3 Journal of Symbolic Computation 3 Higher-Order and Symbolic Computation 1 Fuzzy Sets and Systems 1 Journal of Algebra 1 New Generation Computing 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Functional Programming 1 ACM Transactions on Computational Logic Cited in 5 Fields 80 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) Citations by Year