Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Cerna, David
340  Ergebnisse:
Personensuche X
?
1

Aiding an Introduction to Formal Reasoning Within a First-Y..:

, In: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education,
Cerna, David ; Seidl, Martina ; Schreiner, Wolfgang.. - p. 61-67 , 2020
Link: https://dl.acm.org/doi/1..
 
?
2

Covered Clauses Are Not Propagation Redundant:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Barnett, Lee A. ; Cerna, David ; Biere, Armin - p. 32-47 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Idempotent Anti-unification:

Cerna, David ; Kutsia, Temur
ACM Transactions on Computational Logic.  21 (2019)  2 - p. 1-32 , 2019
Link: https://doi.org/10.1145/..
 
?
4

Idempotent Anti-unification:

Cerna, David ; Kutsia, Temur
ACM Transactions on Computational Logic (TOCL).  21 (2019)  2 - p. 1-32 , 2019
Link: https://dl.acm.org/doi/1..
 
?
5

Ceres in intuitionistic logic:

Cerna, David ; Leitsch, Alexander ; Reis, Giselle.
Annals of Pure and Applied Logic.  168 (2017)  10 - p. 1783-1836 , 2017
Link: https://doi.org/10.1016/..
 
?
6

mRNA Expression Profiles for Prostate Cancer following Frac..:

Simone II, Charles B. ; John-Aryankalayil, Molykutty ; Palayoor, Sanjeewani T....
Translational Oncology.  6 (2013)  5 - p. 573-585 , 2013
Link: https://doi.org/10.1593/..
 
?
7

Fractionated Radiation Alters Oncomir and Tumor Suppressor ..:

John-Aryankalayil, Molykutty ; Palayoor, Sanjeewani T. ; Makinde, Adeola Y....
Radiation Research.  178 (2012)  3 - p. 105-117 , 2012
Link: https://www.jstor.org/st..
 
?
8

Inhibition of Nicotinamide Phosphoribosyltransferase (NAMPT..:

Cerna, David ; Li, Hongyun ; Flaherty, Siobhan...
Journal of Biological Chemistry.  287 (2012)  26 - p. 22408-22417 , 2012
Link: https://doi.org/10.1074/..
 
?
9

Fractionated Radiation Therapy Can Induce a Molecular Profi..:

John-Aryankalayil, Molykutty ; Palayoor, Sanjeewani T. ; Cerna, David...
Radiation Research.  174 (2010)  4 - p. 446-458 , 2010
Link: https://www.jstor.org/st..
 
?
10

PX‐478, an inhibitor of hypoxia‐inducible factor‐1α, enhanc..:

Palayoor, Sanjeewani T. ; Mitchell, James B. ; Cerna, David...
International Journal of Cancer.  123 (2008)  10 - p. 2430-2437 , 2008
Link: https://doi.org/10.1002/..
 
?
11

The 1.1-Å Structure of the Spindle Checkpoint Protein Bub3p..:

Wilson, David K. ; Cerna, David ; Chew, Erin
Journal of Biological Chemistry.  280 (2005)  14 - p. 13944-13951 , 2005
Link: https://doi.org/10.1074/..
 
?
12

The Structure of Sif2p, a WD Repeat Protein Functioning in ..:

Cerna, David ; Wilson, David K.
Journal of Molecular Biology.  351 (2005)  4 - p. 923-935 , 2005
Link: https://doi.org/10.1016/..
 
?
13

Enhancement of in vitro and in vivo tumor cell radiosensiti..:

Camphausen, Kevin ; Cerna, David ; Scott, Tamalee...
International Journal of Cancer.  114 (2004)  3 - p. 380-386 , 2004
Link: https://doi.org/10.1002/..
 
?
14

One or Nothing: Anti-unification over the Simply-Typed Lamb..:

Cerna, David M. ; Buran, Michal
ACM Transactions on Computational Logic.  25 (2024)  3 - p. 1-12 , 2024
Link: https://doi.org/10.1145/..
 
?
15

Learning Guided Automated Reasoning: A Brief Survey:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,
Blaauwbroek, Lasse ; Cerna, David M. ; Gauthier, Thibault... - p. 54-83 , 2024
Link: https://doi.org/10.1007/..
 
1-15