Silvia Ghilezan

发表

Zoran Ognjanovic, Silvia Ghilezan, Jelena Ivetic, 2020, FoIKS.
Silvia Ghilezan, 2001, J. Comput. Syst. Sci..
Jovisa D. Zunic, Jovanka Pantovic, Silvia Ghilezan, 2007, Handbook of Approximation Algorithms and Metaheuristics.
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, 2008, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, Silvia Ghilezan, 2016, PLACES.
Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, Silvia Ghilezan, 2016, Theory and Practice of Formal Methods.
Silvia Ghilezan, Thomas Studer, Zoran Ognjanović, 2020, Logic, Language, and Security.
Silvia Likavec, Silvia Ghilezan, Jelena Ivetic, 2011, ICTAC.
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, 2005, Electron. Notes Theor. Comput. Sci..
Silvia Ghilezan, 1994 .
Silvia Ghilezan, 2000, ICALP Satellite Workshops.
José Espírito Santo, Silvia Ghilezan, Jelena Ivetic, 2007, TYPES.
Silvia Likavec, Silvia Ghilezan, Jelena Ivetic, 2011, ArXiv.
Silvia Ghilezan, 1996, J. Autom. Lang. Comb..
Hugo Torres Vieira, Jovanka Pantovic, Silvia Ghilezan, 2016, PLACES.
Silvia Ghilezan, Simona Kašterović, S. Ghilezan, 2020, J. Log. Comput..
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, 2009, TbiLLC.
Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, Silvia Ghilezan, 2006, TGC.
Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic, 2012, ArXiv.
Hugo Herbelin, Silvia Ghilezan, Hugo Herbelin, 2008, POPL '08.
Alceste Scalas, Silvia Ghilezan, Nobuko Yoshida, 2021, Proc. ACM Program. Lang..
Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, Silvia Ghilezan, 2010, WFLP.
Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic, 2017, ECBS.
Silvia Ghilezan, Luca Paolini, 2012, Fundam. Informaticae.
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, 2004, PPDP '04.
Mariangiola Dezani-Ciancaglini, Silvia Likavec, Silvia Ghilezan, 2004, Theor. Comput. Sci..
Zena M. Ariola, Silvia Ghilezan, Paul Downen, 2019, Fundam. Informaticae.
Silvia Ghilezan, S. Ghilezan, 1993, J. Log. Comput..
Mariangiola Dezani-Ciancaglini, Betti Venneri, Silvia Ghilezan, 1997, Notre Dame J. Formal Log..
Hendrik Pieter Barendregt, Silvia Ghilezan, H. Barendregt, 2000, J. Funct. Program..
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, M. Dezani-Ciancaglini, 2002, TYPES.
Silvia Ghilezan, Pierre Lescanne, S. Ghilezan, 2003, TYPES.
Daniel J. Dougherty, Silvia Likavec, Silvia Ghilezan, 2005, LPAR.
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, M. Dezani-Ciancaglini, 2014, RTA-TLCA.
Viktor Kuncak, Silvia Ghilezan, 2001, ICTCS.
Jovisa D. Zunic, Jovanka Pantovic, Silvia Ghilezan, 2014, 2014 IEEE 44th International Symposium on Multiple-Valued Logic.
Bernardo Toninho, Peter Thiemann, Massimo Bartoletti, 2015, J. Log. Algebraic Methods Program..
Zoran Ognjanovic, Silvia Ghilezan, Jelena Ivetic, 2018, LFCS.
Silvia Ghilezan, Zoran Ognjanović, 2009 .
Silvia Likavec, Silvia Ghilezan, Jelena Ivetic, 2014, ArXiv.
Jovisa D. Zunic, Jovanka Pantovic, Silvia Ghilezan, 2007, IEEE Transactions on Neural Networks.
Silvia Ghilezan, S. Ghilezan, 1996, Notre Dame J. Formal Log..
Hugo Torres Vieira, Jovanka Pantovic, Silvia Ghilezan, 2014 .
Silvia Likavec, Silvia Ghilezan, S. Likavec, 2003, ITRS.
Jovanka Pantovic, Silvia Ghilezan, Svetlana Jaksic, 2015, Mathematical Structures in Computer Science.
Jovisa D. Zunic, Jovanka Pantovic, Silvia Ghilezan, 2016, J. Multiple Valued Log. Soft Comput..
Hugo Torres Vieira, Silvia Ghilezan, Jovanka Pantovi'c, 2014 .
Daniele Varacca, Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, 2008, Theor. Comput. Sci..
Hugo Torres Vieira, Jovanka Pantovic, Silvia Ghilezan, 2016, Formal Aspects of Computing.
Silvia Ghilezan, Simona Kasterovic, Pierre Lescanne, 2021, ArXiv.
Silvia Ghilezan, Tamara Stefanović, 2021 .
Daniel J. Dougherty, Silvia Ghilezan, 2004 .
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, M. Dezani-Ciancaglini, 2003 .
Mariangiola Dezani-Ciancaglini, Silvia Likavec, Silvia Ghilezan, 2003 .