Skip to contents Wimmer, Ralf; Scholl, Christoph; Becker, Bernd The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2019 Published in: Journal on Satisfiability, Boolean Modeling and Computation, 11 (2019) 1, Seite 3-52 Butkova, Yuliya; Wimmer, Ralf; Hermanns, Holger Lecture Notes in Computer Science: Markov Automata on Discount! Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Lecture Notes in Computer Science (2018), Seite 19-34 Butkova, Yuliya; Wimmer, Ralf; Hermanns, Holger Tools and Algorithms for the Construction and Analysis of Systems: Long-Run Rewards for Markov Automata Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2017 Published in: Tools and Algorithms for the Construction and Analysis of Systems (2017), Seite 188-203 Schmitt, Lukas Ian; Wimmer, Ralf Dieter Astrocytic Regulation of Sleep Processes Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2015 Published in: Current Sleep Medicine Reports, 1 (2015) 1, Seite 9-19 Astori, Simone; Wimmer, Ralf D.; Lüthi, Anita Correction: Manipulating sleep spindles – expanding views on sleep, memory, and disease Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2014 Published in: Trends in Neurosciences, 37 (2014) 4, Seite 243 Astori, Simone; Wimmer, Ralf D.; Lüthi, Anita Manipulating sleep spindles – expanding views on sleep, memory, and disease Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2013 Published in: Trends in Neurosciences, 36 (2013) 12, Seite 738-748 Habel, Ralf; Kudenov, Michael; Wimmer, Michael Practical Spectral Photography Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2012 Published in: Computer Graphics Forum, 31 (2012) 2pt2, Seite 449-458 Wimmer, Ralf; Derisavi, Salem; Hermanns, Holger Symbolic partition refinement with automatic balancing of time and space Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2010 Published in: Performance Evaluation, 67 (2010) 9, Seite 816-836 Habel, Ralf; Kusternig, Alexander; Wimmer, Michael Physically Guided Animation of Trees Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2009 Published in: Computer Graphics Forum, 28 (2009) 2, Seite 523-532 Wimmer, Ralf; Braitling, Bettina; Becker, Bernd Lecture Notes in Computer Science: Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Lecture Notes in Computer Science (2008), Seite 366-380 Savier, Elise; Sedigh-Sarvestani, Madineh; Wimmer, Ralf; Fitzpatrick, David A bright future for the tree shrew in neuroscience research: Summary from the inaugural Tree Shrew Users Meeting Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Zoological Research, 2021 Published in: Zoological Research, 42 (2021) 4, Seite 478-481 Winterer, Leonore; Wimmer, Ralf; Jansen, Nils; Becker, Bernd Lecture Notes in Computer Science: Strengthening Deterministic Policies for POMDPs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2020 Published in: Lecture Notes in Computer Science (2020), Seite 115-132 Urstoeger, Alexander; Wimmer, Andreas; Kaegi, Ralf; Reiter, Simon; Schuster, Michael Looking at Silver-Based Nanoparticles in Environmental Water Samples: Repetitive Cloud Point Extraction Bridges Gaps in Electron Microscopy for Naturally Occurring Nanoparticles Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Chemical Society (ACS), 2020 Published in: Environmental Science & Technology, 54 (2020) 19, Seite 12063-12071 Krol, Alexandra; Wimmer, Ralf D.; Halassa, Michael M.; Feng, Guoping Thalamic Reticular Dysfunction as a Circuit Endophenotype in Neurodevelopmental Disorders Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2018 Published in: Neuron, 98 (2018) 2, Seite 282-295 Rikhye, Rajeev V.; Wimmer, Ralf D.; Halassa, Michael M. Toward an Integrative Theory of Thalamic Function Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Annual Reviews, 2018 Published in: Annual Review of Neuroscience, 41 (2018) 1, Seite 163-183 Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd Theory and Applications of Satisfiability Testing – SAT 2017: From DQBF to QBF by Dependency Elimination Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2017 Published in: Theory and Applications of Satisfiability Testing – SAT 2017 (2017), Seite 326-343 Wimmer, Ralf; Reimer, Sven; Marin, Paolo; Becker, Bernd Tools and Algorithms for the Construction and Analysis of Systems: HQSpre – An Effective Preprocessor for QBF and DQBF Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2017 Published in: Tools and Algorithms for the Construction and Analysis of Systems (2017), Seite 373-390 Wimmer, Ralf; Gitina, Karina; Nist, Jennifer; Scholl, Christoph; Becker, Bernd Lecture Notes in Computer Science: Preprocessing for DQBF Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2015 Published in: Lecture Notes in Computer Science (2015), Seite 173-190 Graczyk-Zajac, Magdalena; Wimmer, Maximilian; Neumann, Christian; Riedel, Ralf Lithium intercalation into SiCN/disordered carbon composite. Part 1: influence of initial carbon porosity on cycling performance/capacity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2015 Published in: Journal of Solid State Electrochemistry, 19 (2015) 9, Seite 2763-2769 Hahn, Ernst Moritz; Hermanns, Holger; Wimmer, Ralf; Becker, Bernd Transient Reward Approximation for Continuous-Time Markov Chains Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Transactions on Reliability, 64 (2015) 4, Seite 1254-1275
Wimmer, Ralf; Scholl, Christoph; Becker, Bernd The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2019 Published in: Journal on Satisfiability, Boolean Modeling and Computation, 11 (2019) 1, Seite 3-52
Butkova, Yuliya; Wimmer, Ralf; Hermanns, Holger Lecture Notes in Computer Science: Markov Automata on Discount! Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Lecture Notes in Computer Science (2018), Seite 19-34
Butkova, Yuliya; Wimmer, Ralf; Hermanns, Holger Tools and Algorithms for the Construction and Analysis of Systems: Long-Run Rewards for Markov Automata Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2017 Published in: Tools and Algorithms for the Construction and Analysis of Systems (2017), Seite 188-203
Schmitt, Lukas Ian; Wimmer, Ralf Dieter Astrocytic Regulation of Sleep Processes Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2015 Published in: Current Sleep Medicine Reports, 1 (2015) 1, Seite 9-19
Astori, Simone; Wimmer, Ralf D.; Lüthi, Anita Correction: Manipulating sleep spindles – expanding views on sleep, memory, and disease Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2014 Published in: Trends in Neurosciences, 37 (2014) 4, Seite 243
Astori, Simone; Wimmer, Ralf D.; Lüthi, Anita Manipulating sleep spindles – expanding views on sleep, memory, and disease Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2013 Published in: Trends in Neurosciences, 36 (2013) 12, Seite 738-748
Habel, Ralf; Kudenov, Michael; Wimmer, Michael Practical Spectral Photography Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2012 Published in: Computer Graphics Forum, 31 (2012) 2pt2, Seite 449-458
Wimmer, Ralf; Derisavi, Salem; Hermanns, Holger Symbolic partition refinement with automatic balancing of time and space Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2010 Published in: Performance Evaluation, 67 (2010) 9, Seite 816-836
Habel, Ralf; Kusternig, Alexander; Wimmer, Michael Physically Guided Animation of Trees Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2009 Published in: Computer Graphics Forum, 28 (2009) 2, Seite 523-532
Wimmer, Ralf; Braitling, Bettina; Becker, Bernd Lecture Notes in Computer Science: Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Lecture Notes in Computer Science (2008), Seite 366-380
Savier, Elise; Sedigh-Sarvestani, Madineh; Wimmer, Ralf; Fitzpatrick, David A bright future for the tree shrew in neuroscience research: Summary from the inaugural Tree Shrew Users Meeting Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Zoological Research, 2021 Published in: Zoological Research, 42 (2021) 4, Seite 478-481
Winterer, Leonore; Wimmer, Ralf; Jansen, Nils; Becker, Bernd Lecture Notes in Computer Science: Strengthening Deterministic Policies for POMDPs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2020 Published in: Lecture Notes in Computer Science (2020), Seite 115-132
Urstoeger, Alexander; Wimmer, Andreas; Kaegi, Ralf; Reiter, Simon; Schuster, Michael Looking at Silver-Based Nanoparticles in Environmental Water Samples: Repetitive Cloud Point Extraction Bridges Gaps in Electron Microscopy for Naturally Occurring Nanoparticles Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Chemical Society (ACS), 2020 Published in: Environmental Science & Technology, 54 (2020) 19, Seite 12063-12071
Krol, Alexandra; Wimmer, Ralf D.; Halassa, Michael M.; Feng, Guoping Thalamic Reticular Dysfunction as a Circuit Endophenotype in Neurodevelopmental Disorders Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2018 Published in: Neuron, 98 (2018) 2, Seite 282-295
Rikhye, Rajeev V.; Wimmer, Ralf D.; Halassa, Michael M. Toward an Integrative Theory of Thalamic Function Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Annual Reviews, 2018 Published in: Annual Review of Neuroscience, 41 (2018) 1, Seite 163-183
Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd Theory and Applications of Satisfiability Testing – SAT 2017: From DQBF to QBF by Dependency Elimination Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2017 Published in: Theory and Applications of Satisfiability Testing – SAT 2017 (2017), Seite 326-343
Wimmer, Ralf; Reimer, Sven; Marin, Paolo; Becker, Bernd Tools and Algorithms for the Construction and Analysis of Systems: HQSpre – An Effective Preprocessor for QBF and DQBF Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2017 Published in: Tools and Algorithms for the Construction and Analysis of Systems (2017), Seite 373-390
Wimmer, Ralf; Gitina, Karina; Nist, Jennifer; Scholl, Christoph; Becker, Bernd Lecture Notes in Computer Science: Preprocessing for DQBF Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2015 Published in: Lecture Notes in Computer Science (2015), Seite 173-190
Graczyk-Zajac, Magdalena; Wimmer, Maximilian; Neumann, Christian; Riedel, Ralf Lithium intercalation into SiCN/disordered carbon composite. Part 1: influence of initial carbon porosity on cycling performance/capacity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2015 Published in: Journal of Solid State Electrochemistry, 19 (2015) 9, Seite 2763-2769
Hahn, Ernst Moritz; Hermanns, Holger; Wimmer, Ralf; Becker, Bernd Transient Reward Approximation for Continuous-Time Markov Chains Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Transactions on Reliability, 64 (2015) 4, Seite 1254-1275
> Media type Skip to next facet Articles (124) Wert ausschließen Books (22) Wert ausschließen Thesis (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution - No Derivs (CC BY-ND) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (74) Wert ausschließen Without Specification (73) Wert ausschließen Show more show less
> Language Skip to next facet English (104) Wert ausschließen Not determined (33) Wert ausschließen German (11) Wert ausschließen Show more show less
> Subject Skip to next facet Medicine (30) Wert ausschließen Computer science (19) Wert ausschließen Biology (17) Wert ausschließen Technology (11) Wert ausschließen Physics (5) Wert ausschließen Chemistry and pharmacology (4) Wert ausschließen Mathmatics (3) Wert ausschließen General (2) Wert ausschließen Geography (2) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (2) Wert ausschließen Psychology (2) Wert ausschließen Geology and paleontology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Wimmer, Ralf (75) Wert ausschließen Becker, Bernd (35) Wert ausschließen Wimmer, Ralf D. (22) Wert ausschließen Jansen, Nils (17) Wert ausschließen Halassa, Michael M. (16) Wert ausschließen Hohenester, Simon (16) Wert ausschließen Katoen, Joost-Pieter (16) Wert ausschließen Denk, Gerald (13) Wert ausschließen Hermanns, Holger (12) Wert ausschließen Rust, Christian (12) Wert ausschließen Ábrahám, Erika (12) Wert ausschließen Heinrich, Ralf (11) Wert ausschließen Scholl, Christoph (10) Wert ausschließen Bucher, Gregor (7) Wert ausschließen Wimmer, Ernst (7) Wert ausschließen Wimmer, Ernst A. (7) Wert ausschließen Artmann, Renate (6) Wert ausschließen Baltensperger, Urs (6) Wert ausschließen Bianchi, Federico (6) Wert ausschließen Braitling, Bettina (6) Wert ausschließen Breitenlechner, Martin (6) Wert ausschließen Curtius, Joachim (6) Wert ausschließen Dommen, Josef (6) Wert ausschließen Duplissy, Jonathan (6) Wert ausschließen Feng, Guoping (6) Wert ausschließen Flagan, Richard C. (6) Wert ausschließen Franchin, Alessandro (6) Wert ausschließen Gerbes, Alexander L. (6) Wert ausschließen Hansel, Armin (6) Wert ausschließen Kirkby, Jasper (6) Wert ausschließen Kulmala, Markku (6) Wert ausschließen Kupc, Agnieszka (6) Wert ausschließen Kürten, Andreas (6) Wert ausschließen Lehtipalo, Katrianne (6) Wert ausschließen Mayr, Doris (6) Wert ausschließen Onnela, Antti (6) Wert ausschließen Petäjä, Tuukka (6) Wert ausschließen Reiter, Florian P. (6) Wert ausschließen Riccobono, Francesco (6) Wert ausschließen Rondo, Linda (6) Wert ausschließen Schnitzhofer, Ralf (6) Wert ausschließen Schobesberger, Siegfried (6) Wert ausschließen Schuh, Reinhard (6) Wert ausschließen Tsagkogeorgas, Georgios (6) Wert ausschließen Wimmer, Daniela (6) Wert ausschließen Almeida, João (5) Wert ausschließen Amorim, Antonio (5) Wert ausschließen Astori, Simone (5) Wert ausschließen Beuers, Ulrich (5) Wert ausschließen Carslaw, Kenneth S. (5) Wert ausschließen Donahue, Neil M. (5) Wert ausschließen Dosch, Roland (5) Wert ausschließen Ehrhart, Sebastian (5) Wert ausschließen Hatefi, Hassan (5) Wert ausschließen Laaksonen, Ari (5) Wert ausschließen Lüthi, Anita (5) Wert ausschließen Mathot, Serge (5) Wert ausschließen Nieminen, Tuomo (5) Wert ausschließen Ortega, Ismael K. (5) Wert ausschließen Sipilä, Mikko (5) Wert ausschließen Worsnop, Douglas R. (5) Wert ausschließen Zischka, Hans (5) Wert ausschließen Berger, Thomas (4) Wert ausschließen Deisseroth, Karl (4) Wert ausschließen Dunne, Eimear M. (4) Wert ausschließen Eberhagen, Carola (4) Wert ausschließen Fu, Zhanyan (4) Wert ausschließen Guo, Baolin (4) Wert ausschließen Junninen, Heikki (4) Wert ausschließen Keskinen, Helmi (4) Wert ausschließen Mayerle, Julia (4) Wert ausschließen Munker, Stefan (4) Wert ausschließen Praplan, Arnaud P. (4) Wert ausschließen Santos, Filipe D. (4) Wert ausschließen Schallhart, Simon (4) Wert ausschließen Schiergens, Tobias (4) Wert ausschließen Sun, Xuyun (4) Wert ausschließen Tomé, António (4) Wert ausschließen Vehkamäki, Hanna (4) Wert ausschließen Wagner, Paul E. (4) Wert ausschließen Winterer, Leonore (4) Wert ausschließen Ye, Liangtao (4) Wert ausschließen Ziesch, Andreas (4) Wert ausschließen Adelman, John P. (3) Wert ausschließen Agard, Christophe (3) Wert ausschließen Atlaskin, Evgeny (3) Wert ausschließen Atreya, Sushil (3) Wert ausschließen Aubrey, Andrew (3) Wert ausschließen Baker, Burt (3) Wert ausschließen Baker, Michael (3) Wert ausschließen Balic-Zunic, Tonci (3) Wert ausschließen Barak, Boaz (3) Wert ausschließen Baratoux, David (3) Wert ausschließen Baroukh, Julien (3) Wert ausschließen Barraclough, Bruce (3) Wert ausschließen Bean, Keri (3) Wert ausschließen Becker, Ruben (3) Wert ausschließen Behar, Alberto (3) Wert ausschließen Bender, Steve (3) Wert ausschließen Benna, Mehdi (3) Wert ausschließen Show more show less
> Collection Skip to next facet Elsevier BV (CrossRef) (23) Wert ausschließen Verbunddaten SWB (18) Wert ausschließen Lizenzfreie Online-Ressourcen (17) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (17) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (15) Wert ausschließen Springer International Publishing (CrossRef) (12) Wert ausschließen BASE - Bielefeld Academic Search Engine (8) Wert ausschließen Diss online (8) Wert ausschließen University of Freiburg: FreiDok (6) Wert ausschließen MDPI AG (CrossRef) (5) Wert ausschließen Wiley (CrossRef) (5) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (4) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (4) Wert ausschließen Proceedings of the National Academy of Sciences (CrossRef) (3) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (2) Wert ausschließen JSTOR Health & General Sciences (2) Wert ausschließen JSTOR Life Sciences Archive (2) Wert ausschließen MyJove Corporation (CrossRef) (2) Wert ausschließen Aging and Disease (CrossRef) (1) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen American Geophysical Union (AGU) (CrossRef) (1) Wert ausschließen American Physical Society (APS) (CrossRef) (1) Wert ausschließen American Physiological Society (CrossRef) (1) Wert ausschließen American Society for Clinical Investigation (CrossRef) (1) Wert ausschließen Annual Reviews (CrossRef) (1) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen Baishideng Publishing Group Inc. (CrossRef) (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (1) Wert ausschließen MIT Press - Journals (CrossRef) (1) Wert ausschließen Open Publishing Association (CrossRef) (1) Wert ausschließen OpenEdition (CrossRef) (1) Wert ausschließen S. Karger AG (CrossRef) (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Society for Neuroscience (CrossRef) (1) Wert ausschließen Zoological Research (CrossRef) (1) Wert ausschließen Show more show less