|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alen Docef, Radu Negulescu, Mihai Prunescu |
Using Z3 to Verify Inferences in Fragments of Linear Logic.  |
FROM  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Nowak, Vlad Rusu |
While Loops in Coq. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihail-Iulian Plesa, Marian Gheorghe 0001, Florentin Ipate |
Privacy-preserving Linear Computations in Spiking Neural P Systems. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Macovei |
A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan-Claudiu Susan, Andrei Arusoaie |
Identifying Vulnerabilities in Smart Contracts using Interval Analysis. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Traian Bobe, Florentin Ipate, Ionut-Mihai Niculescu |
Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Prunescu |
Symmetric Functions over Finite Fields. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Cheval, Laurentiu Leustean, Andrei Sipos (eds.) |
Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dafina Trufas, Ioan Teodorescu, Denisa Diaconescu, Traian Serbanuta, Vlad Zamfir |
Asynchronous Muddy Children Puzzle (work in progress). |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. D. Lima, Flávio L. C. de Moura |
A Formalized Extension of the Substitution Lemma in Coq. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorel Lucanu |
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreea Postovan, Madalina Erascu |
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Istrate, Romeo Negrea |
q-Overlaps in the Random Exact Cover Problem. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia |
Enumerating All Maximal Clique-Partitions of an Undirected Graph. |
FROM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Timm, Josua Botha |
Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation. |
FROM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Arusoaie, Dorel Lucanu |
Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification. |
FROM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Bereczky, Xiaohong Chen 0002, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil |
Mechanizing Matching Logic in Coq. |
FROM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Rusu (eds.) |
Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022. |
FROM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgian-Vlad Saioc, Hans Hüttel |
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages. |
FROM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Jeltsch, Javier Díaz |
Correctness of Broadcast via Multicast: Graphically and Formally. |
FROM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Alexandru, Gabriel Ciobanu |
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets. |
FROM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Capra |
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets. |
FROM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgiana Surlea, Adrian Craciun |
Gröbner Bases with Reduction Machines. |
FROM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta |
From Hybrid Modal Logic to Matching Logic and back. |
FROM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mircea Marin, Adrian Craciun (eds.) |
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019. |
FROM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgiana Caltais |
Explaining SDN Failures via Axiomatisations. |
FROM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezar-Constantin Andrici, Stefan Ciobaca |
Verifying the DPLL Algorithm in Dafny. |
FROM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Probabilities in Session Types. |
FROM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Rusu, David Nowak |
(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic. |
FROM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabela Dramnesc, Tudor Jebelean |
Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema. |
FROM |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license