„schellhorn“

Suchergebnisse

1.000+ Treffer

• Lexikon der sozialen Hilfen
  Jirasek, Hans ; Schellhorn, Walter Luchterhand
• Weak progressive forward simulation is necessary and sufficient for strong observational refinement
  Dongol, Brijesh ; Schellhorn, Gerhard ; Wehrheim, Heike ; Klin, Bartek ; Lasota, Sławomir ; Muscholl, Anca 2022 Universität Augsburg
• Mechanized proofs of opacity: a comparison of two techniques
  Derrick, John ; Doherty, Simon ; Dongol, Brijesh ; Schellhorn, Gerhard ; Travkin, Oleg ; Wehrheim, Heike
• Potential of Electrospun Fibrous Scaffolds for Intestinal, Skin, and Lung Epithelial Tissue Modeling
  Gonçalves, Andreia M. ; Leal, Filipa ; Moreira, Anabela ; Schellhorn, Tobias ; Blahnová, Veronika Hefka ; Zeiringer, Scarlett ; Vocetková, Karolina ; Tetyczka, Carolin ; Simaite, Aiva ; Buzgo, Matej ; Roblegg, Eva ; Costa, Pedro F. ; Ertl, Peter ; Filová, Eva ; Kohl, Yvonne
• Verification of a formal security model for multiapplicative smart cards
  Schellhorn, Gerhard ; Reif, Wolfgang ; Schairer, Axel ; Karger, Paul ; Austel, Vernon ; Toll, David ; Cuppens, Frédéric ; Deswarte, Yves ; Gollmann, Dieter ; Waidner, Michael 2000 Universität Augsburg
• Combining formal methods and safety analysis - the ForMoSA approach
  Ortmeier, Frank ; Thums, Andreas ; Schellhorn, Gerhard ; Reif, Wolfgang ; Ehrig, Hartmut ; Damm, Werner ; Desel, Jörg ; Große-Rhode, Martin ; Schnieder, Eckehard ; Westkämper, Engelbert 2004 Universität Augsburg
• The first record of sauropod dinosaurs from a palaeotopographical upland environment and its implicatopns for megaherbivorous dinosaur faunal in the Early Cretaceous of northwestern Europe – Eiszeitfliegen in Westfalen
  Hornung, Jahn J. ; Sachs, Sven ; Schwermann, Achim H. ; Mähler, Bastian ; Schellhorn, Rico ; Schlösser, Manfred 2023 Westfälisches Museum f. Naturkde.
• A systematic verification approach for Mondex electronic purses using ASMs
  Schellhorn, Gerhard ; Grandy, Holger ; Haneberg, Dominik ; Moebius, Nina ; Reif, Wolfgang ; Abrial, Jean-Raymond ; Glässer, Uwe 2009 Universität Augsburg
• Structured specifications and interactive proofs with KIV
  Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt ; Balser, Michael ; Bibel, Wolfgang ; Schmitt, Peter H. 1998 Universität Augsburg
• Sonderbilanzen – von der Gründungsbilanz bis zur Liquidationsbilanz
  Deubert, Michael ; Förschle, Gerhart ; Störk, Ulrich ; Almeling, Christopher ; Anders, Ulrike ; Büssow, Thomas ; Dietrich, Anita ; Heinz, Stephan ; Henckel, Niels-Frithjof ; Hermesmeier, Timo ; Hoffmann, Karl ; Klingberg, Dietgard ; Koch, Sebastian ; Kropp, Manfred ; Küster, Thomas ; Loose, Thomas ; Malsch, Annette ; Meyer, Henning Dieter ; Roland, Sandra ; Scheel, Michael ; Schellhorn, Mathias ; Schönberger, Martin Wolfgang ; Siemers, Lothar ; Taetzner, Tobias ; Weisang, Andreas 2021 C.H. Beck
• Chemical Validation of DegS As a Target for the Development of Antibiotics with a Novel Mode of Action
  Bongard, Jens ; Schmitz, Anna Laura ; Wolf, Alex ; Zischinsky, Gunther ; Pieren, Michel ; Schellhorn, Birgit ; Bravo‐Rodriguez, Kenny ; Schillinger, Jasmin ; Koch, Uwe ; Nussbaumer, Peter ; Klebl, Bert ; Steinmann, Jörg ; Buer, Jan ; Sanchez‐Garcia, Elsa ; Ehrmann, Michael ; Kaiser, Markus
• Theorems from compiler verification – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1998 Univ., Fak. für Informatik
• Proving properties of finite enumerations – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1997 Univ., Fak. für Informatik
• Nonparametric Bounds on the Effect of Deductibles in Health Care Insurance on Doctor Visits – Swiss Evidence
  Gerfin, Michael ; Schellhorn, Martin 2005 IZA
• The Evolution of Income-Related Inequalities in Health Care Utilization in Switzerland over Time
  Leu, Robert E. ; Schellhorn, Martin 2004 IZA
• The Evolution of Income-Related Health Inequalities in Switzerland over Time
  Leu, Robert E. ; Schellhorn, Martin 2004 IZA
• The Effect of Health Changes and Long-Term Health on the Work Activity of Older Canadians
  Au, Doreen ; Crossley, Thomas F. ; Schellhorn, Martin 2004 IZA
• Flaw detection in formal specifications
  Reif, Wolfgang ; Schellhorn, Gerhard ; Thums, Andreas ; Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias 2001 Universität Augsburg
• Martin Schellhorn, Probleme der Struktur, Organisation und Evolution biologischer Systeme. 134 S. Jena 1969: VEB Gustav Fischer M 9,90
  Hentschel, E.
• Transcranial direct current stimulation (tDCS) for major depression – interim analysis of cloud supervised technical data from the DepressionDC trial
  Kumpf, Ulrike ; Stadler, Matthias ; Plewnia, Christian Gerhard ; Bajbouj, Malek ; Langguth, Berthold ; Zwanzger, Peter M. ; Normann, Claus ; Keeser, Daniel ; Schellhorn, Klaus ; Egert-Schwender, Silvia ; Berkes, S. ; Palm, Ulrich ; Hasan, Alkomiet ; Padberg, Frank 2021 Universität