default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th FROM 2023: Bucharest, Romania
- Horatiu Cheval, Laurentiu Leustean, Andrei Sipos:
Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023. EPTCS 389, 2023 - Radu Traian Bobe, Florentin Ipate, Ionut-Mihai Niculescu:
Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems. 1-10 - Alen Docef, Radu Negulescu, Mihai Prunescu:
Using Z3 to Verify Inferences in Fragments of Linear Logic. 11-25 - Gabriel Istrate, Romeo Negrea:
q-Overlaps in the Random Exact Cover Problem. 26-40 - Dorel Lucanu:
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models. 41-55 - Bogdan Macovei:
A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle. 56-64 - Mircea Marin, Temur Kutsia
, Cleo Pau, Mikheil Rukhaia:
Enumerating All Maximal Clique-Partitions of an Undirected Graph. 65-79 - Maria J. D. Lima, Flávio L. C. de Moura:
A Formalized Extension of the Substitution Lemma in Coq. 80-95 - David Nowak, Vlad Rusu:
While Loops in Coq. 96-109 - Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate:
Privacy-preserving Linear Computations in Spiking Neural P Systems. 110-119 - Andreea Postovan, Madalina Erascu:
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition. 120-130 - Mihai Prunescu:
Symmetric Functions over Finite Fields. 131-143 - Stefan-Claudiu Susan, Andrei Arusoaie:
Identifying Vulnerabilities in Smart Contracts using Interval Analysis. 144-151 - Dafina Trufas, Ioan Teodorescu, Denisa Diaconescu, Traian Serbanuta, Vlad Zamfir:
Asynchronous Muddy Children Puzzle (work in progress). 152-166
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.
last updated on 2026-10-13 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
