default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 173

> 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 173, Number 1, 2020

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KashiwabaraHY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KashiwabaraHY20
Kenji Kashiwabara, Ikumi Horie, Kazunori Yamaguchi:
Higher-Order Rank Functions on Directed Graphs. 1-31
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LinMFHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LinMFHT20
Cheng-Kuan Lin, Liang Ma, Jianxi Fan, Lih-Hsing Hsu, Yuan-Hsiang Teng:
The Conditional-(g, d, k)-Connectivity and Conditional-(g, d, k)-edge-Connectivity on the Hypercubes. 33-45
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/MacynaK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/MacynaK20
Wojciech Macyna, Michal Kukowski:
Flash-Aware Storage of the Column Oriented Databases. 47-72
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/TiouraMKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/TiouraMKS20
Abdelhamid Tioura, Hamouma Moumen, Hamoudi Kalla, Ahmed Ait Saidi:
A Hybrid Protocol to Solve Authenticated Byzantine Consensus. 73-89

Volume 173, Numbers 2-3, 2020

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KleijnLL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KleijnLL20
Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Sofronie-Stokkermans20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Sofronie-Stokkermans20
Viorica Sofronie-Stokkermans:
Parametric Systems: Verification and Synthesis. 91-138
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/PaduraruS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PaduraruS20
Ciprian Ionut Paduraru, Gheorghe Stefanescu:
Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding^,. 139-176
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Diaconescu20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Diaconescu20
Denisa Diaconescu:
Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations. 177-189
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LeusteanMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LeusteanMS20
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta:
A Many-sorted Polyadic Modal Logic. 191-215
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CaltaisMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CaltaisMS20
Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh:
Causal Reasoning for Safety in Hennessy Milner Logic. 217-251

Volume 173, Number 4, 2020

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FioravantiGP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FioravantiGP20
Fabio Fioravanti, John P. Gallagher, Maurizio Proietti:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Fruhwirth20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Fruhwirth20
Thom W. Frühwirth:
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity. 253-283
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Hanus20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Hanus20
Michael Hanus:
Combining Static and Dynamic Contract Checking for Curry. 285-314
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/SkeirikSM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/SkeirikSM20
Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. 315-382

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.