default search action

combined dblp search
author search
venue search
publication search

ask others

7th FROM 2023: Bucharest, Romania

> Home > Conferences and Workshops > FROM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-12959
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-12959
Horatiu Cheval, Laurentiu Leustean, Andrei Sipos:
Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023. EPTCS 389, 2023
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13795
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13795
Radu Traian Bobe, Florentin Ipate, Ionut-Mihai Niculescu:
Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems. 1-10
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13796
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13796
Alen Docef, Radu Negulescu, Mihai Prunescu:
Using Z3 to Verify Inferences in Fragments of Linear Logic. 11-25
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13797
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13797
Gabriel Istrate, Romeo Negrea:
q-Overlaps in the Random Exact Cover Problem. 26-40
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13798
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13798
Dorel Lucanu:
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models. 41-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13799
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13799
Bogdan Macovei:
A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle. 56-64
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13800
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13800
Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia:
Enumerating All Maximal Clique-Partitions of an Undirected Graph. 65-79
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13801
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13801
Maria J. D. Lima, Flávio L. C. de Moura:
A Formalized Extension of the Substitution Lemma in Coq. 80-95
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13802
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13802
David Nowak, Vlad Rusu:
While Loops in Coq. 96-109
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13803
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13803
Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate:
Privacy-preserving Linear Computations in Spiking Neural P Systems. 110-119
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-03033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-03033
Andreea Postovan, Madalina Erascu:
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition. 120-130
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13804
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13804
Mihai Prunescu:
Symmetric Functions over Finite Fields. 131-143
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13805
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13805
Stefan-Claudiu Susan, Andrei Arusoaie:
Identifying Vulnerabilities in Smart Contracts using Interval Analysis. 144-151
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13808
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13808
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.