H. Kroening: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Proteome analysis of microtubule-associated proteins and their interacting partners from mammalian brain

Frank Kozielski, Tahira Riaz, Salvatore DeBonis, Christian J. Koehler, Mario Kroening, Isabel Panse, Margarita Strozynski, Ian M. Donaldson, Bernd Thiede

Journal:

Year:

2011

Language:

english

File:

PDF, 1.35 MB

english, 2011

52

Computational challenges in bounded model checking

Edmund Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 343 KB

english, 2005

53

Error explanation with distance metrics

Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 3.72 MB

english, 2006

54

An abstraction-based decision procedure for bit-vector arithmetic

Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan Brady

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 381 KB

english, 2009

55

Verified software: theories, tools and experiments

Daniel Kroening, Tiziana Margaria

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 100 KB

english, 2010

56

Verification of SpecC using predicate abstraction

Edmund Clarke, Himanshu Jain, Daniel Kroening

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 455 KB

english, 2007

57

Context-aware counter abstraction

Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 1.19 MB

english, 2010

58

Automatic analysis of DMA races using model checking andk-induction

Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.30 MB

english, 2011

59

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic

Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 902 KB

english, 2011

60

Making the Most of BMC Counterexamples

Alex Groce, Daniel Kroening

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 280 KB

english, 2005

61

International science and technology center: A decade of joint efforts for a safer world

Michael Kroening

Journal:

Fusion Engineering and Design

Year:

2004

Language:

english

File:

PDF, 43 KB

english, 2004

62

Verification of Boolean programs with unbounded thread creation

Byron Cook, Daniel Kroening, Natasha Sharygina

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 381 KB

english, 2007

63

PLANT CELL BIOLOGY ON CD

William K. Kroen

Journal:

Journal of Phycology

Year:

2004

Language:

english

File:

PDF, 49 KB

english, 2004

64

Brugada Syndrome with Marked Conduction Disease: Dual Implications of a SCN5A Mutation

GABRIEL VOROBIOF, DANIEL KROENING, BURR HALL, RAMON BRUGADA, DAVID HUANG

Journal:

Pacing and Clinical Electrophysiology

Year:

2008

Language:

english

File:

PDF, 358 KB

english, 2008

65

Identification of a Retained Intravascular Wire by Three-Dimensional Transesophageal Echocardiography

Stephen R. Tokarz, Mehmet K. Aktas, Daniel Kroening, Thomas J. Sawyer, James P. Daubert, David T. Huang, Karl Q. Schwarz

Journal:

Echocardiography

Year:

2009

Language:

english

File:

PDF, 141 KB

english, 2009

66

A 61-Year-Old Patient with Activity-Related Wide Complex Tachycardia

Mehmet K. Aktas, Daniel Kroening, Fred S. Ling, Hugh Calkins, Ilan Goldenberg, David T. Huang

Journal:

Annals of Noninvasive Electrocardiology

Year:

2011

Language:

english

File:

PDF, 541 KB

english, 2011

67

Concerns of Childbearing Women: A Maternal Concerns Questionnaire as an Assessment Tool

Eileen P. Sheil, Margaret J. Bull, Birgit E. Moxon, A. Muehl, Kristie L. Kroening, Gayle Peterson-Palmberg, Sheryl Kelber

Journal:

Journal of Obstetric, Gynecologic, & Neonatal Nursing

Year:

1995

Language:

english

File:

PDF, 681 KB

english, 1995

68

Mechanism of Early Carbon Tetrachloride Toxicity in Cultured Rat Hepatocytes

David E. Johnston, Christine Kroening

Journal:

Basic & Clinical Pharmacology & Toxicology

Year:

1998

Language:

english

File:

PDF, 1.01 MB

english, 1998

69

The Rehabilitation of Monitoring Wells Clogged by Calcite Precipitation and Drilling Mud

David E. Kroening, David S. Snipes, Scott E. Brame, Rex A. Hodges, Van Price, Tom J. Temples

Journal:

Groundwater Monitoring & Remediation

Year:

1996

File:

PDF, 1.56 MB

1996

70

Extensive Dust Layer in the Northern Hemisphere

ROSEN, J. M., HOFMANN, D. J., PEPIN, T. J., KROENING, J.

Journal:

Year:

1972

File:

PDF, 224 KB

1972

71

Platelet alpha-adrenergic receptors in obesity: Alteration with weight loss

Sundaresan, Pavur R, Weintraub, Michael, Hershey, Linda A, Kroening, Bruce H, Hasday, Jeffrey D, Banerjee, Shailesh P

Journal:

Clinical Pharmacology & Therapeutics

Year:

1983

Language:

english

File:

PDF, 625 KB

english, 1983

72

Effect of hydrogen and helium on the properties of nuclear reactor materials

I. P. Chernov, Yu. P. Cherdantsev, N. N. Nikitenkov, A. M. Lider, Yu. V. Martynenko, A. S. Surkov, M. Kroening

Journal:

Bulletin of the Russian Academy of Sciences: Physics

Year:

2008

Language:

english

File:

PDF, 274 KB

english, 2008

73

Predicate Abstraction of ANSI-C Programs Using SAT

Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 215 KB

english, 2004

74

Counterexample-guided abstraction refinement for symmetric concurrent programs

Donaldson, Alastair F., Kaiser, Alexander, Kroening, Daniel, Tautschnig, Michael, Wahl, Thomas

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 707 KB

english, 2012

75

Condition based maintenance planning of highly productive machine tools

Denkena, Berend, Bluemel, Peter, Kroening, Stefan, Roebbing, Jens

Journal:

Production Engineering

Year:

2012

Language:

english

File:

PDF, 1.07 MB

english, 2012

76

Practical differential diagnosis of chronic craniofacial pain

James R. Fricton, Richard Kroening

Journal:

Oral Surgery, Oral Medicine, Oral Pathology

Year:

1982

Language:

english

File:

PDF, 668 KB

english, 1982

77

F.11. Oxidative Constituents in Cigarette Smoke Extract Induce Macrophage Heme-oxygenase-1 Protein

Yoshimi Hirano, Paula Kroening, Rajesh Patel, Robert Vassallo

Journal:

Clinical Immunology

Year:

2008

Language:

english

File:

PDF, 50 KB

english, 2008

78

Autoreactive antibodies raised by self derived de novo peptides can identify unrelated antigens on protein microarrays. Are autoantibodies really autoantibodies?

Kaitlin Kroening, Stephen Albert Johnston, Joseph Barten Legutki

Journal:

Experimental and Molecular Pathology

Year:

2012

Language:

english

File:

PDF, 718 KB

english, 2012

79

Computing Mutation Coverage in Interpolation-Based Model Checking

Chockler, H., Kroening, D., Purandare, M.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2012

Language:

english

File:

PDF, 2.66 MB

english, 2012

80

Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers

Zinovik, I., Kroening, D., Chebiryak, Y.

Journal:

IEEE Transactions on Information Theory

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

81

Periodic Orbits and Equilibria in Glass Models for Gene Regulatory Networks

Zinovik, I., Chebiryak, Y., Kroening, D.

Journal:

IEEE Transactions on Information Theory

Year:

2010

Language:

english

File:

PDF, 673 KB

english, 2010

82

Army Command and Control Information Systems Requirements Definition

Kroening, Donald W.

Journal:

IEEE Transactions on Systems Man and Cybernetics

Year:

1986

Language:

english

File:

PDF, 2.11 MB

english, 1986

83

INFLUENCE OF GROWTH STATUS AND NUTRIENTS ON EXTRACELLULAR POLYSACCHARIDE SYNTHESIS BY THE SOIL ALGA CHLAMYDOMONAS MEXICANA (CHLOROPHYCEAE)

William K. Kroen, William R. Rayburn

Journal:

Journal of Phycology

Year:

1984

File:

PDF, 825 KB

1984

84

GROWTH AND POLYSACCHARIDE PRODUCTION BY THE GREEN ALGA CHLAMYDOMONAS MEXICANA (CHLOROPHYCEAE) ON SOIL

William K. Kroen

Journal:

Journal of Phycology

Year:

1984

File:

PDF, 520 KB

1984

85

VISCOUS POLYSACCHARIDE AND STARCH SYNTHESIS IN RHODELLA RETICULATA (PORPHYRIDIALES, RHODOPHYTA)

William K. Kroen, J. Ramus

Journal:

Journal of Phycology

Year:

1990

File:

PDF, 1.33 MB

1990

86

[IEEE 2010 IEEE International Symposium Antennas and Propagation and CNC-USNC/URSI Radio Science Meeting - Toronto, ON (2010.07.11-2010.07.17)] 2010 IEEE Antennas and Propagation Society International Symposium - New approaches to directional antenna technologies for unmanned system communications

Das, Santanu, Olsen, Randall, Meagher, Chris, Tame, Bradley, Kroening, Adam

Year:

2010

Language:

english

File:

PDF, 360 KB

english, 2010

87

Dynamical consequences of depth-dependent thermal expansivity and viscosity on mantle circulations and thermal structure

U. Hansen, D.A. Yuen, S.E. Kroening, T.B. Larsen

Journal:

Physics of the Earth and Planetary Interiors

Year:

1993

Language:

english

File:

PDF, 1.93 MB

english, 1993

88

F.14. Cigarette Smoking Induces the Production of Neutrophilic Chemokines By Lung Dendritic Cells

Joseph Parambil, Paula Kroening, Robert Vassallo

Journal:

Clinical Immunology

Year:

2006

Language:

english

File:

PDF, 57 KB

english, 2006

89

Nicotine and oxidative cigarette smoke constituents induce immune-modulatory and pro-inflammatory dendritic cell responses

Robert Vassallo, Paula R. Kroening, Joseph Parambil, Hirohito Kita

Journal:

Molecular Immunology

Year:

2008

Language:

english

File:

PDF, 449 KB

english, 2008

90

Determination of organophosphate flame retardants and plasticizers in sediment samples using microwave-assisted extraction and gas chromatography with inductively coupled plasma mass spectrometry

M. García-López, I. Rodríguez, R. Cela, K.K. Kroening, J.A. Caruso

Journal:

Year:

2009

Language:

english

File:

PDF, 535 KB

english, 2009

91

Arthroscopic Temporomandibular Joint Surgery: A New Approach to Temporomandibular Joint Disorders

Sandra Kroening Rodau, Susan Baker-Gill, Scott N. Levin

Journal:

Year:

1993

Language:

english

File:

PDF, 1.01 MB

english, 1993

92

Analysis of beta-casein and its phosphoforms in human milk

Terry A. Kroening, Pradip Mukerji, Robert G. Hards

Journal:

Nutrition Research

Year:

1998

Language:

english

File:

PDF, 1.05 MB

english, 1998

93

Phase III trial of bolus 5-fluorouracil (5-FU)/folinic acid (FA) (MAYO) vs. weekly oxaliplatin (OXA) plus high dose 24h 5-FU infusion/FA in patients with advanced colorectal cancer (CRC)

A. Grothey, T. Buechele, H. Kroening, K. Ridwelski, P. Reichardt, A. Kretzschmar, M. Clemens, H.J. Schmoll

Journal:

European Journal of Cancer

Year:

2001

Language:

english

File:

PDF, 163 KB

english, 2001

94

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog

Jain, H., Kroening, D., Sharygina, N., Clarke, E.M.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2008

Language:

english

File:

PDF, 418 KB

english, 2008

95

A Survey of Automated Techniques for Formal Software Verification

D'Silva, V., Kroening, D., Weissenbacher, G.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2008

Language:

english

File:

PDF, 495 KB

english, 2008

96

Screening hydrolysis products of sulfur mustard agents by high-performance liquid chromatography with inductively coupled plasma mass spectrometry detection

Karolin K. Kroening, Douglas D. Richardson, Scott Afton, Joseph A. Caruso

Journal:

Analytical and Bioanalytical Chemistry

Year:

2009

Language:

english

File:

PDF, 306 KB

english, 2009

97

295 Capecitabine plus irinotecan (CAPIRI) vs capecitabine plus oxaliplatin (CAPOX) as first-line therapy of advanced colorectal cancer (ACRC): updated results of a randomized phase II trial

A. Grothey, K. Jordan, O. Kellner, C. Constantin, G. Dietrich, H. Kroening, L. Mantovani, C. Schlichting, H. Forstbauer, H.J. Schmoll

Journal:

European Journal of Cancer Supplements

Year:

2003

Language:

english

File:

PDF, 326 KB

english, 2003

98

Stimulation of prostaglandin synthesis in cultured liver cells by CCl4

DE Johnston, C Kroening

Journal:

Year:

1996

Language:

english

File:

PDF, 256 KB

english, 1996

99

Preface to the special issue “SI: Satisfiability Modulo Theories”

Strichman, Ofer, Kroening, Daniel

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 151 KB

english, 2013

100

A controlled trial of real and simulated acupuncture in the management of chronic asthma

TASHKIN, D, KROENING, R, BRESLER, D, SIMMONS, M, COULSON, A, KERSCHNAR, H

Journal:

Journal of Allergy and Clinical Immunology

Year:

1985

Language:

english

File:

PDF, 1.01 MB

english, 1985