Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Mehdi Naouar"'
Autor:
Paul Schmidt-Barbo, Gabriel Kalweit, Mehdi Naouar, Lisa Paschold, Edith Willscher, Christoph Schultheiß, Bruno Märkl, Stefan Dirnhofer, Alexandar Tzankov, Mascha Binder, Maria Kalweit
Publikováno v:
PLoS Computational Biology, Vol 20, Iss 7, p e1011570 (2024)
The classification of B cell lymphomas-mainly based on light microscopy evaluation by a pathologist-requires many years of training. Since the B cell receptor (BCR) of the lymphoma clonotype and the microenvironmental immune architecture are importan
Externí odkaz:
https://doaj.org/article/5862e59d6f3944fab6b0a585b48f6768
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031250712
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::237810d3f1f9e469f675135c925ca28c
https://doi.org/10.1007/978-3-031-25072-9_34
https://doi.org/10.1007/978-3-031-25072-9_34
Autor:
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
The verification approach of Ultimate Automizer utilizes SMT formulas. This paper presents techniques to keep the size of the formulas small. We focus especially on a normal form, called CommuHash normal form that was easy to implement and had a sign
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8a7a8c9a93f1f36bbb8faea8ff11ff5
https://doi.org/10.1007/978-3-031-30820-8_39
https://doi.org/10.1007/978-3-031-30820-8_39
Autor:
Mehdi Naouar, Matthias Heizmann, Daniel Dietsch, Andreas Podelski, Claus Schätzle, Dominik Klumpp
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030670665
VMCAI
VMCAI
Given a verification problem for a concurrent program (with a fixed number of threads) over infinite data domains, we can construct a model checking problem for an abstraction of the concurrent program through a Petri net (a problem which can be solv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f25def55be3513e2b44c17a67cd66c9
https://doi.org/10.1007/978-3-030-67067-2_9
https://doi.org/10.1007/978-3-030-67067-2_9