Pregnancy outcomes in the omalizumab pregnancy registry and a disease-matched comparator cohort von Namazy, Jennifer A., Blais, Lucie, Andrews, Elizabeth B., Scheuerle, Angela E., Cabana, Michael D., Thorp, John M., Umetsu, Dale T., Veith, Joachim H., Sun, Diana, Kaufman, Derrick G., Covington, Deborah L., Mukhopadhyay, Santanu, Fogel, Robert B., Lopez-Leon, Sandra, Spain, C. Victor

Volltext

Modular verification of software components in C von Chaki, S., Clarke, E.M., Groce, A., Jha, S., Veith, H.

Volltext

The audiologist's role in university hearing conservation programs: Gaps and opportunities in U.S. universities von Veith, Tonya

Volltext

Efficient filtering in publish-subscribe systems using binary decision diagrams von Campailla, A., Chaki, S., Clarke, E., Jha, S., Veith, H.

Volltext

Modular verification of software components in C von Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.

Volltext

The Xolair Pregnancy Registry (EXPECT): Perinatal outcomes among pregnant women with asthma treated with omalizumab (Xolair) compared against those of a cohort of pregnant women wi... von Namazy, Jennifer A., Blais, Lucie, Andrews, Elizabeth B., Scheuerle, Angela E., Cabana, Michael D., Thorp, John M., Veith, Joachim H., Umetsu, Dale T., Sun, Diana, Kaufman, Derrick G., Covington, Deborah L., Mukhopadhyay, Santanu, Fogel, Robert B., Lopez-Leon, Sandra, Spain, Vic

Volltext

Counterexample-guided abstraction refinement for symbolic model checking von Clarke, Edmund, Grumberg, Orna, Jha, Somesh, Lu, Yuan, Veith, Helmut

Volltext

Second-Order Equational Logic (Extended Abstract) von Fiore, Marcelo, Hur, Chung-Kil

Volltext

Tree-like counterexamples in model checking von Clarke, E., Jha, S., Yuan Lu, Veith, H.

Volltext

The Structural λ-Calculus von Accattoli, Beniamino, Kesner, Delia

Volltext

Environment abstraction for parameterized verification von CLARKE, Edmund, TALUPUR, Muralidhar, VEITH, Helmut

Volltext

Environment and Classical Channels in Categorical Quantum Mechanics von Coecke, Bob, Perdrix, Simon

Volltext

The Beginning of Model Checking: A Personal Perspective von Emerson, E. Allen

Volltext

Verification by Network Decomposition von Clarke, Edmund, Talupur, Muralidhar, Touili, Tayssir, Veith, Helmut

Volltext

Energy and Mean-Payoff Games with Imperfect Information von Degorre, Aldric, Doyen, Laurent, Gentilini, Raffaella, Raskin, Jean-François, Toruńczyk, Szymon

Volltext

INVESTIGATION OF THE SUPERCONDUCTING ORDER PARAMETER IN BI2SR2CACU2O8 SINGLE-CRYSTALS von STAUFER, T, NEMETSCHEK, R, HACKL, R, MULLER, P, VEITH, H

Volltext

Coordination Logic von Finkbeiner, Bernd, Schewe, Sven

Volltext

A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic von Rümmer, Philipp

Volltext

How to encode a logical structure by an OBDD von Veith, H.

Volltext

Multi-solver Support in Symbolic Execution von Palikareva, H, Cadar, C

Volltext