Combinatorial methods for testing Internet of Things smart home systems von Garn, Bernhard, Schreiber, Dominik‐Philip, Simos, Dimitris E., Kuhn, Rick, Voas, Jeff, Kacker, Raghu

Volltext

High incidence of disease recurrence after discontinuation of disease-modifying antirheumatic drug treatment in patients with psoriatic arthritis in remission von Araujo, Elizabeth G, Finzel, Stephanie, Englbrecht, Matthias, Schreiber, Dominik A, Faustini, Francesca, Hueber, Axel, Nas, Kemal, Rech, Juergen, Schett, Georg

Volltext

Lilotane: A Lifted SAT-based Approach to Hierarchical Planning von Schreiber, Dominik

Volltext

Combinatorial Sequences for Disaster Scenario Generation von Garn, Bernhard, Kieseberg, Klaus, Schreiber, Dominik, Simos, Dimitris E.

Volltext

Tu1443 Influences of STW 5, a Multi-Component Herbal Preparation, on Motility and Inflammation Challenges in Gut and Enteric Nervous System (ENS) von Grundmann, David, Klotz, Markus, Burkhard, Wiebke, Schreiber, Dominik H, Simon, Denise, Rabe, Holger, Abdel-Aziz, Heba, Kelber, Olaf, Schäfer, Karl-Herbert

Volltext

Evaluating Pedestrian and Cyclist Behaviour at a Level Crossing von Hartwig, Lukas, Kaufmann, Clemens, Risser, Ralf, Erbsmehl, Christian, Landgraf, Tom, Urban, Martin, Schreiber, Dominik

Volltext

Mo1801 A Model of In Vitro Perfused Mouse Intestine Suitable for Pharmacological Testing of Anti-Inflammatory Drugs von Schreiber, Dominik H, Erkel, Gerhard, Schäfer, Karl-Herbert

Volltext

Anti-inflammatory Effects of Fungal Metabolites in Mouse Intestine as Revealed by In vitro Models von Schreiber, Dominik, Marx, Lisa, Felix, Silke, Clasohm, Jasmin, Weyland, Maximilian, Schäfer, Maximilian, Klotz, Markus, Lilischkis, Rainer, Erkel, Gerhard, Schäfer, Karl-Herbert

Volltext

Motility patterns of ex vivo intestine segments depend on perfusion mode von Schreiber, Dominik

Volltext

Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling von Sanders, Peter, Schreiber, Dominik

Volltext

3′-Demethyldihydromaldoxin and dihydromaldoxin, two anti-inflammtory diaryl ethers from a Steganospora species von Schreiber, Dominik, Jung, Mathias, Sandjo, Louis P, Liermann, Johannes C, Opatz, Till, Erkel, Gerhard

Volltext

Applying Pairwise Combinatorial Testing to Large Language Model Testing von Garn, Bernhard, Kampel, Ludwig, Leithner, Manuel, Celic, Berina, Çulha, Ceren, Hiess, Irene, Kieseberg, Klaus, Koelbing, Marlene, Schreiber, Dominik-Philip, Wagner, Michael, Wech, Christoph, Zivanovic, Jovan, Simos, Dimitris E.

Volltext

The mesenterially perfused rat small intestine: A versatile approach for pharmacological testings von Schreiber, Dominik, Klotz, Markus, Laures, Kerstin, Clasohm, Jasmin, Bischof, Michael, Schäfer, Karl-Herbert

Volltext

Decentralized Online Scheduling of Malleable NP-hard Jobs von Sanders, Peter, Schreiber, Dominik

Volltext

Scalable SAT Solving in the Cloud von Schreiber, Dominik, Sanders, Peter

Volltext

Narrative der Globalisierung: Gerechtigkeit und Konkurrenz in faktualen und fiktionalen Erzahlungen von Schreiber, Dominik

Volltext

The 2023 International Planning Competition von Taitler, Ayal, Alford, Ron, Espasa, Joan, Behnke, Gregor, Fišer, Daniel, Gimelfarb, Michael, Pommerening, Florian, Sanner, Scott, Scala, Enrico, Schreiber, Dominik, Segovia-Aguas, Javier, Seipp, Jendrik

Volltext

The 2023 International Planning Competition von Taitler, Ayal, Alford, Ron, Espasa, Joan, Behnke, Gregor, Fišer, Daniel, Gimelfarb, Michael, Pommerening, Florian, Sanner, Scott, Scala, Enrico, Schreiber, Dominik, Segovia‐Aguas, Javier, Seipp, Jendrik

Volltext

Narrative der Globalisierung: Gerechtigkeit und Konkurrenz in Faktualen und Fiktionalen Erzählungen von Schreiber, Dominik

Volltext

Scalable SAT Solving and its Application | Experimental Data von Schreiber, Dominik

Volltext bestellen