-
1Academic Journal
Authors: Lyubov Klapkiv, Faruk Ulgen
Contributors: Ciesla, Catherine, Maria Curie-Sklodowska University (UMCS), Centre de recherche en économie de Grenoble (CREG), Université Grenoble Alpes (UGA)
Source: Bank i Kredyt. 55:661-682
Subject Terms: financial crises, JEL: G - Financial Economics/G.G0 - General/G.G0.G01 - Financial Crises, JEL: O - Economic Development, ekonomia ewolucyjna, Methodology, and Heterodox Approaches/B.B5 - Current Heterodox Approaches/B.B5.B52 - Institutional • Evolutionary, JEL: G - Financial Economics/G.G1 - General Financial Markets/G.G1.G18 - Government Policy and Regulation, regulation, creative destruction, [SHS.ECO]Humanities and Social Sciences/Economics and Finance, Technological Change, ACM: F.: Theory of Computation, innovation, JEL: B - History of Economic Thought, regulacja, twórcza destrukcja, kryzysy finansowe, Słowa kluczowe: destrukcyjna twórczość, JEL: E - Macroeconomics and Monetary Economics/E.E1 - General Aggregative Models/E.E1.E14 - Austrian • Evolutionary • Institutional, evolutionary economics, and Growth/O.O3 - Innovation • Research and Development • Technological Change • Intellectual Property Rights/O.O3.O31 - Innovation and Invention: Processes and Incentives, destructive creation, [SHS.ECO] Humanities and Social Sciences/Economics and Finance, innowacje
Access URL: https://shs.hal.science/halshs-04746678v1
-
2Report
Authors: Cohen, Johanne, Pilard, Laurence, Sénizergues, Jonas
Contributors: Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Graphes, Algorithmes et Combinatoire - LISN (GALaC), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Algorithmes, Apprentissage et Calcul (AAC), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Algorithmes, Apprentissage et Calcul (AAC), Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués (LI-PaRAD), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)
Source: https://hal.science/hal-04872001 ; 2025.
Subject Terms: Clique decomposition, Auto-stabilization, Distributed systems, Graph Algorithms, Byzantine fault tolerance, ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs], [MATH]Mathematics [math]
-
3Conference
Authors: Ghanem, Hussam, Atmani, Massinissa, Cruz, Christophe
Contributors: Laboratoire Interdisciplinaire Carnot de Bourgogne (ICB), Université de Technologie de Belfort-Montbeliard (UTBM)-Université de Bourgogne (UB)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)
Source: French Regional Conference on Complex Systems (FRCCS 2023) ; https://hal.science/hal-04146881 ; French Regional Conference on Complex Systems (FRCCS 2023), May 2023, Le Havre, France
Subject Terms: Conversational agents, Knowledge graphs, Natural Language Generation, ACM: F.: Theory of Computation, ACM: H.: Information Systems, ACM: I.: Computing Methodologies, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2307.01548; ARXIV: 2307.01548
-
4Report
Authors: Come, Aymeric, Fabre, Éric, Hélouët, Loïc
Contributors: Vérification efficace pour des systèmes distribués fiables (DEVINE), Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Institut National de Recherche en Informatique et en Automatique (Inria), ANR-20-CE25-0012,MAVEriQ,Méthodes d'analyse pour la vérification de propriétés quantitatives(2020)
Source: https://inria.hal.science/hal-04619555 ; 2024.
Subject Terms: Markov Decision processes, Value Iteration, Policy Iteration, Floyd-Warshall, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]
-
5Report
Authors: Knapik, Teodor
Contributors: Institut de sciences exactes et appliquées (ISEA), Université de la Nouvelle-Calédonie (UNC)
Source: https://hal.science/hal-04580653 ; 2024.
Subject Terms: parallel graph grammars, 1st order model checking, automatic structures, expanders, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]
-
6Academic Journal
Contributors: Altisen, Karine, VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Université Grenoble Alpes, VERIMAG, UMR 5104, France, LIMOS, Université Clermont Auvergne, CNRS, UMR 6158, France, Université de Bordeaux, LaBRI, UMR 5800, France, Sorbonne Université, Paris, LIP6, UMR 7606, France, ANR-16-CE25-0009,ESTATE,Auto-stabilisation et amélioration de la sûreté dans les environnements distribués évoluant dans le temps(2016), ANR-16-CE40-0023,DESCARTES,Abstraction modulaire pour le calcul distribué(2016)
Source: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. :21-31
Subject Terms: pseudo-stabilization, sources, [INFO.INFO-DC]Computer Science [cs]/Distributed, sinks, speculation, leader election, dynamic graphs, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, 0102 computer and information sciences, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, self-stabilization, and Cluster Computing [cs.DC], timely sinks, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], timely sources, [INFO]Computer Science [cs]
File Description: application/pdf
Access URL: https://hal.archives-ouvertes.fr/hal-02979166/file/evolvingSourceElection.pdf
https://hal.science/hal-03346225v1/document
https://doi.org/10.1145/3465084.3467917
https://hal.science/hal-03346225v1
https://hal.archives-ouvertes.fr/hal-02979166/document
https://dblp.uni-trier.de/db/conf/podc/podc2021.html#AltisenDDJP21
https://hal.archives-ouvertes.fr/hal-02979166
https://dl.acm .org/doi/pdf/10.1145/3465084.3467917
https://www.podc.org/podc2021/list-of-accepted-papers/#17 -
7Academic Journal
Authors: Jouannaud, Jean-Pierre, Orejas, Fernando
Contributors: Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Centre Inria de l'Université Paris-Saclay, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), Universitat Politècnica de Catalunya = Université polytechnique de Catalogne Barcelona (UPC)
Source: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://inria.hal.science/hal-02562152 ; Journal of Logical and Algebraic Methods in Programming, 2023, 131, pp.26. ⟨10.1016/j.jlamp.2022.100845⟩.
Subject Terms: Drags, graphs, unification, confluence, ACM: D.: Software, ACM: F.: Theory of Computation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
8Academic Journal
Authors: Frascolla, Cindy, Visalli, Michel, Cardot, Hervé, Schlich, Pascal
Contributors: Institut de Mathématiques de Bourgogne Dijon (IMB), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS), Centre des Sciences du Goût et de l'Alimentation Dijon (CSGA), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Dijon, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Plateforme Chemosens Dijon, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Dijon, Cindy Frascolla’s doctoral thesis was financially supported by the Bourgogne Franche-Comté Regional Council.
Source: ISSN: 0950-3293 ; Food Quality and Preference ; https://hal.inrae.fr/hal-04169844 ; Food Quality and Preference, 2023, 110, pp.104929. ⟨10.1016/j.foodqual.2023.104929⟩ ; https://www.sciencedirect.com/science/article/pii/S0950329323001234.
Subject Terms: Temporal Dominance of Sensations (TDS), Temporal Check-All-That-Apply (TCATA), Panelist repeatability, Product discrimination, Jaccard index, Permutation test, ACM: F.: Theory of Computation, [SDV.AEN]Life Sciences [q-bio]/Food and Nutrition, [STAT]Statistics [stat]
Relation: WOS: 001039246800001
-
9Academic Journal
Authors: Moudafi, Abdellatif
Contributors: Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Images et Modèles (I&M), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)
Source: ISSN: 2227-7390 ; Mathematics ; https://amu.hal.science/hal-04211389 ; Mathematics , 2023, 11 (20), pp.4285. ⟨10.3390/math11204285⟩.
Subject Terms: proximity mapping, Minimization, feasibility, l0-norm, Moreau envelope, fixed-point algorithm, forward-backward iterations, ACM: F.: Theory of Computation, [MATH]Mathematics [math]
-
10Academic Journal
Authors: Sghiar, M.
Contributors: Chercheur indépendant
Source: ISSN: 2278-0661 ; IOSR Journal of Computer Engineering (IOSR - JCE) ; https://hal.science/hal-04054250 ; IOSR Journal of Computer Engineering (IOSR - JCE) , 2023, Volume 25 (5), pp.54-60. ⟨10.9790/0661-2505015460⟩.
Subject Terms: Riemann hypothesis, Prime Number number theory distribution of prime numbers the law of prime numbers the Gamma function the Mertens function quantum mechanics black Holes holomorphic function the Riemann hypothesis, the Mertens function, quantum mechanics, black Holes, the Riemann hypothesis, Hilbert-Polya's conjecture, Prime Number number theory distribution of prime numbers the law of prime numbers the Gamma function, Prime Number, number theory, distribution of prime numbers, the law of prime numbers, the Gamma function, holomorphic function, MESH: number theory, JEL: C - Mathematical and Quantitative Methods/C.C0 - General/C.C0.C00 - General, JEL: C - Mathematical and Quantitative Methods/C.C0 - General/C.C0.C02 - Mathematical Methods, ACM: F.: Theory of Computation, [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]
Relation: hal-04054250; https://hal.science/hal-04054250; https://hal.science/hal-04054250v5/document; https://hal.science/hal-04054250v5/file/2DPBQRH.pdf
-
11Conference
Authors: Karlo Aguirre-Samboní, Giann, Haar, Stefan, Paulevé, Loïc, Schwoon, Stefan, Würdemann, Nick
Contributors: Modeling and Exploitation of Interaction and Concurrency (MEXICO), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Centre Inria de l'Université Paris-Saclay, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Fachbereich Informatik - Oldenburg, Carl Von Ossietzky Universität Oldenburg = Carl von Ossietzky University of Oldenburg (OFFIS), DIGICOSME grant ESCAPE , DIGICOSME RD 242-ESCAPE-15203, ANR-20-CE45-0001,BNeDiction,Ensembles de Réseaux Booléens Prédictifs(2020)
Source: GandALF 2022 - Games, Automata, Logics, and Formal Verification ; https://inria.hal.science/hal-03773855 ; GandALF 2022 - Games, Automata, Logics, and Formal Verification, Sep 2022, Madrid, Spain. ⟨10.4204/EPTCS.370.12⟩ ; https://gandalf2022.software.imdea.org/
Subject Terms: ACM: G.: Mathematics of Computing, ACM: F.: Theory of Computation, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Subject Geographic: Spain
Time: Madrid, Spain
-
12Conference
Contributors: Cosmian, Protocol Labs, Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities (CASCADE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Clemente Galdi, Stanislaw Jarecki, European Project: 966570,CryptAnalytics
Source: Lecture Notes in Computer Science ; SCN 2022 - 13th Conference on Cryptography and Security for Networks ; https://hal.science/hal-03820565 ; SCN 2022 - 13th Conference on Cryptography and Security for Networks, Sep 2022, Amalfi, Italy. pp.663-686, ⟨10.1007/978-3-031-14791-3_29⟩
Subject Terms: ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Relation: info:eu-repo/grantAgreement//966570/EU/ERC PoC CryptAnalytics: Secure Analytics as Business Services/CryptAnalytics; hal-03820565; https://hal.science/hal-03820565; https://hal.science/hal-03820565/document; https://hal.science/hal-03820565/file/main.pdf
-
13Conference
Authors: de Perthuis, Paola, Pointcheval, David
Contributors: Cosmian, Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities (CASCADE), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), ANR Crypto4Graph-AI, European Project: 966570,CryptAnalytics
Source: ACM CCS- Computer and Communications Security 2022 ; https://hal.science/hal-03830846 ; ACM CCS- Computer and Communications Security 2022, Nov 2022, Los Angeles, United States
Subject Terms: ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs]
Subject Geographic: Los Angeles, United States
Relation: info:eu-repo/grantAgreement//966570/EU/ERC PoC CryptAnalytics: Secure Analytics as Business Services/CryptAnalytics; hal-03830846; https://hal.science/hal-03830846; https://hal.science/hal-03830846/document; https://hal.science/hal-03830846/file/main.pdf
-
14Academic Journal
Authors: Cazaux, Bastien, Rivals, Eric
Contributors: Rivals, Eric, Méthodes et Algorithmes pour la Bioinformatique (MAB), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Institut de Biologie Computationnelle (IBC), Institut National de la Recherche Agronomique (INRA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), CNRS defi mastosons, ANR-11-BINF-0002,IBC,Institut de biologie Computationnelle(2011), ANR-12-BS02-0008,Colib'read,Méthodes d'extraction d'information biologique dans les données HTS non assemblées(2012)
Source: Discrete Applied Mathematics. 245:59-64
Subject Terms: 2. Zero hunger, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Assembly, Greedy conjecture, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], ACM: F.: Theory of Computation, Approximation algorithm, 01 natural sciences, 7. Clean energy, 12. Responsible consumption, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, Shortest Common Superstring Problem, Data compression, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Stringology, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]
File Description: application/pdf
Linked Full TextAccess URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01800340
https://www.sciencedirect.com/science/article/pii/S0166218X1730183X
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01800340/document
https://www.sciencedirect.com/science/article/abs/pii/S0166218X1730183X -
15Conference
Authors: Khaled, Tarek, Benhamou, Belaïd
Contributors: Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)
Source: 14eme Journées Francophones de Programmation par Contraintes, JFPC
https://amu.hal.science/hal-03616262
14eme Journées Francophones de Programmation par Contraintes, JFPC, Jun 2021, Nice, FranceSubject Terms: ACM: F.: Theory of Computation, [INFO]Computer Science [cs], [SDV]Life Sciences [q-bio]
Time: Nice, France
-
16
Contributors: Universidad Nacional de Quilmes (UNQ), Designing the Future of Computational Models (MOCQUA), Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Centre Inria de l'Université Paris-Saclay, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), ANR-22-PETQ-0007,EPiQ,Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique(2022)
Source: https://inria.hal.science/hal-05146299 ; 2025.
Subject Terms: Quantum calculi, Computability path ordering, Path orderings, Termination proof, Higher-order rewrite rules, Typed lambda calculus, ACM: F.: Theory of Computation, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
17Report
Authors: Cheng, Zheng, Méry, Dominique
Contributors: Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), TELECOM Nancy, Université de Lorraine (UL), ANR-17-CE25-0005,DISCONT,Intégration correcte de modèles discrets et continus(2017)
Source: https://hal.science/hal-04152829 ; 2023.
Subject Terms: control theory, verification, Laplace transform, formal method, ACM: D.: Software, ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs]
-
18Report
Authors: Delaplace, Franck
Contributors: Informatique, BioInformatique, Systèmes Complexes (IBISC), Université d'Évry-Val-d'Essonne (UEVE)-Université Paris-Saclay
Source: https://hal.science/hal-04048197 ; 2023.
Subject Terms: Community structures, Color, Detection Methods, ACM: D.: Software, ACM: F.: Theory of Computation, [INFO]Computer Science [cs], [SHS]Humanities and Social Sciences
-
19Report
Authors: Boy de la Tour, Thierry
Contributors: Laboratoire d'Informatique de Grenoble (LIG), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)
Source: https://hal.univ-grenoble-alpes.fr/hal-03969945 ; 2023.
Subject Terms: Algebraic Graph Transformation, Graph Structures, Typed Graphs, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]
-
20Report
Contributors: School of Computer Science (TAU-CS), Tel Aviv University (TAU), Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Universitat Politècnica de Catalunya Barcelona (UPC)
Source: https://inria.hal.science/hal-04143346 ; 2023.
Subject Terms: Graph rewriting, drags, cyclic composition, rewriting, drag morphisms, ACM: F.: Theory of Computation, [INFO]Computer Science [cs], [MATH]Mathematics [math]
Relation: hal-04143346; https://inria.hal.science/hal-04143346; https://inria.hal.science/hal-04143346v3/document; https://inria.hal.science/hal-04143346v3/file/Drag_Rewriting.pdf