• Search: "ACM: F.: Theory of Computation"

Showing 81 - 100 of 1,805

81

Stateful Realizers for Nonstandard Analysis
Dinis, Bruno ; Miquey, Étienne ; Universidade de Évora = University of Évora [Portugal] ; et al.
Logical Methods in Computer Science. 19(2)

realizabiliy nonstandard arithmetic stateful computations ultrafilters glueing ACM: F.: Theory of Compu... …
Journal
Save to List
82

Implicit complexity through linear realisability: polynomial time and probabilistic classes
Seiller, Thomas ; Laboratoire d'Informatique de Paris-Nord (LIPN) ; Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord ; et al.

ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... F.1.1: Models of Computa... F.1.1.0: Automata (e.g.,... F.1.2: Modes of Computat... F.1.2.4: Probabilistic c... …
Electronic Resource
Save to List
83

ALIBERT: A PRETRAINED LANGUAGE MODEL FOR FRENCH BIOMEDICAL TEXT A PREPRINT
Berhe, Aman ; Draznieks, Guillaume ; Martenot, Vincent ; et al.

ACM: I.: Computing Metho... I.2: ARTIFICIAL INTELLIG... I.2.7: Natural Language... I.2.6: Learning I.2.4: Knowledge Represe... I.7: DOCUMENT AND TEXT P... …
Electronic Resource
Save to List
84

Formal methods applied to access control policy design, verification and enforcement
Bertolissi, Clara ; 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) ; et al.
Cryptography and Security [cs.CR]. Aix-Marseile Université, France, 2022

Access control policies... Logics Rewriting Systems réécriture logique Politiques de contrôle d... …
Report
Save to List
85

Zeta Functions and the (Linear) Logic of Markov Processes
Seiller, Thomas ; Centre National de la Recherche Scientifique (CNRS) ; Laboratoire d'Informatique de Paris-Nord (LIPN) ; et al.

ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... F.3.2: Semantics of Prog... F.3.2.1: Denotational se... F.3.2.2: Operational sem... F.1: COMPUTATION BY ABST... …
Electronic Resource
Save to List
86

Alignment-Based Trace Clustering
Chatain, Thomas ; Carmona, Josep ; van Dongen, Boudewijn, F. ; et al.
ER 2017 - 36th International Conference on Conceptual Modeling. :295-308

Valencia, Spain ACM: H.: Information Sys... H.3: INFORMATION STORAGE... H.3.3: Information Searc... H.3.3.0: Clustering ACM: F.: Theory of Compu... …
Conference
Save to List
87

CompCertS: A Memory-Aware Verified C Compiler using Pointer as Integer Semantics
Besson, Frédéric ; Blazy, Sandrine ; Wilke, Pierre ; et al.
ITP 2017 - 8th International Conference on Interactive Theorem Proving. :81-97

Brasilia, Brazil Verified Compilation Low-level Code Optimisations Pointer as Integer ACM: F.: Theory of Compu... …
Conference
Save to List
88

Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms
Néraud, Jean ; Selmi, Carla ; Université de Rouen Normandie (UNIROUEN) ; et al.
11 th International Conference. :214-227

Montreal Virtual, ON LIN... equation antimorphism bifix circular code …
Conference
Save to List
89

Towards a Logical Framework with Intersection and Union Types
Stolze, Claude ; Liquori, Luigi ; Honsell, Furio ; et al.
11th International Workshop on Logical Frameworks and Meta-languages. :1-9

Oxford, United Kingdom ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... F.4.1: Mathematical Logi... F.4.1.2: Lambda calculus... F.4.1.4: Mechanical theo... …
Conference
Save to List
90

Concurrent Reversible Sessions
Concurrent Reversible Sessions *
Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; et al.
CONCUR 2017 - 28th International Conference on Concurrency Theory. :1-17

Berlin, Germany Reversible Computation Keywords and phrases Com... F33 Type Structure Multiparty Session Types 1998 ACM Subject Classif... …
Conference
Save to List
91

Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL
Blanchette, Jasmin Christian ; Fleury, Mathias ; Traytel, Dmitriy ; et al.
FSCD 2017: 2nd International Conference on Formal Structures for Computation and Deduction. :1-11

Oxford, United Kingdom Multisets proof assistants ordinals ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... …
Conference
Save to List
92

Combinatorial Flows and their Normalisation
Strassburger, Lutz ; Proof search and reasoning with logic specifications (PARSIFAL) ; Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) ; et al.
FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction. :311-3117

Oxford, United Kingdom substitution deep inference cut elimination proof equivalence ACM: F.: Theory of Compu... …
Conference
Save to List
93

NightSplitter: a scheduling tool to optimize (sub)group activities
Liu, Tong ; Di Cosmo, Roberto ; Gabbrielli, Maurizio ; et al.
CP 2017 - 23rd International Conference on Principles and Practice of Constraint Programming. :370-386

Melbourne, Australia ACM: I.: Computing Metho... ACM: D.: Software ACM: F.: Theory of Compu... [INFO]Computer Science [... [INFO.INFO-AI]Computer S... …
Conference
Save to List
94

Abstract Semantic Diffing of Evolving Concurrent Programs
Bouajjani, Ahmed ; Enea, Constantin ; Lahiri, Shuvendu ; et al.
International Static Analysis Symposium. :46-65

ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... [INFO.INFO-PL]Computer S... Programming Languages [c...
Book
Save to List
95

Definability by Horn formulas and linear time on cellular automata
Bacquey, Nicolas ; Grandjean, Etienne ; Olive, Frédéric ; et al.
ICALP 2017 - 44th International Colloquium on Automata. :1-14

Warsaw, Poland Horn formulas linear time picture languages local induction descriptive complexity …
Conference
Save to List
96

The Complexity of Diagnosability and Opacity Verification for Petri Nets
Bérard, Béatrice ; Haar, Stefan ; Schmitz, Sylvain ; et al.
Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency. :200-220

Zaragoza, Spain Diagnosability Opacity Verification Complexity Petri nets …
Conference
Save to List
97

Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality
van Dongen, Boudewijn, F. ; Carmona, Josep ; Chatain, Thomas ; et al.
CAiSE 2017 - 29th International Conference on Advanced Information Systems Engineering. :94-109

Essen, Germany ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... [INFO.INFO-FL]Computer S... Formal Languages and Aut...
Conference
Save to List
98

Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem
Minot, Maël ; Ndiaye, Samba Ndojh ; Solnon, Christine ; et al.
International Conference on the Integration of Constraint Programming. :359-375

Padova, Italy Tree decomposition Graphs Integer linear programmi... Constraint programming Sum colouring problem …
Conference
Save to List
99

Higher-order interpretations for higher-order complexity
Hainry, Emmanuel ; Péchoux, Romain ; Theoretical adverse computations, and safety (CARTE) ; et al.
LPAR 2017 - International Conferences on Logic for Programming. :269-285

Maun, Botswana higher-order programs higher-order interpretat... Basic Feasible Functiona... ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... …
Conference
Save to List
100

Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
Bouajjani, Ahmed ; Emmi, Michael ; Enea, Constantin ; et al.
Programming Languages and Systems 26th European Symposium on Programming. :170-200

ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... [INFO.INFO-PL]Computer S... Programming Languages [c...
Book
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter