Wolfram Schulte: search on Z-Library

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

Don't use scam websites

51

Hemoglobin-Glutamer 200 Reduces Reperfusion Injury of the Cold Preserved Rat Liver by Induction of Heme Oxygenase-1

Stefan A. Topp, Andreas Krieg, Alexander Koch, Carina M. Tidden, Uwe Ramp, Thomas Hohlfeld, Arne Macher, Jan Schulte am Esch II, Claus F. Eisenberger, Nikolas H. Stoecklein, Wolfram T. Knoefel

Journal:

Journal of Surgical Research

Year:

2008

Language:

english

File:

PDF, 1.74 MB

english, 2008

52

New approaches to toxicologic mechanisms by the application of genomics, proteomics and metabolomics

Christopher Gerner, Olga Teufelhofer, Wolfram Parzefall, Rolf Schulte-Hermann

Journal:

Toxicology Letters

Year:

2006

Language:

english

File:

PDF, 75 KB

english, 2006

53

Reactive oxygen from macrophages and chemical carcinogenesis

Rolf Schulte-Hermann, Olga Teufelhofer, Wolfram Parzefall, Constanze Freiler, Bettina Grasl-Kraupp, Christopher Gerner

Journal:

Toxicology Letters

Year:

2006

Language:

english

File:

PDF, 67 KB

english, 2006

54

Toxicoproteomics identifies hepatocytes and Kupffer cells as Independent targets of the carcinogen N-nitrosomorpholine

Olga Teufelhofer, Wolfram Parzefall, Eveline Kainzbauer, Rolf Schulte-Hermann, Christopher Gerner

Journal:

Toxicology Letters

Year:

2006

Language:

english

File:

PDF, 98 KB

english, 2006

55

Are NADPH-oxidase knockout mice protected from diethylnitrosamine (DENA) induced liver carcinogenesis?

Wolfram Parzefall, Constanze Freiler, Olga Teufelhofer, Eveline Kainzbauer, Franziska Ferk, Rolf Schulte-Hermann

Journal:

Toxicology Letters

Year:

2006

Language:

english

File:

PDF, 87 KB

english, 2006

56

Guest Editors' Introduction: Parallelism on the Desktop

Pankratius, Victor, Schulte, Wolfram, Keutzer, Kurt

Journal:

Year:

2011

Language:

english

File:

PDF, 3.98 MB

english, 2011

57

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Formal Proof from UML Models

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Year:

2004

Language:

english

File:

PDF, 346 KB

english, 2004

58

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Learning to Verify Safety Properties

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Year:

2004

Language:

english

File:

PDF, 229 KB

english, 2004

59

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 ||

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Year:

2004

Language:

english

File:

PDF, 266 KB

english, 2004

60

[Lecture Notes in Computer Science] FM 2011: Formal Methods Volume 6664 || Refinement-Based Verification of Local Synchronization Algorithms

Butler, Michael, Schulte, Wolfram

Year:

2011

Language:

english

File:

PDF, 249 KB

english, 2011

61

HGF and SDF-1-mediated mobilization of CD133 + BMSC for hepatic regeneration following extensive liver resection

Lehwald, Nadja, Duhme, Constanze, Wildner, Marina, Kuhn, Stephanie, Fürst, Günter, Forbes, Stuart J., Jonas, Sven, Robson, Simon C., Knoefel, Wolfram T., Schmelzle, Moritz, Schulte am Esch, Jan

Journal:

Year:

2014

Language:

english

File:

PDF, 772 KB

english, 2014

62

CODEMINE: Building a Software Development Data Analytics Platform at Microsoft

Czerwonka, Jacek, Nagappan, Nachiappan, Schulte, Wolfram, Murphy, Brendan

Journal:

Year:

2013

Language:

english

File:

PDF, 1022 KB

english, 2013

63

[Lecture Notes in Computer Science] FM 2011: Formal Methods Volume 6664 || Sampling-Based Runtime Verification

Butler, Michael, Schulte, Wolfram

Year:

2011

Language:

english

File:

PDF, 481 KB

english, 2011

64

[Lecture Notes in Computer Science] FM 2011: Formal Methods Volume 6664 ||

Butler, Michael, Schulte, Wolfram

Year:

2011

Language:

english

File:

PDF, 5.54 MB

english, 2011

65

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Mock-object generation with behavior

Tillmann, Nikolai, Schulte, Wolfram

Year:

2006

Language:

english

File:

PDF, 86 KB

english, 2006

66

Tu2055 Evaluation of Chromosal Aberrations in the Primary Tumor, Lymph Node Metastases and Disseminated Tumor Cells of Patients With Esophageal Cancer: Implications for Anti-Tumoral Therapy?

Vallbohmer, Daniel, Schumacher, Sarah, Baldus, Stephan E., Vay, Christian, Krieg, Andreas, am Esch, Jan Schulte, Knoefel, Wolfram T., Stoecklein, Nikolas H.

Journal:

Gastroenterology

Year:

2012

Language:

english

File:

PDF, 61 KB

english, 2012

67

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 356 KB

english, 2014

68

Platelet activation and increased tissue factor expression on monocytes in reperfusion injury following orthotopic liver transplantation

Esch, Jan Schulte Am, Jurk, Kerstin, Knoefel, Wolfram T., Roeder, Gesine, Voss, Holger, Tustas, Roy Y., Schmelzle, M., Krieg, Andreas, Eisenberger, Claus F., Topp, Stefan, Rogiers, Xavier, Fischer, Lu

Journal:

Year:

2010

Language:

english

File:

PDF, 771 KB

english, 2010

69

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 ||

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 24.47 MB

english, 2014

70

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Reggae: Automated Test Generation for Programs Using Complex Regular Expressions

Li, Nuo, Xie, Tao, Tillmann, Nikolai, Halleux, Jonathan de, Schulte, Wolfram

Year:

2009

Language:

english

File:

PDF, 427 KB

english, 2009

71

[IEEE 2012 4th International Workshop on Software Engineering in Health Care (SEHC) - Zurich, Switzerland (2012.06.4-2012.06.5)] 2012 4th International Workshop on Software Engineering in Health Care (SEHC) - Cancer treatment planning: Formal methods to the rescue

Mathe, Janos, Sztipanovits, Janos, Levy, Mia, Jackson, Ethan K., Schulte, Wolfram

Year:

2012

Language:

english

File:

PDF, 266 KB

english, 2012

72

Taking Control of Your Engineering Tools

Prasad, Chandra, Schulte, Wolfram

Journal:

Year:

2013

Language:

english

File:

PDF, 479 KB

english, 2013

73

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || Model-Driven Development of Mobile Applications Allowing Role-Driven Variants

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 1.39 MB

english, 2014

74

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Ten years of automated code analysis at Microsoft (Invited industrial talk)

Schulte, Wolfram

Year:

2012

Language:

english

File:

PDF, 59 KB

english, 2012

75

[IEEE 2009 ICSE Workshop on Automation of Software Test (AST) - Vancouver, BC, Canada (2009.05.18-2009.05.19)] 2009 ICSE Workshop on Automation of Software Test - An empirical study of testing file-system-dependent software with mock objects

Marri, Madhuri R., Tao Xie,, Tillmann, Nikolai, de Halleux, Jonathan, Schulte, Wolfram

Year:

2009

Language:

english

File:

PDF, 105 KB

english, 2009

76

[IEEE Networks (DSN) - Lisbon, Portugal (2009.06.29-2009.07.2)] 2009 IEEE/IFIP International Conference on Dependable Systems & Networks - Fitness-guided path exploration in dynamic symbolic execution

Xie, Tao, Tillmann, Nikolai, de Halleux, Jonathan, Schulte, Wolfram

Year:

2009

Language:

english

File:

PDF, 203 KB

english, 2009

77

[IEEE 2009 International Conference on Software Testing, Verification, and Validation Workshops - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing, Verification, and Validation Workshops - Mutation Analysis of Parameterized Unit Tests

Xie, Tao, Tillmann, Nikolai, de Halleux, Jonathan, Schulte, Wolfram

Year:

2009

Language:

english

File:

PDF, 167 KB

english, 2009

78

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Guided path exploration for regression test generation

Taneja, Kunal, Xie, Tao, Tillmann, Nikolai, de Halleux, Jonathan, Schulte, Wolfram

Year:

2009

Language:

english

File:

PDF, 92 KB

english, 2009

79

[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) - Experiments in Verifying Low Level Concurrent C Code

Schulte, Wolfram

Year:

2007

File:

PDF, 90 KB

2007

80

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - VCC: Contract-based modular verification of concurrent C

Dahlweid, Markus, Moskal, Michal, Santen, Thomas, Tobies, Stephan, Schulte, Wolfram

Year:

2009

Language:

english

File:

PDF, 89 KB

english, 2009

81

Oncostatin M regulates SOCS3 mRNA stability via the MEK–ERK1/2-pathway independent of p38MAPK/MK2

Ehlting, Christian, Böhmer, Oliver, Hahnel, Maximilian J., Thomas, Maria, Zanger, Ulrich M., Gaestel, Matthias, Knoefel, Wolfram T., Schulte am Esch, Jan, Häussinger, Dieter, Bode, Johannes G.

Journal:

Cellular Signalling

Year:

2015

Language:

english

File:

PDF, 1.57 MB

english, 2015

82

Superoxide deficiency attenuates promotion of hepatocarcinogenesis by cytotoxicity in NADPH oxidase knockout mice

Parzefall, Wolfram, Freiler, Constanze, Lorenz, Olga, Koudelka, Helga, Riegler, Teresa, Nejabat, Marzieh, Kainzbauer, Eveline, Grasl-Kraupp, Bettina, Schulte-Hermann, Rolf

Journal:

Archives of Toxicology

Year:

2015

Language:

english

File:

PDF, 608 KB

english, 2015

83

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || Ontology-Based Modeling of Context-Aware Systems

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 342 KB

english, 2014

84

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || Automated Chaining of Model Transformations with Incompatible Metamodels

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 1.20 MB

english, 2014

85

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 530 KB

english, 2014

86

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - MSeqGen

Thummalapenta, Suresh, Xie, Tao, Tillmann, Nikolai, de Halleux, Jonathan, Schulte, Wolfram

Year:

2009

Language:

english

File:

PDF, 401 KB

english, 2009

87

[Lecture Notes in Computer Science] FM 2011: Formal Methods Volume 6664 || Relational Verification Using Product Programs

Butler, Michael, Schulte, Wolfram

Year:

2011

Language:

english

File:

PDF, 278 KB

english, 2011

88

[Lecture Notes in Computer Science] FM 2011: Formal Methods Volume 6664 || Building VCL Models and Automatically Generating Z Specifications from Them

Butler, Michael, Schulte, Wolfram

Year:

2011

Language:

english

File:

PDF, 204 KB

english, 2011

89

Long-Term Vacuum-Assisted Closure in Open Abdomen due to Secondary Peritonitis: A Retrospective Evaluation of a Selected Group of Patients

Schmelzle, Moritz, Alldinger, Ingo, Matthaei, Hanno, Aydin, Feride, Wallert, Ingo, Eisenberger, Claus F., Schulte am Esch, II, Jan, Dizdar, Levent, Topp, Stefan A., Yang, Qin, Knoefel, Wolfram T.

Journal:

Digestive Surgery

Year:

2010

Language:

english

File:

PDF, 271 KB

english, 2010

90

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 642 KB

english, 2014

91

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || A Specification-Based Approach to Testing Polymorphic Attributes

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Year:

2004

Language:

english

File:

PDF, 164 KB

english, 2004

92

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || Agile Model-Driven Engineering in Mechatronic Systems - An Industrial Case Study

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 219 KB

english, 2014

93

Specification and verification

Barnett, Mike, Fähndrich, Manuel, Leino, K. Rustan M., Müller, Peter, Schulte, Wolfram, Venter, Herman

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 536 KB

english, 2011

94

Automated migration of build scripts using dynamic analysis and search-based refactoring

Gligoric, Milos, Schulte, Wolfram, Prasad, Chandra, van Velzen, Danny, Narasamdya, Iman, Livshits, Benjamin

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 1.10 MB

english, 2014

95

[ACM Press the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium - Lisbon, Portugal (2005.09.05-2005.09.09)] Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 - Parameterized unit tests

Tillmann, Nikolai, Schulte, Wolfram

Year:

2005

Language:

english

File:

PDF, 128 KB

english, 2005

96

[ACM Press the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium - Lisbon, Portugal (2005.09.05-2005.09.09)] Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 - Parameterized unit tests with unit meister

Tillmann, Nikolai, Schulte, Wolfram

Year:

2005

Language:

english

File:

PDF, 49 KB

english, 2005

97

[ACM Press the 2006 conference - Portland, Oregon (2006.11.10-2006.11.11)] Proceedings of the 2006 conference on Specification and verification of component-based systems - SAVCBS '06 - VC generation for functional behavior and non-interference of iterators

Jacobs, Bart, Piessens, Frank, Schulte, Wolfram

Year:

2006

Language:

english

File:

PDF, 156 KB

english, 2006

98

[ACM Press the 24th ACM SIGPLAN conference - Orlando, Florida, USA (2009.10.25-2009.10.29)] Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09 - The design of a task parallel library

Leijen, Daan, Schulte, Wolfram, Burckhardt, Sebastian

Year:

2009

Language:

english

File:

PDF, 683 KB

english, 2009

99

Parameterized unit tests with unit meister

Tillmann, Nikolai, Schulte, Wolfram

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 49 KB

english, 2005

100

Online testing with model programs

Veanes, Margus, Campbell, Colin, Schulte, Wolfram, Tillmann, Nikolai

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 153 KB

english, 2005