Search dblp for Publications

export results for "toc:db/journals/topnoc/topnoc17.bht:"

 download as .bib file

@article{DBLP:journals/topnoc/AbdulrahmanS23,
  author       = {Hanin Abdulrahman and
                  Jason Steggles},
  title        = {Compositional Techniques for Boolean Networks and Attractor Analysis},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {264--294},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_11},
  doi          = {10.1007/978-3-662-68191-6\_11},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/AbdulrahmanS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/AdobbatiBPS23,
  author       = {Federica Adobbati and
                  Luca Bernardinello and
                  Lucia Pomello and
                  Riccardo Stramare},
  title        = {Implementable Strategies for a Two-Player Asynchronous Game on Petri
                  Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {189--211},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_8},
  doi          = {10.1007/978-3-662-68191-6\_8},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/AdobbatiBPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/AdobbatiBSP23,
  author       = {Federica Adobbati and
                  Luca Bernardinello and
                  G{\"{o}}rkem Kilin{\c{c}} Soylu and
                  Lucia Pomello},
  title        = {Computing a Parametric Reveals Relation For Bounded Equal-Conflict
                  Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {54--83},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_3},
  doi          = {10.1007/978-3-662-68191-6\_3},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/AdobbatiBSP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/AhmedP23,
  author       = {Aishah Ahmed and
                  Marta Pietkiewicz{-}Koutny},
  title        = {Strategies for Minimising the Synthesised ENL-Systems},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {162--188},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_7},
  doi          = {10.1007/978-3-662-68191-6\_7},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/AhmedP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/AmatBG23,
  author       = {Nicolas Amat and
                  Pierre Bouvier and
                  Hubert Garavel},
  title        = {A Toolchain to Compute Concurrent Places of Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {1--26},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_1},
  doi          = {10.1007/978-3-662-68191-6\_1},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/AmatBG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/ArcileDK23,
  author       = {Johan Arcile and
                  Raymond R. Devillers and
                  Hanna Klaudel},
  title        = {An Efficient State Space Construction for a Class of Timed Automata},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {246--263},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_10},
  doi          = {10.1007/978-3-662-68191-6\_10},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/ArcileDK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/BendeVCPL23,
  author       = {Philipp Bende and
                  Olga Vovk and
                  David Caraveo and
                  Ludwig Pechmann and
                  Martin Leucker},
  title        = {A Case Study on Data Protection for a Cloud- and AI-Based Homecare
                  Medical Device},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {138--161},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_6},
  doi          = {10.1007/978-3-662-68191-6\_6},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/BendeVCPL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/BhattacharyyaK23,
  author       = {Anirban Bhattacharyya and
                  Maciej Koutny},
  title        = {Confusion-Tolerant Computation of Probability in Acyclic Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {212--245},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_9},
  doi          = {10.1007/978-3-662-68191-6\_9},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/BhattacharyyaK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/Fatemi0M23,
  author       = {Bahareh Fatemi and
                  Fazle Rabbi and
                  Wendy MacCaull},
  title        = {A Validated Learning Approach to Healthcare Process Analysis Through
                  Contextual and Temporal Filtering},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {108--137},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_5},
  doi          = {10.1007/978-3-662-68191-6\_5},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/Fatemi0M23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/Kohler-BussmeierR23,
  author       = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
                  Heiko R{\"{o}}lke},
  title        = {Analysing Adaption Processes of Hornets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {84--107},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_4},
  doi          = {10.1007/978-3-662-68191-6\_4},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/Kohler-BussmeierR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/StrandKP23,
  author       = {Ruben Dobler Strand and
                  Lars Michael Kristensen and
                  Laure Petrucci},
  title        = {Development and Verification of a Microservice Architecture for a
                  Fire Risk Notification System},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {17},
  pages        = {27--53},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6\_2},
  doi          = {10.1007/978-3-662-68191-6\_2},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/StrandKP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/topnoc/2023-17,
  editor       = {Maciej Koutny and
                  Robin Bergenthum and
                  Gianfranco Ciardo},
  title        = {Transactions on Petri Nets and Other Models of Concurrency {XVII}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14150},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-68191-6},
  doi          = {10.1007/978-3-662-68191-6},
  isbn         = {978-3-662-68190-9},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/2023-17.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.