default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 192

> Home > Journals > Fundamenta Informaticae

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 192, Number 1, 2024

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CastellaniDG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CastellaniDG24
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. 1-75
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Guttmann24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Guttmann24
Walter Guttmann:
Relation-Algebraic Verification of Disjoint-Set Forests. 77-120

Volume 192, Number 2, 2024

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/ProiettiV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/ProiettiV24
Maurizio Proietti, Alicia Villanueva:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BaudonFG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BaudonFG24
Thaïs Baudon, Carsten Fuhs, Laure Gonnord:
On Complexity Bounds and Confluence of Parallel Term Rewriting. 121-166
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GutierrezLV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GutierrezLV24
Raúl Gutiérrez, Salvador Lucas, Miguel Vítores:
Proving Confluence in the Confluence Framework with CONFident. 167-217

Volume 192, Numbers 3-4, 2024

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LorenzL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LorenzL24
Robert Lorenz, Slawomir Lasota:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FahrenbergZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FahrenbergZ24
Uli Fahrenberg, Krzysztof Ziemianski:
Myhill-Nerode Theorem for Higher-Dimensional Automata. 219-259
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AriasBOOP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AriasBOOP24
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci:
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. 261-312
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/WurdemannCHP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/WurdemannCHP24
Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke:
Taking Complete Finite Prefixes To High Level, Symbolically. 313-361
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AmatDB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AmatDB24
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
On the Complexity of Proving Polyhedral Reductions. 363-394

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.