Silvia Ghilezan

Cited by

	All	Since 2017
Citations	827	237
h-index	16	8
i10-index	28	7

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120224 7 10 11 13 20 35 18 27 56 61 21 55 37 75 35 47 37 48 30 52 41 58 8

Public access

View all

20 articles

4 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
Daniel J DoughertyWorcester Polytechnic InstituteVerified email at wpi.edu
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
Zoran OgnjanovicResearch Professor, Matematicki institut SANUVerified email at mi.sanu.ac.rs
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 BarendregtRadboud UniversityVerified email at cs.ru.nl
Ilaria CastellaniResearcher in Theoretical 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ć
Hugo Torres VieiraEvidence Srl
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	76	1996
Lambda terms for natural deduction, sequent calculus and cut elimination H Barendregt, S Ghilezan Journal of Functional Programming 10 (1), 121-134, 2000	57	2000
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	50	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	45	2008
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	39	1997
Behavioural inverse limit λ-models M Dezani-Ciancaglini, S Ghilezan, S Likavec Theoretical Computer Science 316 (1-3), 49-74, 2004	37	2004
Strong normalization of the dual classical sequent calculus D Dougherty, S Ghilezan, P Lescanne, S Likavec International Conference on Logic for Programming Artificial Intelligence …, 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	27	2011
Precise subtyping for synchronous multiparty sessions M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida arXiv preprint arXiv:1602.03593, 2016	26	2016
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	22	2019
Intersection and Union Types in the λ¯ μμ˜-calculus DJ Dougherty, S Ghilezan, P Lescanne Electronic Notes in Theoretical Computer Science 136, 153-172, 2005	22	2005
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
Types for role-based access control of dynamic web data M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović International Workshop on Functional and Constraint Logic Programming, 1-29, 2010	20	2010
Characterising strongly normalising intuitionistic sequent terms J Espírito Santo, S Ghilezan, J Ivetić International Workshop on Types for Proofs and Programs, 85-99, 2007	19	2007
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
Two behavioural lambda models M Dezani-Ciancaglini, S Ghilezan International Workshop on Types for Proofs and Programs, 127-147, 2002	17	2002
Precise subtyping for asynchronous multiparty sessions S Ghilezan, J Pantović, I Prokić, A Scalas, N Yoshida Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021	16	2021
Security types for dynamic web data M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca Theoretical Computer Science 402 (2-3), 156-171, 2008	16	2008
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
Intuitionistic sequent-style calculus with explicit structural rules S Ghilezan, J Ivetić, P Lescanne, D Žunić International Tbilisi Symposium on Logic, Language, and Computation, 101-124, 2009	13	2009

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 this author

Cited by

Co-authors