default search action

combined dblp search
author search
venue search
publication search

ask others

8th FROM 2024: Timişoara, 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-2410-23020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23020
Mircea Marin, Laurentiu Leustean:
Proceedings Eighth Symposium on Working Formal Methods, FROM 2024, Timişoara, Romania, September 16-18. EPTCS 410, 2024
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23760
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23760
Ádám Kurucz, Péter Bereczky, Dániel Horpácsi:
Unification in Matching Logic - Revisited. 1-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23761
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23761
Eneia Nicolae Todoran, Gabriel Ciobanu:
Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS. 18-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-10453
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-10453
Gabriel Istrate:
Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP). 38-52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23759
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23759
Georgios V. Pitsiladis, Petros S. Stefaneas:
Converting BPMN Diagrams to Privacy Calculus. 53-68
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23762
Lorenzo Capra, Marco Gribaudo:
Efficient Performance Analysis of Modular Rewritable Petri Nets. 69-83
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23763
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23763
Georgiana Caltais, Mahboobeh Zangiabady, Ervin Zvirbulis:
Tracer: A Tool for Race Detection in Software Defined Network Models. 84-98
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23764
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23764
Vlad-Alexandru Teodorescu, Dorel Lucanu:
Static Analysis Framework for Detecting Use-After-Free Bugs in C++. 99-115
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23984
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23984
Nicky Ask Lund, Hans Hüttel:
A Type System for Data Flow and Alias Analysis in ReScript. 116-132
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23765
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23765
Dafina Trufas:
Intuitionistic Propositional Logic in Lean. 133-149
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23766
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23766
Stefan-Claudiu Susan:
Leveraging Slither and Interval Analysis to build a Static Analysis Tool. 150-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.