Search Results - Silvia Ghilezan

1

Academic Journal

Semantics for Combinatory Logic With Intersection Types

Authors: Silvia Ghilezan, Simona Kašterović

Superior Title: Frontiers in Computer Science, Vol 4 (2022)

Subject Terms: computational systems, combinatory logic, equational theory, type theory, intersection types, soundness, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fcomp.2022.792570/full; https://doaj.org/toc/2624-9898

Access URL: https://doaj.org/article/993039e16e194a1382ace08587e6ad31

Zugang prüfen (DOI)

2

Academic Journal

Precise subtyping for synchronous multiparty sessions

Authors: Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida

Superior Title: Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 29-43 (2016)

Subject Terms: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://arxiv.org/pdf/1602.03593v1; https://doaj.org/toc/2075-2180

Access URL: https://doaj.org/article/2070fd27c86a4f6bb7f2c19c7b904218

Zugang prüfen (DOI)

3

Academic Journal

A Typed Model for Dynamic Authorizations

Authors: Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez, Hugo Torres Vieira

Superior Title: Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 73-84 (2016)

Subject Terms: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://arxiv.org/pdf/1602.03596v1; https://doaj.org/toc/2075-2180

Access URL: https://doaj.org/article/60baa00eaa0e4cac90d46325f8b3ee9b

Zugang prüfen (DOI)

4

Academic Journal

Dynamic Role Authorization in Multiparty Conversations

Authors: Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez, Hugo Torres Vieira

Superior Title: Electronic Proceedings in Theoretical Computer Science, Vol 162, Iss Proc. BEAT 2014, Pp 1-8 (2014)

Subject Terms: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://arxiv.org/pdf/1408.5977v1; https://doaj.org/toc/2075-2180

Access URL: https://doaj.org/article/d933a5e035b44d61b3100f3db1701b4a

Zugang prüfen (DOI)

5

Book

Best practices from PhD to Professor

Authors: Brenda Murphy, Carla Teixeira Lopes, Emanuela Merelli, Mara-Gabriela Diaconu, Marie Gallais, Paula Alexandra Silva, Silvia Ghilezan, Steve Kremer

Subject Terms: gender balance, computer science, equality in research

Relation: https://zenodo.org/record/7441364; https://doi.org/10.5281/zenodo.7441364; oai:zenodo.org:7441364

Availability: https://doi.org/10.5281/zenodo.7441364
https://doi.org/10.5281/zenodo.7441363
https://zenodo.org/record/7441364

Zugang prüfen (DOI)

6

Academic Journal

Combining behavioural types with security analysis

Authors: Massimo Bartoletti, Castellani Ilaria, Pierre Malo Denielou, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Vieira Hugo Torres, DEZANI, Mariangiola

Contributors: Massimo Bartoletti, Castellani Ilaria, Pierre-Malo Denielou, Dezani Mariangiola, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Vieira Hugo Torres

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000365453100004; volume:84; firstpage:763; lastpage:780; numberofpages:18; journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; http://hdl.handle.net/2318/1569401; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84997755144; http://dx.doi.org/10.1016/j.jlamp.2015.09.003

Availability: https://doi.org/10.1016/j.jlamp.2015.09.003
http://hdl.handle.net/2318/1569401

Zugang prüfen (DOI)

7

Conference

Intersection Types for the Resource Control Lambda Calculi

Authors: Silvia Ghilezan, Jelena Ivetić, Pierre Lescanne, LIKAVEC, Silvia

Contributors: Antonio Cerone, Pekka Pihlajasaari, Silvia Ghilezan, Jelena Ivetić, Pierre Lescanne, Silvia Likavec

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783642232824; info:eu-repo/semantics/altIdentifier/isbn/9783642232831; ispartofbook:Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings; 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011; volume:6916; firstpage:116; lastpage:134; numberofpages:19; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Antonio Cerone, Pekka Pihlajasaari; http://hdl.handle.net/2318/135234; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-80052772443; http://link.springer.com/chapter/10.1007%2F978-3-642-23283-1_10

Availability: https://doi.org/10.1007/978-3-642-23283-1_10
http://hdl.handle.net/2318/135234

Zugang prüfen (DOI)

8

Conference

Types for Role-Based Access Control of Dynamic Web Data

Authors: DEZANI, Mariangiola, Silvia Ghilezan, Svetlana Jakšic, Jovanka Pantovic

Contributors: Mariangiola Dezani, Silvia Ghilezan, Svetlana Jakšic, Jovanka Pantovic

File Description: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783642207747; ispartofbook:WFLP 2010; WFLP 2010; volume:6559; firstpage:1; lastpage:29; numberofpages:29; serie:LECTURE NOTES IN COMPUTER SCIENCE; http://hdl.handle.net/2318/97180; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-79957610787

Availability: http://hdl.handle.net/2318/97180

9

Academic Journal

Types and Roles for Web Security

Authors: Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, DEZANI, Mariangiola

Contributors: Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Mariangiola Dezani

File Description: STAMPA

Relation: volume:8; firstpage:16; lastpage:21; numberofpages:6; journal:THE IPSI BGD TRANSACTIONS ON ADVANCED RESEARCH; http://hdl.handle.net/2318/104254

Availability: http://hdl.handle.net/2318/104254

10

Academic Journal

Computational Interpretations of Logics

Authors: Silvia Ghilezan, LIKAVEC, Silvia

Contributors: Silvia Ghilezan, Silvia Likavec

Relation: volume:12(20); firstpage:159; lastpage:215; numberofpages:57; journal:ZBORNIK RADOVA; http://hdl.handle.net/2318/90204; http://elib.mi.sanu.ac.rs/files/journals/zr/20/n020p159.pdf

Availability: http://hdl.handle.net/2318/90204
http://elib.mi.sanu.ac.rs/files/journals/zr/20/n020p159.pdf

11

Academic Journal

Security Types for Dynamic Web Data

Authors: Mariangiola Dezani-ciancaglini, Silvia Ghilezan, Jovanka Pantović, Daniele Varacca

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://www.di.unito.it/%7Edezani/papers/dgpv.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.9848; http://www.di.unito.it/%7Edezani/papers/dgpv.pdf

Availability: http://www.di.unito.it/%7Edezani/papers/dgpv.pdf

12

Academic Journal

Strong normalization of the dual classical sequent calculus

Authors: Daniel Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://web.cs.wpi.edu/~dd/publications/lpar05.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.7062; http://web.cs.wpi.edu/~dd/publications/lpar05.pdf

Availability: http://web.cs.wpi.edu/~dd/publications/lpar05.pdf

13

Academic Journal

Intersection and Union Types in the λµ µ-calculus

Authors: Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://web.cs.wpi.edu/~dd/publications/entcs05-ITRS.pdf.

Subject Terms: Intersection types, union types, λµeµ-calculus, classical logic, Curry-Howard

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.1994; http://web.cs.wpi.edu/~dd/publications/entcs05-ITRS.pdf

Availability: http://web.cs.wpi.edu/~dd/publications/entcs05-ITRS.pdf

14

Academic Journal

Workshop on Intersection Types and Related Systems ITRS 2004

Authors: Daniel J. Dougherty, Silvia Ghilezan

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://itrs04.di.unito.it/papers/dgl.pdf.

Subject Terms: Key words, Intersection types, union types, λµµ̃-calculus, classical

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.557.7916; http://itrs04.di.unito.it/papers/dgl.pdf

Availability: http://itrs04.di.unito.it/papers/dgl.pdf

15

Academic Journal

language with control operators

Authors: École Normale, Supérieure Lyon, Unité Mixte, Recherche Cnrs-inria-ens Lyon-ucbl, Dan Dougherty, Silvia Ghilezan, Pierre Lescanne, École Normale Supérieure De

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2004/RR2004-29.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.212.6109; http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2004/RR2004-29.pdf

Availability: http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2004/RR2004-29.pdf

16

Academic Journal

Two Behavioural Lambda Models

Authors: Mariangiola Dezani-ciancaglini, Silvia Ghilezan

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://www.di.unito.it/~dezani/papers/Dg-lncs.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.7786; http://www.di.unito.it/~dezani/papers/Dg-lncs.pdf

Availability: http://www.di.unito.it/~dezani/papers/Dg-lncs.pdf

17

Academic Journal

Behavioural Inverse Limit λ-Models

Authors: Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://www.di.unito.it/~dezani/papers/dgl.pdf.

Subject Terms: Key words, Lambda calculus, intersection types, models of lambda calculus, Stone

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.9692; http://www.di.unito.it/~dezani/papers/dgl.pdf

Availability: http://www.di.unito.it/~dezani/papers/dgl.pdf

18

Academic Journal

Lambda Models Characterizing Computational Behaviours of Terms

Authors: Mariangiola Dezani-ciancaglini, Silvia Ghilezan

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://www.di.unito.it/~dezani/papers/ScheInfo-I.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.5786; http://www.di.unito.it/~dezani/papers/ScheInfo-I.pdf

Availability: http://www.di.unito.it/~dezani/papers/ScheInfo-I.pdf

19

Academic Journal

A Lambda Model Characterizing Computational Behaviours of Terms

Authors: Mariangiola Dezani-Ciancaglini, Silvia Ghilezan

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://www.di.unito.it/~dezani/papers/rpc01.ps.gz.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.2900; http://www.di.unito.it/~dezani/papers/rpc01.ps.gz

Availability: http://www.di.unito.it/~dezani/papers/rpc01.ps.gz

20

Academic Journal

Reducibility Method for Intersection Types

Authors: Silvia Ghilezan, Viktor Kuncak, Silvia Likavec

Contributors: The Pennsylvania State University CiteSeerX Archives

Superior Title: http://www.mit.edu/people/vkuncak/papers/gkl-mscs.ps.gz.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.37; http://www.mit.edu/people/vkuncak/papers/gkl-mscs.ps.gz

Availability: http://www.mit.edu/people/vkuncak/papers/gkl-mscs.ps.gz

1
2
3
Next