Concepedia

Silvia Ghilezan

SG

12

Publications

293

Citations

11

H-Index

1996

Active since

Affiliations

University of Novi Sad(Current)

École Normale Supérieure de Lyon

Imperial College London

Worcester Polytechnic Institute

University of Turin

Silvia Ghilezan is an author at University of Novi Sad specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceSemanticsLinguisticsProgram AnalysisCluster ComputingParallel ComputingFormal Verification

Publications per year

1996–2023

12

Publications

12

Precise subtyping for synchronous multiparty sessions

Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović et al. · Journal of Logical and Algebraic Methods in Programming · 2018 · 39 citations

Cluster Computing, Engineering, Synchronization Protocol +8

Strong Normalization and Typability with Intersection Types

Silvia Ghilezan · Notre Dame Journal of Formal Logic · 1996 · 37 citations · Full text

Lambda terms for natural deduction, sequent calculus and cut elimination

Henk Barendregt, Silvia Ghilezan · Journal of Functional Programming · 2000 · 32 citations · Full text

Natural Deduction Derivations, Syntax, Type Theory +12

An approach to call-by-name delimited continuations

Hugo Herbelin, Silvia Ghilezan · 2008 · 30 citations · Full text

Engineering, Semantics, Formal Verification +16

The "Relevance" of Intersection and Union Types

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri · Notre Dame Journal of Formal Logic · 1997 · 26 citations · Full text

Curry-howard Interpretation, Non-classical Logic, Engineering +11

Rows per page

1–5 of 12