E-LIB Suche - Ergebnisse für: Somorjai, Márk

1

Theta: Abstraction Based Techniques for Verifying Concurren..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bajczi, Levente ; Telbisz, Csanád ; Somorjai, Márk... - p. 412-417 , 2024

Link: https://doi.org/10.1007/..

2

EmergenTheta: Verification Beyond Abstraction Refinement (C..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bajczi, Levente ; Szekeres, Dániel ; Mondok, Milán... - p. 371-375 , 2024

Link: https://doi.org/10.1007/..

3

CEGAR-based Verification of Concurrent and Recursive Progra..:

Bajczi, Levente ; Telbisz, Csanád ; Somorjai, Márk...
doi:10.5281/zenodo.7455303. , 2022

Link: https://zenodo.org/recor..

4

Tool Archive of Theta for CHC-COMP 2023:

Márk Somorjai ; Mihály Dobos-Kovács ; Levente Bajczi.
doi:10.5281/zenodo.7954683. , 2023

Link: https://zenodo.org/recor..

5

Reversible dehydrogenation and rehydrogenation of cyclohexa..:

Chen, Luning ; Verma, Pragya ; Hou, Kaipeng...
Nature Communications. 13 (2022) 1 - p. , 2022

Link: https://doi.org/10.1038/..

6

Stabilized open metal sites in bimetallic metal–organic fra..:

Snider, Jonathan L. ; Su, Ji ; Verma, Pragya...
Journal of Materials Chemistry A. 9 (2021) 17 - p. 10869-10881 , 2021

Link: https://doi.org/10.1039/..

7

Efficient Hydrogen Production from Methanol Using a Single-..:

Chen, Lu-Ning ; Hou, Kai-Peng ; Liu, Yi-Sheng...
Journal of the American Chemical Society. 141 (2019) 45 - p. 17995-17999 , 2019

Link: https://doi.org/10.1021/..

8

Virtual Special Issue on Catalysis at the U.S. Department o..:

Pruski, Marek ; Sadow, Aaron D. ; Slowing, Igor I....
ACS Catalysis. 6 (2016) 5 - p. 3227-3235 , 2016

Link: https://doi.org/10.1021/..

9

Neuroanatomy of coprolalia in Tourette syndrome using funct..:

Gates, Larry ; Clarke, James R. ; Stokes, Aidan...
Progress in Neuro-Psychopharmacology and Biological Psychiatry. 28 (2004) 2 - p. 397-400 , 2004

Link: https://doi.org/10.1016/..

10

A new statistical inference test for fMRI time-series:

Jarmasz, Mark ; Somorjai, Ray ; Baumgartner, Richard
NeuroImage. 13 (2001) 6 - p. 163 , 2001

Link: https://doi.org/10.1016/..

11

Advantages of applying an ideal filter to fMRI time-series:

Jarmasz, Mark ; Somorjai, Ray ; Richter, Wolfgang
NeuroImage. 13 (2001) 6 - p. 164 , 2001

Link: https://doi.org/10.1016/..

12

Thiophene hydrodesulfurization over transition metal foils:..:

Bussell, Mark E. ; Somorjai, Gabor A.
Catalysis Letters. 3 (1989) 1 - p. 1-7 , 1989

Link: https://doi.org/10.1007/..

13

The role of adsorbate overlayers in thiophene hydrodesulfur..:

Bussel, Mark E. ; Gellman, Andrew J. ; Somorjai, Gabor A.
Catalysis Letters. 1 (1988) 6-7 - p. 195-201 , 1988

Link: https://doi.org/10.1007/..

14

Reversible dehydrogenation and rehydrogenation of cyclohexa..:

Chen, Luning ; Verma, Pragya ; Hou, Kaipeng...
qt6vf695g4. , 2022

Link: https://escholarship.org..

15

Reversible dehydrogenation and rehydrogenation of cyclohexa..:

Chen, Luning ; Verma, Pragya ; Hou, Kaipeng...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8888751/. , 2022

Link: http://www.ncbi.nlm.nih...