Anna Ingólfsdóttir

◀ ▶ joint publications with Ignacio Fábregas

> Home > Persons > Anna Ingólfsdóttir

Publications

2024
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00966
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
On the specification of modal systems: A comparison of three frameworks. CoRR abs/2402.00966 (2024)
[i24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00970
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00970
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When Are Prime Formulae Characteristic? CoRR abs/2402.00970 (2024)
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00973
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00973
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical characterisations, rule formats and compositionality for input-output conformance simulation. CoRR abs/2402.00973 (2024)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00982
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00982
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén:
Rule Formats for Nominal Process Calculi. CoRR abs/2402.00982 (2024)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-02847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-02847
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir:
A unified rule format for bounded nondeterminism in SOS with terms as labels. CoRR abs/2402.02847 (2024)
2019
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/AcetoFGI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AcetoFGI19
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical characterisations, rule formats and compositionality for input-output conformance simulation. J. Log. Algebraic Methods Program. 106: 78-106 (2019)
[j62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/AcetoFGIO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AcetoFGIO19
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén:
Rule Formats for Nominal Process Calculi. Log. Methods Comput. Sci. 15(4) (2019)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AcetoMFI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AcetoMFI19
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When are prime formulae characteristic? Theor. Comput. Sci. 777: 3-31 (2019)
2018
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-02081
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-02081
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén:
Rule Formats for Nominal Process Calculi. CoRR abs/1807.02081 (2018)
2017
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/AcetoFGI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AcetoFGI17
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir:
A unified rule format for bounded nondeterminism in SOS with terms as labels. J. Log. Algebraic Methods Program. 92: 64-86 (2017)
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/AcetoFGIO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AcetoFGIO17
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén:
Rule Formats for Nominal Process Calculi. CONCUR 2017: 10:1-10:16
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/AcetoFGI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/AcetoFGI17
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical Characterisations and Compositionality of Input-Output Conformance Simulation. SOFSEM 2017: 37-48
2015
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/AcetoMFI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/AcetoMFI15
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When Are Prime Formulae Characteristic? MFCS (1) 2015: 76-88
2013
[j47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AcetoFFIP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AcetoFFIP13
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
On the specification of modal systems: A comparison of three frameworks. Sci. Comput. Program. 78(12): 2468-2487 (2013)
2011
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/AcetoFFIP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/AcetoFFIP11
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. FSEN 2011: 268-283
[c33]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4464
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4464
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
Graphical representation of covariant-contravariant modal formulae. EXPRESS 2011: 1-15

a service of

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.