Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits by Huhn, Sebastian, Frehse, Stefan, Wille, Robert, Drechsler, Rolf

Get full text

metaSMT: focus on your application and not on solver integration by Riener, Heinz, Haedicke, Finn, Frehse, Stefan, Soeken, Mathias, Große, Daniel, Drechsler, Rolf, Fey, Goerschwin

Get full text

Effective Robustness Analysis Using Bounded Model Checking Techniques by Fey, Görschwin, Sulflow, André, Frehse, Stefan, Drechsler, Rolf

Get full text

Improving fault tolerance utilizing hardware-software-co-synthesis by Riener, Heinz, Frehse, Stefan, Fey, Gorschwin

Request full text

Efficient Simulation-Based Debugging of Reversible Logic by Frehse, Stefan, Wille, Robert, Drechsler, Rolf

Request full text

Debugging reversible circuits by Wille, Robert, Große, Daniel, Frehse, Stefan, Dueck, Gerhard W., Drechsler, Rolf

Get full text

Debugging of Toffoli networks by Wille, R., Grosse, D., Frehse, S., Dueck, G.W., Drechsler, R.

Request full text

Enhancing robustness of sequential circuits using application-specific knowledge and formal methods by Huhn, Sebastian, Frehse, Stefan, Wille, Robert, Drechsler, Rolf

Request full text

Improving fault tolerance utilizing hardware-software-co-synthesis by Riener, Heinz, Frehse, Stefan, Fey, Görschwin

Get full text

Complete and effective robustness checking by means of interpolation by Frehse, S., Fey, G., Arbel, E., Yorav, K., Drechsler, R.

Request full text

A better-than-worst-case robustness measure by Frehse, Stefan, Fey, Görschwin, Drechsler, Rolf

Request full text

Determining minimal testsets for reversible circuits using Boolean satisfiability by Hongyan Zhang, Frehse, S., Wille, R., Drechsler, R.

Request full text

Robustness Check for Multiple Faults Using Formal Techniques by Frehse, S., Fey, G., Suflow, A., Drechsler, R.

Request full text

RobuCheck: A Robustness Checker for Digital Circuits by Frehse, S, Fey, G, Suelflow, A, Drechsler, R

Request full text

Analysis of tripartite motif (TRIM) family gene expression in prostate cancer bone metastases by Offermann, Anne, Kang, Duan, Watermann, Christian, Weingart, Anika, Hupe, Marie C, Saraji, Alireza, Stegmann-Frehse, Janine, Kruper, Rosemarie, Schüle, Roland, Pantel, Klaus, Taubert, Helge, Duensing, Stefan, Culig, Zoran, Aigner, Achim, Klapper, Wolfram, Jonigk, Danny, Philipp Kühnel, Mark, Merseburger, Axel S, Kirfel, Jutta, Sailer, Verena, Perner, Sven

Get full text

PRO-P: evaluating the effect of electronic patient-reported outcome measures monitoring compared with standard care in prostate cancer patients undergoing surgery-study protocol fo... by Al-Monajjed, Rouvier, Albers, Peter, Droop, Johanna, Fugmann, Dominik, Noldus, Joachim, Palisaar, Rein-Jüri, Ritter, Manuel, Ellinger, Jörg, Krausewitz, Philipp, Truß, Michael, Hadaschik, Boris, Grünwald, Viktor, Schrader, Andres-Jan, Papavassilis, Philipp, Ernstmann, Nicole, Schellenberger, Barbara, Moritz, Anna, Kowalski, Christoph, Hellmich, Martin, Heiden, Pierce, Hagemeier, Anna, Horenkamp-Sonntag, Dirk, Giessing, Markus, Pauler, Luis, Dieng, Sebastian, Peters, Maria, Feick, Günter, Karger, André

Get full text

In Vivo Expansion of Endogenous Regulatory T Cell Populations Induces Long-Term Suppression of Contact Hypersensitivity by El Beidaq, Asmaa, Link, Christopher W M, Hofmann, Katharina, Frehse, Britta, Hartmann, Karin, Bieber, Katja, Martin, Stefan F, Ludwig, Ralf J, Manz, Rudolf A

Get full text

Remarks on diagonal elliptic systems by Frehse, Jens

Get full text