Concepedia

Sergio Antoy

SA

Statistics

Publications

20

Citations

955

H-Index

15

Active since

1987

Affiliations

Portland State University(Current)

Christian-Albrechts-Universität zu Kiel

Universidad Complutense de Madrid

University of Maryland, College Park

Sergio Antoy is an author at Portland State University specializing in computer science, computing, and programming languages.

ORCID

Publications per year

1987–2013

20

Publications

20

Definitional Trees

Sergio Antoy · 1992 · 144 citations

Functional logic programming

Sergio Antoy, Michael Hanus · Communications of the ACM · 2010 · 138 citations

, , +7

Curry: An Integrated Functional Logic Language

Michael Hanus, Sergio Antoy, Herbert Kuchen et al. · 2003 · 135 citations

, , +15

Automatically checking an implementation against its formal specification

Sergio Antoy, Dick Hamlet · IEEE Transactions on Software Engineering · 2000 · 109 citations

, , +16

Constructor-based conditional narrowing

Sergio Antoy · 2001 · 76 citations

, , +7

1–5 of 20