Skip to content Skip to footer

Search for Research output

56121 - 56130 out of 80,229Page size: 10
80229 Research output
  1. 2013

  2. Complexity of existential positive first-order logic

    Bodirsky, M., Hermann, M. & Richoux, F., 2013, In: Journal of logic and computation. 23, 4, p. 753-760 8 p.

    Research output: Contribution to journal › Research article › Contributed › peer-review

  3. Published

    Compositional Synthesis and Most General Controllers

    Klein, J., 2013

    Research output: Types of Thesis › Doctoral thesis

  4. Computational analysis of xanthine dehydrogenase enzyme from different source organisms

    Dwivedi, V. D., Arora, S., Kumar, A. & Mishra, S. K., 2013, In: Network Modeling Analysis in Health Informatics and Bioinformatics. 2, 4, p. 185-189 5 p.

    Research output: Contribution to journal › Research article › Contributed › peer-review

  5. Published

    Computational Methods for Designing of End-winding Corona Protection

    Wei, M., Großmann, S. & Speck, J., 2013.

    Research output: Contribution to conferences › Paper › Contributed

  6. Published

    Computertomografische Auswertung von humanen Unterkiefern hinsichtlich der Schichtstärke und Knochendichte der Kortikalis

    Markwardt, J., Meißner, H., Weber, A., Laniado, M. & Reitemeier, B., 2013, In: RoFo Fortschritte auf dem Gebiet der Rontgenstrahlen und der Bildgebenden Verfahren. 185, 1, p. 40-47 8 p.

    Research output: Contribution to journal › Research article › Contributed › peer-review

  7. Published

    Computing Quantiles in Markov Reward Models

    Ummels, M. & Baier, C., 2013, Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings. Pfenning, F. (ed.). Springer, Berlin [u. a.], p. 353-368 16 p. (Lecture Notes in Computer Science, Volume 7794).

    Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

  8. Published

    ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability

    Salmen, A., Münch, T., Buzin, S., Hladik, J., Altmann, W., Weber, C., Karagiannis, D., & 9 othersBuchmann, R., Ziegler, J., Pfeffer, J., Graube, M., Carnerero, M., López, O., Uriarte, M., Órtiz, P. & Lázaro, O., 2013, p. 220-232. 13 p.

    Research output: Contribution to conferences › Paper › Contributed › peer-review

  9. Published

    Concentration dependent effects of dextran on the physical properties of acid milk gels.

    Mende, S., Peter, M., Bartels, K., Ding, T., Rohm, H. & Jaros, D., 2013, In: Carbohydrate Polymers. 98, p. 1389-1396

    Research output: Contribution to journal › Research article › Contributed › peer-review

  10. Published

    Concentration triggered Breakdown of Oil Paper Insulation at high DC Voltage and Evaluation by FEM

    Backhaus, K., Speck, J., Großmann, S. & Fritsche, R., 2013.

    Research output: Contribution to conferences › Paper › Contributed

  11. Published

    Conception, Evaluation and Optimization of a Thermoelectric Generator Systems

    Heghmanns, J. A. & Beitelschmidt, W. M., 2013, Conference Proceedings of the 16th ITI Symposium. ITI GmbH, Dresden, p. 114-122 9 p.

    Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed

Previous 1...5609 5610 5611 5612 5613 5614 5615 5616 ...8023 Next
Export list (max. 500):