Silvia Ghilezan

Cited by

	All	Since 2016
Citations	1098	424
h-index	17	9
i10-index	27	7

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020214 7 10 10 15 20 35 15 27 56 63 21 53 44 90 77 77 73 87 79 82 65 38

Public access

View all

11 articles

2 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
Svetlana JakšićHøgskulen på VestlandetVerified email at hvl.no
Daniel J DoughertyWorcester Polytechnic InstituteVerified email at wpi.edu
Henk BarendregtRadboud UniversityVerified email at cs.ru.nl
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
Hugo Torres VieiraUniversidade da Beira InteriorVerified email at ubi.pt
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
Ilaria CastellaniResearcher in Theoretical Computer Science, INRIA, FranceVerified email at inria.fr
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
Luca PaoliniAssistant Professor,Universita di TorinoVerified email at di.unito.it
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
Lambda calculus with types H Barendregt, W Dekkers, R Statman Cambridge University Press, 2013	317	2013
Strong normalization and typability with intersection types S Ghilezan Notre Dame Journal of Formal Logic 37 (1), 44-52, 1996	74	1996
Lambda terms for natural deduction, sequent calculus and cut elimination HP Barendregt, S Ghilezan	56	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	44	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	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	25	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	22	2016
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
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	21	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
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	18	2019
Characterising strongly normalising intuitionistic sequent terms JE Santo, S Ghilezan, J Ivetić International Workshop on Types for Proofs and Programs, 85-99, 2007	18	2007
Security types for dynamic web data M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca Theoretical Computer Science 402 (2-3), 156-171, 2008	17	2008
Separating points by parallel hyperplanes—Characterization problem S Ghilezan, J Pantovic, J Zunic IEEE transactions on neural networks 18 (5), 1356-1363, 2007	17	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
Two behavioural lambda models M Dezani-Ciancaglini, S Ghilezan International Workshop on Types for Proofs and Programs, 127-147, 2002	15	2002
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

Upload PDF

Follow this author

Cited by

Co-authors