Search dblp for Publications

• > Home > Search

@article{DBLP:journals/fuin/Abbes22,
  author       = {Samy Abbes},
  title        = {Introduction to Probabilistic Concurrent Systems},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {2-4},
  pages        = {71--102},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222133},
  doi          = {10.3233/FI-222133},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/Abbes22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/AmatBD22,
  author       = {Nicolas Amat and
                  Bernard Berthomieu and
                  Silvano Dal{-}Zilio},
  title        = {A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based
                  Model Checking},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {2-4},
  pages        = {103--138},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222134},
  doi          = {10.3233/FI-222134},
  timestamp    = {Thu, 24 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/AmatBD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BhagatCDM22,
  author       = {Subhash Bhagat and
                  Abhinav Chakraborty and
                  Bibhuti Das and
                  Krishnendu Mukhopadhyaya},
  title        = {Gathering over Meeting Nodes in Infinite Grid\({}^{\mbox{*}}\)},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {1},
  pages        = {1--30},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222128},
  doi          = {10.3233/FI-222128},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BhagatCDM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BuchsCK22,
  author       = {Didier Buchs and
                  Josep Carmona and
                  Jetty Kleijn},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {2-4},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222132},
  doi          = {10.3233/FI-222132},
  timestamp    = {Thu, 24 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/BuchsCK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DevillersT22,
  author       = {Raymond R. Devillers and
                  Ronny Tredup},
  title        = {Synthesis of Pure and Impure Petri Nets with Restricted Place-environments:
                  Complexity Issues},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {2-4},
  pages        = {139--165},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222135},
  doi          = {10.3233/FI-222135},
  timestamp    = {Thu, 24 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/DevillersT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DevillersT22a,
  author       = {Raymond R. Devillers and
                  Ronny Tredup},
  title        = {Some Basic Techniques Allowing Petri Net Synthesis: Complexity and
                  Algorithmic Issues},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {2-4},
  pages        = {167--196},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222136},
  doi          = {10.3233/FI-222136},
  timestamp    = {Thu, 24 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/DevillersT22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/EsparzaRW22,
  author       = {Javier Esparza and
                  Mikhail A. Raskin and
                  Christoph Welzel},
  title        = {Computing Parameterized Invariants of Parameterized Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {2-4},
  pages        = {197--243},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222137},
  doi          = {10.3233/FI-222137},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/EsparzaRW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KasjanN22,
  author       = {Stanislaw Kasjan and
                  Damian Niwinski},
  title        = {Daniel Simson Obituary},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {1},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222131},
  doi          = {10.3233/FI-222131},
  timestamp    = {Wed, 21 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KasjanN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Redeker22,
  author       = {Markus Redeker},
  title        = {Number Conservation via Particle Flow in One-dimensional Cellular
                  Automata},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {1},
  pages        = {31--59},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222129},
  doi          = {10.3233/FI-222129},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/Redeker22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WallnerW22,
  author       = {Sophie Wallner and
                  Karsten Wolf},
  title        = {Skeleton Abstraction for Universal Temporal Properties},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {2-4},
  pages        = {245--272},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222138},
  doi          = {10.3233/FI-222138},
  timestamp    = {Thu, 24 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/WallnerW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Zhou22,
  author       = {Sizhong Zhou},
  title        = {A Note of Generalization of Fractional ID-factor-critical Graphs},
  journal      = {Fundam. Informaticae},
  volume       = {187},
  number       = {1},
  pages        = {61--69},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222130},
  doi          = {10.3233/FI-222130},
  timestamp    = {Wed, 21 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Zhou22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}