Gesamtliste
2011
Beyersdorff, O., Datta, S., Mahajan, M., Scharfenberger-Fabian, G., Sreenivasaiah, K., Thomas, M., & Vollmer, H. (2011). Verifying Proofs in Constant Depth. in Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings (S. 84-95)
Hou, B., & Brüser, T. (2011). The Tat-dependent protein translocation pathway. Biomolecular Concepts, 2(6), 507-523.
2010
Creignou, N., Meier, A., Thomas, M., & Vollmer, H. (2010). The Complexity of Reasoning for Fragments of Autoepistemic Logic. (CoRR).
Datta, S., Mahajan, M., Rao, B. V. R., Thomas, M., & Vollmer, H. (2010). Counting classes and the fine structure between NC1 and L. in MFCS (S. 306-317)
Datta, S., Mahajan, M., Rao, B. V. R., Thomas, M., & Vollmer, H. (2010). Counting classes and the fine structure between NC1 and L. Electron. Colloquium Comput. Complex., TR10.
Lindenstrauß, U., Matos, C. F. R. O., Graubner, W., Robinson, C., & Brüser, T. (2010). Malfolded recombinant Tat substrates are Tat-independently degraded in Escherichia coli. FEBS letters, 584(16), 3644-3648.
McKenzie, P., Thomas, M., & Vollmer, H. (2010). Extensional Uniformity for Boolean Circuits. SIAM J. Comput., 39(7), 3186-3206. [7].
Thomas, M., & Vollmer, H. (2010). Complexity of Non-Monotonic Logics. Bull. EATCS, 102, 53-82.
Turgay, K. (2010). Regulatory Proteolysis and Signal Transduction in Bacteria. in Bacterial Signaling (S. 449-462). Wiley-VCH Verlag.
2009
Brüser, T. (2009). Künstliche Substrate zur Charakterisierung des Tat-Transports. BioSpektrum, 2009(11), 768-769.