Concepedia

Sergio Antoy

SA

19

Publications

922

Citations

15

H-Index

1987

Active since

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.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisLogic ProgrammingSoftware AnalysisSoftware EngineeringSoftware Design

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

Type τ, Engineering, Automated Reasoning +12

Functional logic programming

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

Applied Logic, Computational Logic, Engineering +11

Automatically checking an implementation against its formal specification

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

Imperative Implementation, Program Checking, Engineering +18

Constructor-based conditional narrowing

Sergio Antoy · 2001 · 74 citations

Source System, Engineering, Formal Verification +17

Rows per page

1–5 of 19