Silvia Ghilezan

Cited by

	All	Since 2020
Citations	966	271
h-index	16	7
i10-index	30	5

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420254 3 13 14 13 22 33 18 25 66 50 20 43 34 70 38 40 37 40 31 51 38 56 44 51 68 12

Public access

View all

18 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Pierre LescanneProfesseur émérite à l'ENS de LyonVerified email at ens-lyon.fr
Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs
Silvia LikavecPost doc at Universita di Torino, ItalyVerified email at di.unito.it
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Daniel J DoughertyWorcester Polytechnic InstituteVerified email at wpi.edu
Zoran OgnjanovicResearch Professor, Matematicki institut SANUVerified email at mi.sanu.ac.rs
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Viktor KunčakEPFLVerified email at epfl.ch
Jovisa ZunicMathematical Institute - Serbian Academy of SciencesVerified email at mi.sanu.ac.rs
Henk BarendregtFaculty of Science, Radboud UniversityVerified email at ru.nl
Ilaria CastellaniResearcher in Computer Science, INRIA, FranceVerified email at inria.fr
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
Luca PaoliniAssociate Professor,Universita di TorinoVerified email at di.unito.it
Svetlana Jakšić
Zarko MijajlovicProfessor of Mathematics, University of Belgrade, Faculty of MathematicsVerified email at matf.bg.ac.rs
Ivan StojmenovicProfessor of Computer Science, University of OttawaVerified email at site.uottawa.ca
Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of BelgradeVerified email at matf.bg.ac.rs
Aleksandar KrapezScientific advisor, Mathematical Institute of the Serbian Academy of Sciences and ArtsVerified email at mi.sanu.ac.rs

Silvia Ghilezan

University of Novi Sad

Verified email at uns.ac.rs - Homepage

ORCHID https://orcid.org/0000-0003-2253-8285


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Strong normalization and typability with intersection types S Ghilezan Notre Dame Journal of Formal Logic 37 (1), 44-52, 1996	77	1996
Lambda terms for natural deduction, sequent calculus and cut elimination H Barendregt, S Ghilezan Journal of Functional Programming 10 (1), 121-134, 2000	55	2000
Precise subtyping for synchronous multiparty sessions S Ghilezan, S Jakšić, J Pantović, A Scalas, N Yoshida Journal of Logical and Algebraic Methods in Programming 104, 127-173, 2019	54	2019
An approach to call-by-name delimited continuations H Herbelin, S Ghilezan Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	54	2008
Characterizing strong normalization in the Curien–Herbelin symmetric lambda calculus: extending the Coppo–Dezani heritage DJ Dougherty, S Ghilezan, P Lescanne Theoretical Computer Science 398 (1-3), 114-128, 2008	46	2008
Precise subtyping for asynchronous multiparty sessions S Ghilezan, J Pantović, I Prokić, A Scalas, N Yoshida ACM Transactions on Computational Logic 24 (2), 1-73, 2023	43	2023
The" relevance" of intersection and union types M Dezani-Ciancaglini, S Ghilezan, B Venneri Notre Dame Journal of Formal Logic 38 (2), 246-269, 1997	42	1997
Precise subtyping for synchronous multiparty sessions M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida arXiv preprint arXiv:1602.03593, 2016	37	2016
Behavioural inverse limit λ-models M Dezani-Ciancaglini, S Ghilezan, S Likavec Theoretical Computer Science 316 (1-3), 49-74, 2004	36	2004
Strong normalization of the dual classical sequent calculus D Dougherty, S Ghilezan, P Lescanne, S Likavec Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005	28	2005
Intersection types for the resource control lambda calculi S Ghilezan, J Ivetić, P Lescanne, S Likavec International Colloquium on Theoretical Aspects of Computing, 116-134, 2011	26	2011
Characterizing strong normalization in a language with control operators D Dougherty, S Ghilezan, P Lescanne Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004	22	2004
Intersection and Union Types in the λ¯ μμ˜-calculus DJ Dougherty, S Ghilezan, P Lescanne Electronic Notes in Theoretical Computer Science 136, 153-172, 2005	21	2005
Types for role-based access control of dynamic web data M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović Functional and Constraint Logic Programming: 19th International Workshop …, 2011	18	2011
Characterising strongly normalising intuitionistic sequent terms J Espírito Santo, S Ghilezan, J Ivetić Types for Proofs and Programs: International Conference, TYPES 2007 …, 2008	18	2008
Separating points by parallel hyperplanes—Characterization problem S Ghilezan, J Pantovic, J Zunic IEEE transactions on neural networks 18 (5), 1356-1363, 2007	18	2007
Reducibility: A ubiquitous method in lambda calculus with intersection types S Ghilezan, S Likavec Electronic Notes in Theoretical Computer Science 70 (1), 106-123, 2003	16	2003
Combining behavioural types with security analysis M Bartoletti, I Castellani, PM Deniélou, M Dezani-Ciancaglini, S Ghilezan, ... Journal of Logical and Algebraic Methods in Programming 84 (6), 763-780, 2015	15	2015
Two behavioural lambda models M Dezani-Ciancaglini, S Ghilezan International Workshop on Types for Proofs and Programs, 127-147, 2002	15	2002
Probabilistic reasoning about simply typed lambda terms S Ghilezan, J Ivetić, S Kašterović, Z Ognjanović, N Savić Logical Foundations of Computer Science: International Symposium, LFCS 2018 …, 2018	14	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors