Concepedia

Sergio Antoy

SA

Statistics

Publications

19

Citations

922

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, engineering, and formal methods.

ORCID

Top concepts

Publications per year

1987–2010

19

Publications

19

Definitional Trees

Sergio Antoy · 1992 · 142 citations

Curry: An Integrated Functional Logic Language

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

, , +12

Functional logic programming

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

, , +11

Automatically checking an implementation against its formal specification

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

, , +18

Constructor-based conditional narrowing

Sergio Antoy · 2001 · 74 citations

, , +17

1–5 of 19