Treffer 1 - 20 von 9.256

1

Semantics of Probabilistic Programs Using s-Finite Kernels in Dependent Type Theory
Affeldt, Reynald ; Cohen, Cyril ; Saito, Ayumu ; et al.
ACM Transactions on Probabilistic Machine Learning. 1:1-34

Denotational semantics measure theory formal proofs Program verification integration theory Rocq
Fachzeitschrift
Zu den Favoriten
2

Signal Sampling and Optimisation under Symbolic Timed Automata Constraints
Barbot, Benoît ; Basset, Nicolas ; Dang, Thao ; et al.

[INFO.INFO-FL] Computer...
Konferenz
Zu den Favoriten
3

The stress-conditioned split of ŪNU, ŪNA as seen from the Croissant
Zuk, Fabian ; Zuk, Fabian
Dipòsit Digital de Documents de la UAB
Universitat Autònoma de Barcelona
Isogloss, Vol 11, Iss 3 (2025)

diachrony Gallo-romance P1-1091 Autosegmental phonology vowel fortition Gallo-Romance
Fachzeitschrift
Zu den Favoriten
4

CATEGORICAL FOUNDATIONS OF FORMALIZED CONDENSED MATHEMATICS
DAGUR ASGEIRSSON ; RICCARDO BRASCA ; NIKOLAS KUHN ; et al.
The Journal of Symbolic Logic. :1-28

FOS: Computer and inform... MSC 18F10 Computer Science - Logic... [INFO.INFO-LO] Computer... Formalization of Mathema... Formal Languages and Aut...
Fachzeitschrift
Zu den Favoriten
5

A complete formalization of Fermat's Last Theorem for regular primes in Lean
Best, Alex ; Birkbeck, Christopher ; Brasca, Riccardo ; et al.
Annals of Formalized Mathematics. 1

FOS: Computer and inform... [INFO.INFO-LO] Computer... Logic in Computer Scienc... Formal Languages and Aut... Kummer's lemma Logic in Computer Scienc...
Fachzeitschrift
Zu den Favoriten
6

Verifying Unboundedness via Amalgamation
Anand, Ashwani ; Schmitz, Sylvain ; Schütze, Lia ; et al.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
Proc. of LICS 2024

FOS: Computer and inform... Formal Languages and Aut... F.4.3 Computer Science - Forma... [INFO.INFO-FL] Computer...
Fachzeitschrift
Zu den Favoriten
7

A Bargaining-Game Framework for Multi-Party Access Control
Hasel Mehri, Gelareh ; Monmege, Benjamin ; Bertolissi, Clara ; et al.
Proceedings of the 29th ACM Symposium on Access Control Models and Technologies. :127-138

game theory bargaining game [INFO.INFO-LO] Computer... policy conflict resoluti... Collaborative decision-m... Bargaining game
Fachzeitschrift
Zu den Favoriten
8

Quantitative Robustness for Vulnerability Assessment
Guillaume Girol ; Guilhem Lacombe ; Sébastien Bardin ; et al.
Proceedings of the ACM on Programming Languages. 8:741-765

[INFO.INFO-LO] Computer... [SCCO.COMP] Cognitive sc... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
9

A LOCAL View of the Polynomial Hierarchy
Reiter, Fabian ; Reiter, Fabian
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing. :347-357

FOS: Computer and inform... [INFO.INFO-LO] Computer... Computational Complexity Logic in Computer Scienc... Formal Languages and Aut... C.2.4
Fachzeitschrift
Zu den Favoriten
10

Finite Automata synthesis from Interactions
Mahe, Erwan ; Bannour, Boutheina ; Gaston, Christophe ; et al.
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

Sequence Diagram Operational Semantics Interaction language Non-deterministic Finite... Term Rewriting Message Sequence Chart
Fachzeitschrift
Zu den Favoriten
11

A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification
Louis Gauthier ; Virgile Prevosto ; Julien Signoles ; et al.
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE). :100-110

Formal Specification Lan... Coq Proof Assistant Formal Semantics [INFO.INFO-PL] Computer... [INFO.INFO-FL] Computer...
Fachzeitschrift
Zu den Favoriten
12

Recognizability in S-adic shifts
Béal, Marie-Pierre ; Perrin, Dominique ; Restivo, Antonio ; et al.
Israel Journal of Mathematics.

FOS: Computer and inform... Formal Languages and Aut... FOS: Mathematics [MATH.MATH-DS] Mathemati... Computer Science - Forma... 0102 computer and inform...
Fachzeitschrift
Zu den Favoriten
13

The categorical contours of the Chomsky-Sch\'utzenberger representation theorem
Melliès, Paul-André ; Zeilberger, Noam ; Zeilberger, Noam
Logical Methods in Computer Science. 21

FOS: Computer and inform... Tree contour words Computer Science - Logic... [INFO.INFO-LO] Computer... Formal Languages and Aut... Mathematics - Category T...
Fachzeitschrift
Zu den Favoriten
14

Playing Stochastically in Weighted Timed Games to Emulate Memory
Monmege, Benjamin ; Parreaux, Julie ; Reynier, Pierre-Alain ; et al.
Logical Methods in Computer Science, Vol Volume 21, Issue 1 (2025)

FOS: Computer and inform... 0209 industrial biotechn... [INFO.INFO-LO] Computer... BC1-199 computer science - compu... Logic
Fachzeitschrift
Zu den Favoriten
15

Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
Monmege, Benjamin ; Parreaux, Julie ; Reynier, Pierre-Alain ; et al.
Logical Methods in Computer Science, Vol Volume 21, Issue 1 (2025)

FOS: Computer and inform... [INFO.INFO-LO] Computer... BC1-199 computer science - compu... Logic algorithmic game theory
Fachzeitschrift
Zu den Favoriten
16

Learning Weighted Automata over Number Rings, Concretely and Categorically: Learning more than OK
Aristote, Quentin ; van Gool, Sam ; Petrişan, Daniela ; et al.

number rings category theory active learning functorial automata Fatou extension weighted automata
Konferenz
Zu den Favoriten
17

Indexing and Retrieval in a Heterogeneous Formal Library
Sacerdoti Coen, Claudio ; Alidra, Abdelghani ; Alidra, Abdelghani

[INFO] Computer Science... [INFO.INFO-FL] Computer...
Konferenz
Zu den Favoriten
18

On Benefits of Modeling the HPDcache in LNT
Assoumani, Zachary ; Fuguet, César ; Mateescu, Radu ; et al.

Formal verification [INFO.INFO-AR] Computer... Cache Coherence [INFO.INFO-DC] Computer... Memory consistency model [INFO.INFO-MO] Computer...
Konferenz
Zu den Favoriten
19

Prompt Runtime Enforcement
Anand, Ayush ; Germerie Guizouarn, Loïc ; Jéron, Thierry ; et al.

runtime enforcement regular properties reactive systems game [INFO] Computer Science... [INFO.INFO-FL] Computer...
Konferenz
Zu den Favoriten
20

Active Learning of Upward-Closed Sets of Words
Aristote, Quentin ; Aristote, Quentin

FOS: Computer and inform... well quasi-orders Formal Languages and Aut... active learning F.4.3 piecewise-testable langu...
Fachzeitschrift
Zu den Favoriten

Filter