Silvia Ghilezan

Cited by

	All	Since 2019
Citations	953	295
h-index	16	9
i10-index	30	6

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 3 13 13 13 25 29 17 23 66 50 20 57 34 71 38 41 37 40 31 50 38 58 41 47 58

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 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ć
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
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
Lambda terms for natural deduction, sequent calculus and cut elimination H Barendregt, S Ghilezan Journal of Functional Programming 10 (1), 121-134, 2000	54	2000
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	47	2008
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	44	2019
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	43	1997
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	40	2023
Behavioural inverse limit λ-models M Dezani-Ciancaglini, S Ghilezan, S Likavec Theoretical Computer Science 316 (1-3), 49-74, 2004	37	2004
Precise subtyping for synchronous multiparty sessions M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida arXiv preprint arXiv:1602.03593, 2016	36	2016
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	29	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
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
Characterising strongly normalising intuitionistic sequent terms J Espírito Santo, S Ghilezan, J Ivetić Types for Proofs and Programs: International Conference, TYPES 2007 …, 2008	20	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
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	17	2011
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	16	2015
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
Two behavioural lambda models M Dezani-Ciancaglini, S Ghilezan International Workshop on Types for Proofs and Programs, 127-147, 2002	16	2002
Security types for dynamic web data M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca Theoretical Computer Science 402 (2-3), 156-171, 2008	15	2008

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