|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 11-25, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David Nowak, Vlad Rusu |
While Loops in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 96-109, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mihail-Iulian Plesa, Marian Gheorghe 0001, Florentin Ipate |
Privacy-preserving Linear Computations in Spiking Neural P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 110-119, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Macovei |
A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 56-64, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stefan-Claudiu Susan, Andrei Arusoaie |
Identifying Vulnerabilities in Smart Contracts using Interval Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 144-151, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 1-10, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Prunescu |
Symmetric Functions over Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 131-143, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dafina Trufas, Ioan Teodorescu, Denisa Diaconescu, Traian Serbanuta, Vlad Zamfir |
Asynchronous Muddy Children Puzzle (work in progress). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 152-166, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 80-95, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dorel Lucanu |
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 41-55, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andreea Postovan, Madalina Erascu |
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 120-130, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Istrate, Romeo Negrea |
q-Overlaps in the Random Exact Cover Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 26-40, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia |
Enumerating All Maximal Clique-Partitions of an Undirected Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 65-79, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nils Timm, Josua Botha |
Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, `Al. I. Cuza University`, Iasi, Romania, 19-20 September, 2022., pp. 67-82, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Arusoaie, Dorel Lucanu |
Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, `Al. I. Cuza University`, Iasi, Romania, 19-20 September, 2022., pp. 1-16, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, `Al. I. Cuza University`, Iasi, Romania, 19-20 September, 2022., pp. 17-36, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Georgian-Vlad Saioc, Hans Hüttel |
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, `Al. I. Cuza University`, Iasi, Romania, 19-20 September, 2022., pp. 51-66, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Jeltsch, Javier Díaz |
Correctness of Broadcast via Multicast: Graphically and Formally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, `Al. I. Cuza University`, Iasi, Romania, 19-20 September, 2022., pp. 37-50, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019., pp. 120-134, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra |
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019., pp. 107-119, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Surlea, Adrian Craciun |
Gröbner Bases with Reduction Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019., pp. 61-75, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta |
From Hybrid Modal Logic to Matching Logic and back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019., pp. 16-31, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Caltais |
Explaining SDN Failures via Axiomatisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019., pp. 48-60, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cezar-Constantin Andrici, Stefan Ciobaca |
Verifying the DPLL Algorithm in Dafny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019., pp. 3-15, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Probabilities in Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019., pp. 92-106, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Rusu, David Nowak |
(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019., pp. 32-47, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Isabela Dramnesc, Tudor Jebelean |
Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019., pp. 76-91, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|