Zum Inhalt springen

  1. Krug, Christian [VerfasserIn] ; Mansouri, Ahmed [AkademischeR BetreuerIn]; Bucher, Gregor [AkademischeR BetreuerIn]; Heinrich, Ralf [AkademischeR BetreuerIn]; Schuh, Reinhard [AkademischeR BetreuerIn]; Wimmer, Ernst A. [AkademischeR BetreuerIn]; Wodarz, Andreas [AkademischeR BetreuerIn]

    Funktionelle Analyse des Transkriptionsfaktors Pitx3 während der Entwicklung dopaminerger Neuronen im murinen Mittelhirn

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2013

  2. Ahmed, Hassan Mutasim Mohammed [VerfasserIn] ; Wimmer, Ernst [AkademischeR BetreuerIn]; Bucher, Gregor [AkademischeR BetreuerIn]; Schuh, Reinhard [AkademischeR BetreuerIn]; Heinrich, Ralf [AkademischeR BetreuerIn]; Jackson, Daniel [AkademischeR BetreuerIn]; Dosch, Roland [AkademischeR BetreuerIn]

    Development of transgenic sterile insect technique strains for the invasive fruit pest drosophila suzukii

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Göttingen, 2020

  3. Eckermann, Kolja Neil [VerfasserIn] ; Wimmer, Ernst [AkademischeR BetreuerIn]; Wodarz, Andreas [AkademischeR BetreuerIn]; Dosch, Roland [AkademischeR BetreuerIn]; Bucher, Gregor [AkademischeR BetreuerIn]; Heinrich, Ralf [AkademischeR BetreuerIn]; Jackson, Daniel [AkademischeR BetreuerIn]

    Evaluation of genetic engineering and genome editing tools to develop multifactorial reproductive sterility or killing sperm systems for the improvement of the Sterile Insect Technique

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Göttingen, 2020

  4. Galinski, Sabrina [VerfasserIn] ; Rossner, Moritz [AkademischeR BetreuerIn]; Rossner, Moritz [Sonstige Person, Familie und Körperschaft]; Göpfert, Martin [Sonstige Person, Familie und Körperschaft]; Wimmer, Ernst [Sonstige Person, Familie und Körperschaft]; Sereda, Michael [Sonstige Person, Familie und Körperschaft]; Heinrich, Ralf [Sonstige Person, Familie und Körperschaft]; Willig, Katrin [Sonstige Person, Familie und Körperschaft]

    Multiplexed cell-based assays to profile GPCR activities and cellular signalling

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Göttingen, 2016

  5. Khan, Niamat [VerfasserIn] ; Groß, Uwe [AkademischeR BetreuerIn]; Pöggeler, Stefanie [Sonstige Person, Familie und Körperschaft]; Asif, Abdul [Sonstige Person, Familie und Körperschaft]; Dressel, Ralf [Sonstige Person, Familie und Körperschaft]; Kramer, Wilfried [Sonstige Person, Familie und Körperschaft]; Rohlfs, Marko [Sonstige Person, Familie und Körperschaft]; Wimmer, Ernst [Sonstige Person, Familie und Körperschaft]

    Comparative DNA‐Protein interaction and epithelial tight junctions modulation potential of immunosuppressive regime

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Göttingen, 2015

  6. Krug, Christian [VerfasserIn] ; Mansouri, Ahmed [AkademischeR BetreuerIn]; Mansouri, Ahmed [Sonstige Person, Familie und Körperschaft]; Bucher, Gregor [Sonstige Person, Familie und Körperschaft]; Heinrich, Ralf [Sonstige Person, Familie und Körperschaft]; Schuh, Reinhard [Sonstige Person, Familie und Körperschaft]; Wimmer, Ernst [Sonstige Person, Familie und Körperschaft]; Wodarz, Andreas [Sonstige Person, Familie und Körperschaft]

    Funktionelle Analyse des Transkriptionsfaktors Pitx3 während der Entwicklung dopaminerger Neuronen im murinen Mittelhirn

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2012

  7. Winterer, Leonore [VerfasserIn]; Junges, Sebastian [VerfasserIn]; Wimmer, Ralf [VerfasserIn]; Jansen, Nils [VerfasserIn]; Topcu, Ufuk [VerfasserIn]; Katoen, Joost-Pieter [VerfasserIn]; Becker, Bernd [VerfasserIn]

    Strategy synthesis for POMDPs in robot planning via game-based abstractions

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    University of Freiburg: FreiDok, 2021

    Erschienen in: IEEE transactions on automatic control. - 66, 3 (2021) , 1040-1054, ISSN: 1558-2523

  8. Scholl, Christoph [VerfasserIn]; Jiang, Jie-Hong Roland [VerfasserIn]; Wimmer, Ralf [VerfasserIn]; Ge-Ernst, Aile [VerfasserIn]

    A PSPACE subclass of dependency quantified boolean formulas and its effective solving

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    University of Freiburg: FreiDok, 2019

    Erschienen in: Proceedings of the AAAI Conference on Artificial Intelligence. - 33, 1 (2019) , 1584-1591, ISSN: 2374-3468

  9. Winterer, Leonore [VerfasserIn]; Junges, Sebastian [VerfasserIn]; Wimmer, Ralf [VerfasserIn]; Jansen, Nils [VerfasserIn]; Topcu, Ufuk [VerfasserIn]; Katoen, Joost-Pieter [VerfasserIn]; Becker, Bernd [VerfasserIn] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Tübingen: Universitätsbibliothek Tübingen, [2018]

    Erschienen in: MBMV 2018

  10. Hatefi, Hassan [VerfasserIn]; Wimmer, Ralf [VerfasserIn]; Braitling, Bettina Claudia [VerfasserIn]; Ferrer Fioriti, Luis María [VerfasserIn]; Becker, Bernd [VerfasserIn]; Hermanns, Holger [VerfasserIn]

    Cost vs. time in stochastic games and Markov automata

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    University of Freiburg: FreiDok, 2017

    Erschienen in: Formal aspects of computing. - 29, 4 (2017) , 629-649, ISSN: 1433-299X

  11. Herrmann, Thomas A. [VerfasserIn]; Jahnke, Isa [VerfasserIn]; Kunau, Gabriele V. [VerfasserIn]; Loser, Kai-Uwe [VerfasserIn]; Klischewski, Ralf [VerfasserIn]; Wimmer, Maria [VerfasserIn]

    Der STWT : eine Analyse- und Gestaltungsmethode für die Einführung von E-Government-Verfahren

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2005-01-01

    Erschienen in: Wissensbasiertes Prozessmanagement im E-Government

  12. Combemale, Benoit [VerfasserIn]; Kienzle, Jorg [VerfasserIn]; Mussbacher, Gunter [VerfasserIn]; Ali, Hyacinth [VerfasserIn]; Amyot, Daniel [VerfasserIn]; Bagherzadeh, Mojtaba [VerfasserIn]; Batot, Edouard [VerfasserIn]; Bencomo, Nelly [VerfasserIn]; Benni, Benjamin [VerfasserIn]; Bruel, Jean-Michel [VerfasserIn]; Cabot, Jordi [VerfasserIn]; Cheng, Betty H. C. [VerfasserIn]; Collet, Philippe [VerfasserIn]; Engels, Gregor [VerfasserIn]; Heinrich, Robert [VerfasserIn]; Jezequel, Jean-Marc [VerfasserIn]; Koziolek, Anne [VerfasserIn]; Mosser, Sebastien [VerfasserIn]; Reussner, Ralf [VerfasserIn]; Sahraoui, Houari [VerfasserIn]; Saini, Rijul [VerfasserIn]; Sallou, June [VerfasserIn]; Stinckwich, Serge [VerfasserIn]; Syriani, Eugene [VerfasserIn];

    A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    IEEE Computer Society, 2021-08-26

    Erschienen in: IEEE software, 38 (4), 71–84 ; ISSN: 0740-7459, 1937-4194

  13. Lin, Tao [VerfasserIn]; Wang, Shanshan S. [VerfasserIn]; Munker, Stefan [VerfasserIn]; Jung, Kyounghwa [VerfasserIn]; Macías-Rodríguez, Ricardo U. [VerfasserIn]; Ruiz-Margáin, Astrid [VerfasserIn]; Schierwagen, Robert [VerfasserIn]; Liu, Hui [VerfasserIn]; Shao, Chen [VerfasserIn]; Fan, Chunlei [VerfasserIn]; Feng, Rilu [VerfasserIn]; Yuan, Xiaodong [VerfasserIn]; Wang, Sai [VerfasserIn]; Wandrer, Franziska [VerfasserIn]; Meyer, Christoph [VerfasserIn]; Wimmer, Ralf [VerfasserIn]; Liebe, Roman [VerfasserIn]; Kroll, Jens [VerfasserIn]; Zhang, Long [VerfasserIn]; Schiergens, Tobias [VerfasserIn]; Dijke, Peter ten [VerfasserIn]; Teufel, Andreas [VerfasserIn]; Marx, Alexander [VerfasserIn]; Mertens, Peter R. [VerfasserIn]; [...]

    Follistatin-controlled activin-HNF4α-coagulation factor axis in liver progenitor cells determines outcome of acute liver failure

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Hepatology ; 75(2022), 2, Seite 322-337

  14. Zimmermann, Beate [VerfasserIn]; Claß-Mahler, Ingrid [VerfasserIn]; Cossel, Moritz von [VerfasserIn]; Lewandowski, Iris [VerfasserIn]; Weik, Jan [VerfasserIn]; Lippert, Christian [VerfasserIn]; Krimly, Tatjana [VerfasserIn]; Pergner, Isabell [VerfasserIn]; Zörb, Christian [VerfasserIn]; Wimmer, Monika [VerfasserIn]; Dier, Markus [VerfasserIn]; Schurr, Frank [VerfasserIn]; Pagel, Jörn [VerfasserIn]; Riemenschneider, Adriana [VerfasserIn]; Hasan, Abbas el- [VerfasserIn]; Thomas, Stefan [VerfasserIn]; Rieker, Martin [VerfasserIn]; Schmid, Karl [VerfasserIn]; Streck, Thilo [VerfasserIn]; Ingwersen, Joachim [VerfasserIn]; Ludewig, Uwe [VerfasserIn]; Neumann, Günter [VerfasserIn]; Maywald, Niels [VerfasserIn]; Müller, Torsten [VerfasserIn]; [...]

    Mineral-ecological cropping systems : a new approach to improve ecosystem services by farming without chemical synthetic plant protection

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    27 August 2021

    Erschienen in: Agronomy ; 11(2021), 9, Artikel-ID 1710, Seite 1-32

  16. Scholl, Christoph; Wimmer, Ralf

    Theory and Applications of Satisfiability Testing – SAT 2018: Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications : Extended Abstract

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2018

    Erschienen in: Theory and Applications of Satisfiability Testing – SAT 2018

  19. Wimmer, Karina; Wimmer, Ralf; Scholl, Christoph; Becker, Bernd

    Automated Technology for Verification and Analysis: Skolem Functions for DQBF

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2016

    Erschienen in: Automated Technology for Verification and Analysis

  20. Wimmer, Ralf; Scholl, Christoph; Wimmer, Karina; Becker, Bernd

    Theory and Applications of Satisfiability Testing – SAT 2016: Dependency Schemes for DQBF

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2016

    Erschienen in: Theory and Applications of Satisfiability Testing – SAT 2016