![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Sandra Alves
Person information
- affiliation: University of Porto, Portugal
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c25]Sandra Alves, Delia Kesner, Miguel Ramos:
Quantitative Global Memory. WoLLIC 2023: 53-68 - [i8]Sandra Alves, Delia Kesner, Miguel Ramos:
Quantitative Global Memory. CoRR abs/2303.08940 (2023) - 2022
- [j11]Sandra Alves, Sandra Kiefer, Ana Sokolova:
Report on women in logic 2020 & 2021. ACM SIGLOG News 9(2): 31-33 (2022) - [c24]Sandra Alves, Mário Florido
:
Structural Rules and Algebraic Properties of Intersection Types. ICTAC 2022: 60-77 - [c23]Sandra Alves
, Daniel Ventura
:
Quantitative Weak Linearisation. ICTAC 2022: 78-95 - [c22]Fábio Reis, Sandra Alves, Mário Florido
:
Linear Rank Intersection Types. TYPES 2022: 8:1-8:21 - [i7]Sandra Alves, Mário Florido:
Structural Rules and Algebraic Properties of Intersection Types. CoRR abs/2204.12376 (2022) - [i6]Fábio Reis, Sandra Alves, Mário Florido:
Linear Rank Intersection Types. CoRR abs/2211.17186 (2022) - 2021
- [j10]Sandra Alves
, Renata Wassermann
:
Preface to special issue: LSFA 2017 and 2018. Math. Struct. Comput. Sci. 31(3): 255-256 (2021) - [c21]Sandra Alves, Miguel Ramos
:
An ML-style record calculus with extensible records. MFPS 2021: 1-17 - [i5]Sandra Alves, Maribel Fernández, Miguel Ramos:
EVL: a typed functional language for event processing. CoRR abs/2109.08960 (2021) - [i4]Sandra Alves, Jorge Iglésias:
A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations. CoRR abs/2111.00588 (2021) - 2020
- [c20]Sandra Alves, Maribel Fernández, Miguel Ramos
:
EVL: A Typed Higher-order Functional Language for Events. LSFA 2020: 3-23
2010 – 2019
- 2019
- [c19]Sandra Alves, Delia Kesner, Daniel Ventura:
A Quantitative Understanding of Pattern Matching. TYPES 2019: 3:1-3:36 - [e5]Michele Pagani, Sandra Alves:
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. EPTCS 293, 2019 [contents] - [i3]Sandra Alves, Delia Kesner, Daniel Ventura:
A Quantitative Understanding of Pattern Matching. CoRR abs/1912.01914 (2019) - 2018
- [j9]Sandra Alves, Besik Dundua, Mário Florido
, Temur Kutsia
:
Pattern-based calculi with finitary matching. Log. J. IGPL 26(2): 203-243 (2018) - [j8]Sandra Alves, Iliano Cervesato:
Preface to special issue: LINEARITY 2014. Math. Struct. Comput. Sci. 28(5): 612-613 (2018) - [c18]Sandra Alves, Sabine Broda:
A Unifying Framework for Type Inhabitation. FSCD 2018: 5:1-5:16 - [c17]Sandra Alves, Sabine Broda
:
Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types. LSFA 2018: 25-45 - [e4]Sandra Alves, Renata Wasserman:
12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017. Electronic Notes in Theoretical Computer Science 338, Elsevier 2018 [contents] - 2017
- [j7]Sandra Alves
, Maribel Fernández
:
A graph-based framework for the analysis of access control policies. Theor. Comput. Sci. 685: 3-22 (2017) - [c16]Sandra Alves, Sabine Broda:
Inhabitation machines: determinism and principality. NCMA 2017: 57-70 - [c15]Sandra Alves, Renata Wasserman:
Preface. LSFA 2017: 1-2 - 2016
- [j6]Sandra Alves:
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. ACM SIGLOG News 3(4): 50-54 (2016) - [e3]Gilles Dowek, Daniel R. Licata, Sandra Alves:
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016. ACM 2016, ISBN 978-1-4503-4777-8 [contents] - [i2]João Sá, Sandra Alves, Sabine Broda
:
The G-ACM Tool: using the Drools Rule Engine for Access Control Management. CoRR abs/1611.08547 (2016) - 2015
- [j5]Sandra Alves
, Sabine Broda
:
A short note on type-inhabitation: Formula-trees vs. game semantics. Inf. Process. Lett. 115(11): 908-911 (2015) - [c14]Sandra Alves
, Sabine Broda
, Maribel Fernández:
A Typed Language for Events. LOPSTR 2015: 107-123 - [e2]Sandra Alves, Iliano Cervesato:
Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. EPTCS 176, 2015 [contents] - 2014
- [j4]Sandra Alves
, Maribel Fernández
, Mário Florido
, Ian Mackie:
Linearity: A Roadmap. J. Log. Comput. 24(3): 513-529 (2014) - [c13]Sandra Alves
, Anatoli Degtyarev, Maribel Fernández:
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. LOPSTR 2014: 148-163 - [c12]Mário Pereira
, Sandra Alves, Mário Florido
:
Liquid Intersection Types. ITRS 2014: 24-42 - [c11]Sandra Alves
, Maribel Fernández:
A Framework for the Analysis of Access Control Policies with Emergency Management. LSFA 2014: 89-105 - 2012
- [e1]Sandra Alves, Ian Mackie:
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. EPTCS 101, 2012 [contents] - 2011
- [c10]Sandra Alves
, Maribel Fernández, Mário Florido
, Ian Mackie:
Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182 - [c9]Sandra Alves
, Maribel Fernández, Ian Mackie:
A new graphical calculus of proofs. TERMGRAPH 2011: 69-84 - 2010
- [j3]Sandra Alves
, Maribel Fernández, Mário Florido
, Ian Mackie:
Linearity and iterator types for Gödel's System. High. Order Symb. Comput. 23(1): 1-27 (2010) - [j2]Sandra Alves
, Maribel Fernández
, Mário Florido
, Ian Mackie:
Gödel's system tau revisited. Theor. Comput. Sci. 411(11-13): 1484-1500 (2010) - [i1]Sandra Alves, Maribel Fernández, Mário Florido
, Ian Mackie:
Linear Recursion. CoRR abs/1001.3368 (2010)
2000 – 2009
- 2007
- [c8]Sandra Alves
, Maribel Fernández, Mário Florido
, Ian Mackie:
Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195 - [c7]Sandra Alves, Maribel Fernández, Mário Florido
, Ian Mackie:
Iterator Types. FoSSaCS 2007: 17-31 - [c6]Sandra Alves
, Mário Florido
, Ian Mackie, François-Régis Sinot:
Minimality in a Linear Calculus with Iteration. WRS@RDP 2007: 163-179 - 2006
- [c5]Sandra Alves
, Maribel Fernández, Mário Florido
, Ian Mackie:
The Power of Linear Functions. CSL 2006: 119-134 - [c4]Sandra Alves
, Maribel Fernández, Mário Florido
, Ian Mackie:
The Power of Closed Reduction Strategies. WRS@FLoC 2006: 57-74 - 2005
- [j1]Sandra Alves
, Mário Florido
:
Weak linearization of the lambda calculus. Theor. Comput. Sci. 342(1): 79-103 (2005) - 2003
- [c3]Sandra Alves
, Mário Florido
:
Linearization by Program Transformation. LOPSTR 2003: 160-175 - 2002
- [c2]Sandra Alves, Mário Florido:
On the Relation between Rank 2 Intersection Types and Simple Types. APPIA-GULP-PRODE 2002: 259-274 - 2001
- [c1]Sandra Alves
, Mário Florido
:
Type Inference using Constraint Handling Rules. WFLP 2001: 56-72
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint