Theoretische Informatik - Forschungsinformationssystem | Universität Kassel - CONVERIS Forschungsinformationsystem

Go to Header Go to Navigation Go to Content Go to Footer

Theoretische Informatik

Universität Kassel » Fachbereiche » FB 16 - Elektrotechnik / Informatik » Informatik

Adresse:

Heinrich-Plett-Str. 40
34130 Kassel

Ehem. Personen

------

Publikationen

Go to first page

Go to previous page

1 von 10

Go to next page

Go to last page

2015	Huber, M., Ebel, P., Krcmar, H., 2015. Technische Umsetzung der TANDEM-Community - Ein IT-Tool zur gemeinschaftlichen Erstellung von Geschäftsmodellen, in: Leimeister, J.M., Krcmar, H., Möslein, K., Ohly, S. (Hrsg.), Innovieren im demografischen Wandel - Methoden und Konzepte für ein modernes Innovationsmanagement. Springer Fachmedien, Wiesbaden, S. 127–141. https://doi.org/10.1007/978-981-287-080-3_306-1
2011	Messerschmidt, H., Otto, F., 2011. A hierarchy of monotone deterministic non-forgetting restarting automata. Theory of Computing Systems 343–373. https://doi.org/10.1007/s00224-009-9247-x
2011	Nagy, B., Otto, F., 2011. An automata-theoretical characterization of context-free trace languages, in: Cerna, I. (Hrsg.), SOFSEM 2011: Theory and Practice of Computer Science, Proc. Springer, Berlin, S. 406–417. https://doi.org/10.1007/978-3-642-18381-2_34
2011	Nagy, B., Otto, F., 2011. CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store.
2011	Nagy, B., Otto, F., 2011. Finite-state acceptors with translucent letters, in: Bel-Enguix, G. (Hrsg.), BILC 2011: AI Methods for Interdisciplinary Research in Language and Biology, Proc. SciTePress, Portugal.
2011	Blohm, I., Otto, F., Bretschneider, U., Huber, M., Rieger, M., Glatz, F., Koch, M., Leimeister, J.M., Krcmar, H., 2011. Gemeinschaftsgestützte Ideenbewertung, in: Leimeister, J.M., Krcmar, H., Möslein, K., Koch, Michael (Hrsg.), Gemeinschaftsgestützte Innovationsentwicklung für Softwareunternehmen (GENIE). Josef Eul Verlag, Siegburg, S. 415–430.
2011	Nagy, B., Otto, F., 2011. Globally deterministic CD-systems of stateless R(1)-automata, in: Dediu, A.H. (Hrsg.), Language and Automata Theory and Applications, LATA 2011, Proc. Springer, Berlin, S. 390–401. https://doi.org/10.1007/978-3-642-21254-3_31
2011	Nagy, B., Otto, F., 2011. On Globally Deterministic CD-Systems of Stateless R-Automata with Window Size One. Universität Kassel, Kassel.
2011	Pardubska, D., Platek, M., Otto, F., 2011. On the correspondence between parallel communicating grammar systems and restarting automata, in: Bel-Enguix, G. and J.-L. (Hrsg.), Bio-Inspired Models for Natural and Formal Languages. Cambridge Scholar Publishing, Newcastle upon Tyne, S. 153–188.
2011	Pardubska, D., Platek, M., Otto, F., 2011. Parallel communicating grammar systems with regular control and skeleton preserving FRR automata. Theoretical Computer Science 412, 458–477. https://doi.org/10.1016/j.tcs.2010.10.017

Weitere Forschungsaktivitäten

09/2021

Professionalisierung angehender Biologie-Lehrkräfte zum Diagnostizieren von Schülerhür-den beim Experimentieren über den Einsatz intelligenter Lehr-Lernsysteme
Posterbeitrag