Wolfram Schulte: search on Z-Library

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

Don't use scam websites

1

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Multi-prover Verification of C Programs

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Year:

2004

Language:

english

File:

PDF, 230 KB

english, 2004

2

Search for Compounds That Inhibit the Genotoxic and Carcinogenic Effects of Heterocyclic Aromatic Amines

Schwab, Christina E., Huber, Wolfgang W., Parzefall, Wolfram, Hietsch, Gerhard, Kassie, Fekadu, Schulte-Hermann, Rolf, Knasmüller, Siegfried

Journal:

Critical Reviews in Toxicology

Year:

2000

Language:

english

File:

PDF, 2.76 MB

english, 2000

3

A programming model for concurrent object-oriented programs

Jacobs, Bart, Piessens, Frank, Smans, Jan, Leino, K. Rustan M., Schulte, Wolfram

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 1.04 MB

english, 2008

4

Waiting for Godot? the right language abstractions for parallel programming should be here soon

Mytkowicz, Todd, Schulte, Wolfram

Journal:

Year:

2014

Language:

english

File:

PDF, 733 KB

english, 2014

5

Role of mesenchymal liver cells in mediating hepatic toxicity and carcinogenesis

Sandra Sagmeister, Wolfram Parzefall, Christine Gauglhofer, Christopher Gerner, Rolf Schulte-Hermann, Bettina Grasl-Kraupp

Journal:

BMC Pharmacology

Year:

2007

Language:

english

File:

PDF, 77 KB

english, 2007

6

Automatic verification of Java programs with dynamic frames

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte

Journal:

Formal Aspects of Computing

Year:

2010

Language:

english

File:

PDF, 2.01 MB

english, 2010

7

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 388 KB

english, 2007

8

Portal Application of Autologous CD133+ Bone Marrow Cells to the Liver: A Novel Concept to Support Hepatic Regeneration

Jan Schulte am Esch II, Wolfram Trudo Knoefel, Michael Klein, Ali Ghodsizad, Guenter Fuerst, Ludger W. Poll, Christoph Piechaczek, Elmar R. Burchardt, Niko Feifel, Volker Stoldt, Marcus Stockschläder,

Journal:

Year:

2005

Language:

english

File:

PDF, 339 KB

english, 2005

9

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Pex--An Intelligent Assistant for Rigorous Developer Testing

Schulte, Wolfram

Year:

2007

File:

PDF, 92 KB

2007

10

Generating finite state machines from abstract state machines

Grieskamp, Wolfgang, Gurevich, Yuri, Schulte, Wolfram, Veanes, Margus

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2002

Language:

english

File:

PDF, 323 KB

english, 2002

11

[Lecture Notes in Computer Science] Fields of Logic and Computation II Volume 9300 ||

Beklemishev, Lev D., Blass, Andreas, Dershowitz, Nachum, Finkbeiner, Bernd, Schulte, Wolfram

Year:

2015

Language:

english

File:

PDF, 5.13 MB

english, 2015

12

Modeling insulated borehole heat exchangers

Schulte, Daniel Otto, Welsch, Bastian, Boockmeyer, Anke, Rühaak, Wolfram, Bär, Kristian, Bauer, Sebastian, Sass, Ingo

Journal:

Environmental Earth Sciences

Year:

2016

Language:

english

File:

PDF, 1.92 MB

english, 2016

13

Application of the Vimoke–Taylor concept for fully coupled models of consolidation by prefabricated vertical drains

Pham, Hung Tien, Rühaak, Wolfram, Schulte, Daniel, Sass, Ingo

Journal:

Computers and Geotechnics

Year:

2019

Language:

english

File:

PDF, 4.98 MB

english, 2019

14

Model-Based Software Testing and Analysis with C# || Compositional Modeling

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 378 KB

2007

15

Low-grade non-hodgkin's lymphoma after high-grade non-hodgkin's lymphoma in a child with ataxia teleangiectasia

Ursula Schulte Overberg-Schmidt, Eckehard Baumgarten, Günter Henze, Rolf-Dieter Wegner, Anja Günther, Wolfram Ebell, Harald Stein, Martin Vogel

Journal:

Year:

1994

Language:

english

File:

PDF, 436 KB

english, 1994

16

A novel technique to specifically analyze the secretome of cells and tissues

Hannes Zwickl, Elisabeth Traxler, Stefan Staettner, Wolfram Parzefall, Bettina Grasl-Kraupp, Josef Karner, Rolf Schulte-Hermann, Christopher Gerner

Journal:

ELECTROPHORESIS

Year:

2005

Language:

english

File:

PDF, 892 KB

english, 2005

17

Divide and conquer: Rat liver tissue proteomics based on the analysis of purified constituents

Olga Teufelhofer, Wolfram Parzefall, Leonilla Elbling, Eveline Kainzbauer, Bettina Grasl-Kraupp, Christoph Zielinski, Rolf Schulte-Hermann, Christopher Gerner

Journal:

ELECTROPHORESIS

Year:

2006

Language:

english

File:

PDF, 844 KB

english, 2006

18

Induction of genotoxic effects by chlorohydroxyfuranones, byproducts of water disinfection, in E. coli K-12 cells recovered from various organs of mice

Kassie Fekadu, Wolfram Parzefall, Leif Kronberg, Robert Franzen, Rolf Schulte-Hermann, Siegfried Knasmüller

Journal:

Environmental and Molecular Mutagenesis

Year:

1994

Language:

english

File:

PDF, 754 KB

english, 1994

19

Living donor for liver transplantation

Christoph E. Broelsch, Martin Burdelski, Xavier Rogiers, Matthias Gundlach, Wolfram T. Knoefel, Thomas Langwieler, Lutz Fischer, Astrid Latta, Horst Hellwege, Franz-Joseph Schulte, Wolff Schmiegel, Ma

Journal:

Year:

1994

Language:

english

File:

PDF, 720 KB

english, 1994

20

Massive parallelization of divide-and-conquer algorithms over powerlists

Klaus Achatz, Wolfram Schulte

Journal:

Science of Computer Programming

Year:

1996

Language:

english

File:

PDF, 1.27 MB

english, 1996

21

Cytotoxicity of the novel spin trapping compound 5-ethoxycarbonyl-3,5-dimethyl-pyrroline N-oxide (3,5-EDPO) and its derivatives

Nataliya Rohr-Udilova, Klaus Stolze, Sandra Sagmeister, Wolfram Parzefall, Brigitte Marian, Hans Nohl, Rolf Schulte-Hermann, Bettina Grasl-Kraupp

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2007

Language:

english

File:

PDF, 204 KB

english, 2007

22

XRT– Exploring Runtime for .NET Architecture and Applications

Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 356 KB

english, 2006

23

A Precise Yet Efficient Memory Model For C

Ernie Cohen, Michał Moskal, Stephan Tobies, Wolfram Schulte

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 464 KB

english, 2009

24

Separation Logic Verification of C Programs with an SMT Solver

Matko Botinčan, Matthew Parkinson, Wolfram Schulte

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 488 KB

english, 2009

25

Semantic essence of AsmL

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 341 KB

english, 2005

26

Runtime verification of .NET contracts

Mike Barnett, Wolfram Schulte

Journal:

Journal of Systems and Software

Year:

2003

Language:

english

File:

PDF, 221 KB

english, 2003

27

The use of texture analysis to study the time course of chromatolysis

Orlando Guntinas-Lichius, Erik Schulte, Eberhard Stennert, Wolfram F Neiss

Journal:

Journal of Neuroscience Methods

Year:

1997

Language:

english

File:

PDF, 263 KB

english, 1997

28

Role of fibroblast growth factors in hepatocarcinogenesis of humans and rats

Christine Gauglhofer, Sandra Sagmeister, Wolfram Parzefall, Rolf Schulte-Hermann, Bettina Grasl-Krauppbettina

Journal:

BMC Pharmacology

Year:

2007

Language:

english

File:

PDF, 70 KB

english, 2007

29

iNOS expression and levels of nitric oxide in a hepatocarcinogenesis model of p47-NADPH knockout mice

Constanze Freiler, Eveline Kainzbauer, Rolf Schulte-Hermann, Wolfram Parzefall

Journal:

BMC Pharmacology

Year:

2007

Language:

english

File:

PDF, 73 KB

english, 2007

30

New epithelial and mesenchymal cell lines from primary liver cancer to study cell interactions in hepatocarcinogenesis

Sandra Sagmeister, Maria Eisenbauer, Christine Pirker, Klaus Holzmann, Wolfram Parzefall, Christopher Gerner, Rolf Schulte-Hermann, Bettina Grasl-Kraupp

Journal:

BMC Pharmacology

Year:

2007

Language:

english

File:

PDF, 78 KB

english, 2007

31

Proteomics reveals acute pro-inflammatory and protective responses in rat Kupffer cells and hepatocytes after chemical initiation of liver cancer and after LPS and IL-6

Olga Lorenz, Wolfram Parzefall, Eveline Kainzbauer, Helge Wimmer, Bettina Grasl-Kraupp, Christopher Gerner, Rolf Schulte-Hermann

Journal:

PROTEOMICS - Clinical Applications

Year:

2009

Language:

english

File:

PDF, 938 KB

english, 2009

32

Induction by cyproterone acetate of DNA synthesis and mitosis in primary cultures of adult rat hepatocytes in serum free medium

Wolfram Parzefall, Peter Monschau, Rolf Schulte-Hermann

Journal:

Archives of Toxicology

Year:

1989

Language:

english

File:

PDF, 636 KB

english, 1989

33

Response of isolated hepatocytes from carcinogen sensitive (C3H) and insensitive (C57BL) mice to signals inducing replication or apoptosis

Wolfram Parzefall, Eveline Kainzbauer, Hong-Min Qin, Monika Chabicovsky, Rolf Schulte-Hermann

Journal:

Archives of Toxicology

Year:

2002

Language:

english

File:

PDF, 264 KB

english, 2002

34

Surgical Access to Jejunal Veins for Local Thrombolysis and Stent Placement in Portal Vein Thrombosis

Frank Schellhammer, Jan Schulte am Esch, Sascha Hammerschlag, Wolfram Trudo Knoefel, Günter Fürst

Journal:

CardioVascular and Interventional Radiology

Year:

2008

Language:

english

File:

PDF, 160 KB

english, 2008

35

Occult tumor cells in lymph nodes as a predictor for tumor relapse in pancreatic adenocarcinoma

Peter Scheunemann, Nikolas H. Stoecklein, Alexander Rehders, Minu Bidde, Sylvia Metz, Matthias Peiper, Claus F. Eisenberger, Jan Schulte am Esch, Wolfram T. Knoefel, Stefan B. Hosch

Journal:

Langenbeck's Archives of Surgery

Year:

2008

Language:

english

File:

PDF, 153 KB

english, 2008

36

Non-colorectal, non-neuroendocrine, and non-sarcoma metastases of the liver: resection as a promising tool in the palliative management

Moritz Schmelzle, Claus F. Eisenberger, Jan Schulte am Esch, Hanno Matthaei, Markus Krausch, Wolfram T. Knoefel

Journal:

Langenbeck's Archives of Surgery

Year:

2010

Language:

english

File:

PDF, 141 KB

english, 2010

37

Quantitative image analysis of the chromatolysis in rat facial and hypoglossal motoneurons following axotomy with and without reinnervation

Orlando Guntinas-Lichius, Wolfram F. Neiss, Erik Schulte, Eberhard Stennert

Journal:

Cell and Tissue Research

Year:

1996

Language:

english

File:

PDF, 112 KB

english, 1996

38

Formale objektorientierte Softwareentwicklung mit({cal F}{{scriptstyle{cal O}{cal X}}})

Klaus Achatz, Wolfram Schulte

Journal:

Computer Science - Research and Development

Year:

1997

Language:

german

File:

PDF, 474 KB

german, 1997

39

HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler

Sascha Böhme, Michał Moskal, Wolfram Schulte, Burkhart Wolff

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 643 KB

english, 2010

40

Impact of O-linked glycosylation of the VWF-A1-domain flanking regions on platelet interaction

Jan Schulte am Esch II, Simon C. Robson, Wolfram T. Knoefel, Claus F. Eisenberger, Matthias Peiper, Xavier Rogiers

Journal:

British Journal of Haematology

Year:

2005

Language:

english

File:

PDF, 232 KB

english, 2005

41

O-Linked glycosylation and functional incompatibility of porcine von Willebrand factor for human platelet GPIb receptors

Jan Schulte am Esch II, Simon C. Robson, Wolfram T. Knoefel, Stefan B. Hosch, Xavier Rogiers

Journal:

Xenotransplantation

Year:

2005

Language:

english

File:

PDF, 200 KB

english, 2005

42

Recipient levels and function of von Willebrand factor prior to liver transplantation and its consumption in the course of grafting correlate with hepatocellular damage and outcome

Jan Schulte am Esch II, Roy Y. Tustas, Simon C. Robson, Stefan B. Hosch, Ayse Akyildiz, Dieter C. Bröring, Lutz Fischer, Wolfram T. Knoefel, Xavier Rogiers

Journal:

Transplant International

Year:

2005

Language:

english

File:

PDF, 306 KB

english, 2005

43

ADP-dependent platelet function prior to and in the early course of pediatric Liver transplantation and persisting thrombocytopenia are positively correlated with ischemia/reperfusion injury

Jan Schulte am Esch II, Ayse Akyildiz, Roy Y. Tustas, Rainer Ganschow, Moritz Schmelzle, Andreas Krieg, Simon C. Robson, Stefan A. Topp, Xavier Rogiers, Wolfram T. Knoefel, Lutz Fischer

Journal:

Transplant International

Year:

2010

Language:

english

File:

PDF, 339 KB

english, 2010

44

A novel mechanism for mitogenic signaling via pro–transforming growth factor α within hepatocyte nuclei

Bettina Grasl-Kraupp, Elisabeth Schausberger, Karin Hufnagl, Christopher Gerner, Alexandra Löw-Baselli, Walter Rossmanith, Wolfram Parzefall, Rolf Schulte-Hermann

Journal:

Year:

2002

Language:

english

File:

PDF, 300 KB

english, 2002

45

Initialization problems for Java

Egon Börger, Wolfram Schulte

Journal:

Software - Concepts & Tools

Year:

2000

Language:

english

File:

PDF, 139 KB

english, 2000

46

Lateral cervical lymph node metastases in papillary thyroid cancer: a systematic review of imaging-guided and prophylactic removal of the lateral compartment

Mubashir G. Mulla, Wolfram Trudo Knoefel, Jackie Gilbert, Alan McGregor, Klaus-Martin Schulte

Journal:

Clinical Endocrinology

Year:

2012

Language:

english

File:

PDF, 76 KB

english, 2012

47

Ep-CAM expression in squamous cell carcinoma of the esophagus: a potential therapeutic target and prognostic marker

Nikolas H Stoecklein, Annika Siegmund, Peter Scheunemann, Andreas M Luebke, Andreas Erbersdobler, Pablo E Verde, Claus F Eisenberger, Matthias Peiper, Alexander Rehders, Jan Schulte am Esch, Wolfram T

Journal:

Year:

2006

Language:

english

File:

PDF, 660 KB

english, 2006

48

[ACM Press the International Workshop - Lawrence, Kansas (2011.11.12-2011.11.12)] Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering - MALETS '11 - The inductive software engineering manifesto

Menzies, Tim, Bird, Christian, Zimmermann, Thomas, Schulte, Wolfram, Kocaganeli, Ekrem

Year:

2011

Language:

english

File:

PDF, 711 KB

english, 2011

49

TRAIL-R4-β: A new splice variant of TRAIL-receptor 4 lacking the cysteine rich domain 1

Andreas Krieg, Jan Schulte am Esch 2nd, Uwe Ramp, Stefan B. Hosch, Wolfram T. Knoefel, Helmut E. Gabbert, Csaba Mahotka

Journal:

Biochemical and Biophysical Research Communications

Year:

2006

Language:

english

File:

PDF, 945 KB

english, 2006

50

Effects of coffee and its chemopreventive components kahweol and cafestol on cytochrome P450 and sulfotransferase in rat liver

Wolfgang W. Huber, Walter Rossmanith, Michael Grusch, Elisabeth Haslinger, Sonja Prustomersky, Barbara Peter-Vörösmarty, Wolfram Parzefall, Gerlinde Scharf, Rolf Schulte-Hermann

Journal:

Food and Chemical Toxicology

Year:

2008

Language:

english

File:

PDF, 247 KB

english, 2008