default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 187

> 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 187, Number 1, 2022

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KasjanN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KasjanN22
Stanislaw Kasjan, Damian Niwinski:
Daniel Simson Obituary.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BhagatCDM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BhagatCDM22
Subhash Bhagat, Abhinav Chakraborty, Bibhuti Das, Krishnendu Mukhopadhyaya:
Gathering over Meeting Nodes in Infinite Grid^*. 1-30
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Redeker22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Redeker22
Markus Redeker:
Number Conservation via Particle Flow in One-dimensional Cellular Automata. 31-59
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Zhou22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Zhou22
Sizhong Zhou:
A Note of Generalization of Fractional ID-factor-critical Graphs. 61-69

Volume 187, Numbers 2-4, 2022

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BuchsCK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BuchsCK22
Didier Buchs, Josep Carmona, Jetty Kleijn:
Preface.
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Abbes22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Abbes22
Samy Abbes:
Introduction to Probabilistic Concurrent Systems. 71-102
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AmatBD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AmatBD22
Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio:
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking. 103-138
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DevillersT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DevillersT22
Raymond Devillers, Ronny Tredup:
Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues. 139-165
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DevillersT22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DevillersT22a
Raymond Devillers, Ronny Tredup:
Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues. 167-196
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/EsparzaRW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/EsparzaRW22
Javier Esparza, Mikhail A. Raskin, Christoph Welzel:
Computing Parameterized Invariants of Parameterized Petri Nets. 197-243
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/WallnerW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/WallnerW22
Sophie Wallner, Karsten Wolf:
Skeleton Abstraction for Universal Temporal Properties. 245-272

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.