المؤلفون: Amat, Nicolas^Aff29, Dal Zilio, Silvano^Aff29, Le Botlan, Didier^Aff29

المساهمون: Goos, Gerhard, Series Editor^{Aff1, Aff19}, Hartmanis, Juris, Founding Editor^{Aff2, Aff20}, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff21, Gao, Wen, Editorial Board Member^Aff22, Steffen, Bernhard, Editorial Board Member^Aff23, Yung, Moti, Editorial Board Member^Aff24, Woeginger, Gerhard, Editorial Board Member^Aff25, Dimitrova, Rayna, editor^Aff26, Lahav, Ori, editor^Aff27, Wolff, Sebastian, editor^Aff28

المصدر: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I. 14499:101-123

المؤلفون: Amat, Nicolas^Aff10, Bouvier, Pierre^Aff11, Garavel, Hubert^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Koutny, Maciej, editor^Aff7, Bergenthum, Robin, editor^Aff8, Ciardo, Gianfranco, editor^Aff9

المصدر: Transactions on Petri Nets and Other Models of Concurrency XVII. 14150:1-26

المؤلفون: Amat, Nicolas^Aff9, Dal Zilio, Silvano^Aff9, Le Botlan, Didier^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Gomes, Luis, editor^Aff7, Lorenz, Robert, editor^Aff8

المصدر: Application and Theory of Petri Nets and Concurrency : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings. 13929:324-345

المؤلفون: Amat, Nicolas^Aff9, Chauvet, Louis^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Bernardinello, Luca, editor^Aff7, Petrucci, Laure, editor^Aff8

المصدر: Application and Theory of Petri Nets and Concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings. 13288:115-126

المؤلفون: Tošić, Predrag T.^{Aff3, Aff4}

المساهمون: Georgiev, Georgi Yordanov, editor^Aff1, Shokrollahi-Far, Mahmoud, editor^Aff2

المصدر: Efficiency in Complex Systems : Self-Organization Towards Increased Efficiency. :97-115

المؤلفون: Camilli, Matteo, Bellettini, Carlo, Capra, Lorenzo, Monga, Mattia

المصدر: 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016 18th International Symposium on. :165-172 Sep, 2016

Relation: 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Lefebvre, D.

المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 63(8):2550-2557 Aug, 2018

المؤلفون: Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan

المساهمون: Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), ANR-11-LABX-0040,CIMI,Centre International de Mathématiques et d'Informatique (de Toulouse)(2011)

المصدر: Application and Theory of Petri Nets and Concurrency ISBN: 9783031336195
Application and Theory of Petri Nets and Concurrency. PETRI NETS 2023
44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023)
44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Lisbon, Portugal. pp.324-345, ⟨10.1007/978-3-031-33620-1_18⟩

مصطلحات موضوعية: Abstraction techniques, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Petri nets, Automated reasoning, Reachability problems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7cabce154f332efecde76c8bafa58d4d
https://doi.org/10.1007/978-3-031-33620-1_18

المؤلفون: Elberfeld, Michael^Aff18, Stockhusen, Christoph^Aff18, Tantau, Till^Aff18

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Thilikos, Dimitrios M., editor^Aff16, Woeginger, Gerhard J., editor^Aff17

المصدر: Parameterized and Exact Computation : 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings. 7535:206-217

المؤلفون: Vladimir Yu. Protasov

المصدر: Journal of Computer and System Sciences. 120:1-13

مصطلحات موضوعية: Synchronizing automata, Discrete mathematics, Contraction, General Computer Science, Computer Networks and Communications, Computer science, Generalization, Applied Mathematics, Ergodicity, MathematicsofComputing_NUMERICALANALYSIS, Functional equation, Perron-Frobenius theory, Matrix multiplication, Theoretical Computer Science, Decidability, Affine operator, Matrix (mathematics), Computational Theory and Mathematics, Primitive matrix, Reachability problems, Product (mathematics), Ergodic theory, Nonnegative matrix

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6aed00f3921641b755a3cecd5b75c44
https://doi.org/10.1016/j.jcss.2021.02.007