Concepedia

Zoltán Somogyi

ZS

11

Publications

570

Citations

11

H-Index

1987

Active since

Affiliations

The University of Melbourne(Current)

Zoltán Somogyi is an author at The University of Melbourne specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningProgram AnalysisFormal VerificationSoftware AnalysisData IntegrationLogic ProgrammingSyntax

Publications per year

1987–2016

11

Publications

11

The execution algorithm of mercury, an efficient purely declarative logic programming language

Zoltán Somogyi, Fergus Henderson, Thomas Conway · The Journal of Logic Programming · 1996 · 332 citations

Applied Logic, Computational Logic, Declarative Programming +10

The aditi deductive database system

Jayen Vaghanl, Kotagiri Ramamohanarao, David B. Kemp et al. · The VLDB Journal · 1994 · 64 citations

Engineering, Database System, Deductive Database +6

Right-, left- and multi-linear rule transformations that maintain context information

David B. Kemp, Kotagiri Ramamohanarao, Zoltán Somogyi · 1990 · 40 citations

Design overview of the Aditi deductive database system

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp et al. · 2002 · 24 citations

Relational Database, Engineering, Design Overview +20

Constraint-based mode analysis of mercury

David Overton, Zoltán Somogyi, Peter J. Stuckey · 2002 · 22 citations

Numerical Analysis, Engineering, Verification +19

Rows per page

1–5 of 11