default search action
Search dblp for Publications
export results for "toc:db/journals/fuin/fuin187.bht:"
@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 = {Mon, 19 Aug 2024 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} }
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.