Readspeaker Menü

Sonstige wissenschaftliche Publikationen


  1. Görz, G., Beckstein, C., GLP: A General Linguistic Processor, Technical Report of the University Computing Center Erlangen (RRZE), IAB 125, Dezember 1980. A condensed version of this paper was published in the Proceedings of the International Joint Conference on Artificial Intelligence, Vancouver, 1981 (without mentioning me as a coauthor).

  2. Görz, G., Beckstein, C., How to Parse Gaps in Spoken Utterances, Proceedings of the European ACL Conference, Pisa, 1983, pp. 111-113.

  3. Beckstein, C., HBASE: ein schnelles, sauberes und effizientes Datenbanksystem speziell für INTERLISP-Anwender, Technical Report of the University Computing Center Erlangen (RRZE), IAB 207, 1984.

  4. Barrow, H.G., Christaller, Th., Beckstein, C., HBASE -- Datenbanksystem für INTERLISP-Anwender, Apollo Computer Inc., U.S.A., revised Technical Report of the University Computing Center Erlangen (RRZE), March 1984.

  5. Beckstein, C., Görz, G., Tielemann, M., Objekt- und Regel-orientiertes Programmieren in FORK, Proceedings GWAI-86, Ottenstein, 1986, S. 312-317.

  6. Beckstein, C., Görz, G., Tielemann, M., FORK: A System for Object- and Rule-Oriented Programming.. In: Balzert, H. et al. (Hrsg.), Expertensysteme'87 -- Konzepte und Werkzeuge. Teubner, Stuttgart, 1987, S. 52-63; also in: Proceedings of the European Conference on Object-Oriented Programming, Paris, June 15th-17th, 1987, pp. 303-314.

  7. Beckstein, C., Görz, G., Tielemann, M., FORK: A System for Object- and Rule-Oriented Programming, Proceedings of the European Conference on Object-Oriented Programming, AFCET, Paris, 1987, pp. 303-314.

  8. Beckstein, C., Zur Logik der Logik-Programmierung -- Ein konstruktiver Ansatz, Dissertationsschrift, Universität Erlangen-Nürnberg, 1988.

  9. Beckstein, C., Kim, M., A Mixed Top-Down Bottom-Up Deduction Method and its Correctness, IBM Research Report, RC 14965, Yorktown Heights, New York, September 1989.

  10. Kim, M., Beckstein, C., Logical Explanations of Deductions, IBM Research Report, RC 15348, Yorktown Heights, New York, January 1990.

  11. Beckstein, C., Kim, M., Generalized Earley Deduction and its Correctness. In: Christaller, Th. (Hrsg.), GWAI-91, Informatik Fachbericht 285, Springer-Verlag, Bonn, 1991, pp. 1-10.

  12. Beckstein, C., Tobermann, G., Evolutionary Logic-Programming with RISC, Proceedings of the Forth International Workshop on Logic Programming Environments in Conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, November 1992, pp. 16-21, Technical Report TR 92-143, Center for Automation and Intelligent Systems Research at Case Western Reserve University.

  13. Beckstein, C., Fuhge, R., Kraetzschmar, G., Supporting Assumption-Based Reasoning in a Distributed Environment, Proceedings of the Twelfth International Workshop on Distributed Artificial Intelligence, Hidden Valley, Pennsylvania, May 1993, pp. 3-17.

  14. Tobermann, G., Beckstein, C., What's in a Trace: The Box Model Revisited. In: Fritzson, Peter A. (Ed.), Automated and Algorithmic Debugging, First International Workshop (AADEBUG'93), Linköping, Sweden, May 1993, Proceedings, Lecture Notes in Computer Science, LNCS 749, Springer-Verlag, 1993, pp. 171-187.

  15. Beckstein, C., Geisler, T., Ein anwendungsunabhängiges Unterstützungssystem zum integrierten annahmenbasierten und temporalen Schließen, Workshop Planen und Planausführung in verteilten Anwendungsszenarien im Rahmen der KI-93, Berlin. In: Herzog, O., Christaller, Th., Schütt, D. (Hrsg.), Grundlagen und Anwendungen der Künstlichen Intelligenz, Springer-Verlag, September, 1993, S. 208-209 (im Tagungsband wurde lediglich das Abstract veröffentlicht).

  16. Beckstein, C., Kraetzschmar, G., Schneeberger, J., Distributed Plan Maintenance for Scheduling and Execution. In: Bäckström, C., Sandewall, E. (Eds.), Current Trends in AI Planning, EWSP'93 -- Second European Workshop on Planning, Frontiers in Artificial Intelligence and Applications Series, IOS Press, ISBN 90-5199-153-3, Amsterdam, Oxford, Washington D.C., Tokyo 1994, pp. 74-86.

  17. Beckstein, C., Kraetzschmar, G., Schneeberger, J., Distributed Plan Maintenance for Scheduling and Execution. In: Bergmann, R., Paulokat, J., Schoeller, A.-M., Wache, H. (Eds.), Beiträge zum 8. Workshop ,,Planen und Konfigurieren`` (PuK-94), SEKI Working Paper, SWP-94-01, Universität und DFKI, 1994.

  18. Beckstein, C., Geisler, T., An Application-Independent Support System for Integrated Assumption-Based Temporal Reasoning, Proceedings of the TIME-94 International Workshop on Temporal Representation and Reasoning (together with Florida AI Workshops and Symposiums FLAIRS-94), ISBN 0-7731-0278-7, Pensacola Beach, Florida, May 1994, pp. 35-41.

  19. Beckstein, C., Architektur und logische Grundlagen monotoner Systeme zur Begründungsverwaltung, Habilitationsschrift, Universität Erlangen-Nürnberg, 1994.

  20. Tobermann, G., Beckstein, C., Algorithmic Debugging with RISC, Proceedings of the Second International Workshop on Automated and Algorithmic Debugging (AADEBUG'95), St. Malo, France, May 22nd-24th, 1995.

  21. Beckstein, C., Stolle, R., Tobermann, G., Declarative Meta Level Control for Logic Programs, Proceedings des Ersten Russisch-Deutschen Symposiums zu Intelligenten Informationstechnologien und Expertensystemen (anläßlich des Internationalen Forums für Informatisierung (IFI-95)), Moskau, November 23rd-29th, 1995, pp. 11-26.

  22. Beckstein, C., Klausner, J., An Abstract Machine for the Compilation of Logic Programs that Can Guess, Proceedings of the Workshop on Sequential Implementation Technologies for Logic Programming Languages (held in association with the 1995 International Logic Programming Symposium (ILPS-95)), Portland, Oregon, December 8th, 1995.

  23. Beckstein, C., Stolle, R., Tobermann, G., Meta-Programming for Generalized Horn Clause Logic, Proceedings of the Workshop on Metaprogramming and Metareasoning in Logic (META-96), held in association with the 1996 Joint International Conference and Symposium on Logic Programming (JICSLP-96), Bonn, September 2nd-6th, 1996, pp. 27-42.

  24. Klausner, J., Beckstein, C., Fehlerbehandlung in Workflow-Management-Systemen, Forschungsergebnisse der Fakultät für Mathematik und Informatik Nr. Math/Inf/97/11, Friedrich-Schiller-Universität Jena, 14. April 1997.

  25. Klausner, J., Beckstein, C., Meta-Aspekte des Workflow-Managements, Proceedings Informatik und Automatisierung im Zeitalter der Informationsgesellschaft -- 42. Internationales Wissenschaftliches Kolloquium an der TU Ilmenau, 22.-25. September, 1997, S. 15-20.

  26. Maier, K. D., Glauche, V., Beckstein, C., Blickhan, R., Control of a One-Legged Movement System: An Artificial Neural Network Approach with Radial Basis Functions and Self-Organising Motoric Maps, Proceedings of the Euromech-Colloquium 375 (EuroMech-98), Munich, March 23rd-25th, 1998, pp. 82-89.

  27. Beckstein, C., Klausner, J., A Meta Level Architecture for Workflow Management, Proceedings of the Third Biennial World Conference on Integrated Design & Process Technology (IDPT-98), Berlin, July 6th-9th, 1998, Vol. 4 (Design, Software, Process Development and Management), pp. 29-37.

  28. Maier, K. D., Glauche, V., Beckstein, C., Blickhan, R., Controlling One-Legged Dynamic Movement with MLPs, International ICSC/IFAC Symposium on Neural Computation (NC-98), Vienna, September 23rd-25th, 1998, pp. 784-790.
    Die zugehörige Präsentation erhielt den SIEMENS Best Presentation Award der betreffenden Themengruppe.

  29. Beckstein, C., Klausner, J., A Planning Framework for Workflow Management, Proceedings of the International Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business, held as part of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Sweden, August 1st-2nd, 1999.

  30. Maier, K. D., Beckstein, C., Blickhan, R., Controlling Fast Legged Movement with Neural Networks -- Concepts and Systems Implementation, 44th International Scientific Colloquium, TU Ilmenau, September 20th-23rd, 1999, pp. 234-239.

  31. Maier, K. D., Beckstein, C., Blickhan, R., Erhard, W., Fey, D., A Multi-Layer-Perceptron Neural Network Hardware Based on 3D Massively Parallel Optoelectronic Circuits, Proceedings of the Sixth International Conference on Parallel Interconnects (PI-99, formerly known as MPPOI), Anchorage, Alaska, October 17th-19th, 1999. Computer Society Press, pp. 73-80.

  32. Beckstein, C., Rahneberg, M., On the Complexity of Generalized Horn Clause Intuitionistic Logic, Proc. des 14. Workshops Logische Programmierung (WLP-99), Würzburg, January 26th-28th, 2000, GMD-Report 90, pp. 123-132.

  33. Maier, K. D., Glauche, V., Blickhan, R., Beckstein, C., Controlling one-legged three-dimensional Hopping Movement, Proceedings of International Symposium on Adaptive Motion of Animals and Machines (AMAM), Montreal, Canada, August 8th-12th, 2000, pp. 104-110.

  34. Fink, M., Kralisch, S., Flügel, W., Beckstein, C., Optimizing Land Use Management -- a New Approach for Hydrological Modelling. In: Leibundgut, C., Uhlenbrook, S., McDonnell, J. (Hrsg.), Runoff Generation and Implications for River Basin Modelling, Freiburger Schriften zur Hydrologie, Nr. 13, Institut für Hydrologie der Universität Freiburg i.Br., Freiburg, 2001, pp. 236-242.

  35. Kralisch, S., Fink, M., Flügel, W., Beckstein, C., Using Neural Network Techniques to Optimize Agricultural Land Management for the Minimization of Nitrogen Leaching. In: Ghassemi, F. and Post, D. and Sivapalan, M. and Vertessy, R. (Eds.), Proceedings of the International Congress on Modelling and Simulation (MODSIM 2001), Camberra, Australia, December 10th-13th, 2001.

  36. Knüpfer, Chr., Dittrich, P., Beckstein, C., Artificial Gene Regulation: A Data Source for Validation of Reverse Bioengineering, Proceedings of the 6th German Workshop on Artificial Life 2004 (GWAL-6), Schaub, H., Detje, F., Brüggemann, U. (Eds.), Akademische Verlagsgesellschaft Aka, Berlin, 2004, pp. 66-75.

  37. Kralisch, S., Fink, Beckstein, C., Neural Network Based Sensitivity Analysis of Natural Resource Models. In: Zerger, A. and Argent, R.M. (Eds.), Proceedings of the International Congress on Modelling and Simulation (MODSIM 2005), Modelling and Simulation Society of Australia and New Zealand, Australia, December 2005.

  38. Beckstein, C., Dittrich, P., Erfurth, Chr., Fey, D., König-Ries, B., Mundhenk, M., Sack, H., SOGOS -- A Distributed Meta Level Architecture for the Self-Organizing Grid of Services, Proc. Mobile Services and Ontologies Workshop (MoSO 2006), held as part of the 7th International Conference on Mobile Data Management (MDM'06),Nara, Japan, May 9th-13th, 2006.

  39. Peter, H., Sack, H., Beckstein, C., SMARTINDEXER -- Amalgamating Ontologies and Lexical Resources for Document Indexing, Proc. Ontologies and Lexical Resources: Interfacing Ontologies and Lexical Resources for Semantic Web Technologies (OntoLex 2006), held as part of the 5th International Conference on Language Resources and Evaluation (LREC2006), Genoa, Italy, May 24th-26th, 2006.

  40. Knüpfer, Chr., Beckstein, C., Dittrich, P., Towards a Semantic Description of Bio-Models: Meaning Facets -- A Case Study, 2nd International Symposium on Semantic Mining in Biomedicine (SMBM'06), Jena, Germany, April 9th-12th, 2006, CEUR-WS, Aachen, RWTH University (2006).

  41. Peter, H., Sack, H., Beckstein, C., Document Indexing - Providing a Basis for Semantic Document Annotation, Proc. Berliner XML-Tage (XMLT 2006), Berlin, September 25th-27th, 2006.

  42. Beckstein, C., Peter, H., Sack, H., Tags and Dependencies - an Integrated View of Document Annotation, Proc. 1st Semantic Authoring and Annotation Workshop (SAAW 2006), Athens, GA, USA, November 6th, 2006.

  43. Schäufler, Chr., Artmann, S., Beckstein, C., A Structuralistic Approach to Ontologies. In: KI 2009. Advances in Artificial Intelligence, LNCS Vol. 5803, Springer-Verlag, 2009.

  44. Gabdulkhakova, A., Krüger, U., Schau, V., Beckstein, C., Information and Management Support for Mass Casualty Incident Scenarios, Proc. Workshop zur IT-Unterstützung von Rettungskräften im Rahmen der Informatik 2010, Leipzig, September 28th, 2010.

  45. Krüger, U., Gabdulkhakova, A., Beckstein, C., König-Ries, B., Semantic Services for Information and Management Support in Mass Casualty Incident Scenarios, Proc. Int. Workshop on Emergency Management through Service Oriented Architectures (EMSOA 2010), Ghent, Belgium, December 13th, 2010.

  46. Krüger, U., Wucholt, F., Yildirim-Krannig, Y., Mähler, M., Beckstein, C., Cultural Analysis and Formal Standardised Language -- a Mass Casualty Incident Perspective, Proc. 8th Int. Conference on Information Systems for Crisis Response and Management (ISCRAM 2011), Lisbon, Portugal, May 8th-11th, 2011.

  47. Beckstein, C:, Knüpfer, Chr., König-Ries, B., Computer-Supported Research -- Konzeptpapier zum CoSRe-Projekt. Technical Report Dokument 21436, Digitale Bibliothek Thüringen, 2011.

  48. Kretzschmar, J., Beckstein, C., Contextsensitive Online Adaption of Workflows, Proc. 4th Central-European Workshop on Services and their Composition (ZEUS 2012), Bamberg, February 23rd-24th, 2012.

  49. Krüger, U., Wucholt, F., Beckstein, C., Electronic Checklist Support for Disaster Response, Proc. 9th Int. Conference on Information Systems for Crisis Response and Management (ISCRAM 2012), User Centred Design Process for Emergency Management Information Systems, Vancouver, Canada, April 21st-22nd, 2012.

  50. Beckstein, C., Knüpfer, Chr., Function of Bio-Models: Linking Structure to Behaviour, 4th Workshop on Ontologies in Biomedicine and Life Sciences (OBML 2012), Dresden, Germany. September 27th-28th, 2012.

  51. Beckstein, C., Böcker, S., Bogdan, M., Bruelheide, H., Bücker, M., Denzler, J., Dittrich, P., Große, I., Hinneburg, A., König-Ries, B., Löffler, F., Marz, M., Müller-Hannemann, M., Winter, M., Zimmermann, W., Explorative Analysis of Heterogeneous, Unstructured, and Uncertain Data: A Computer Science Perspective on Biodiversity Research, 3rd Int. Conference on Data Management, Technologies and Applications (DATA 2014), Wien, August 2014.

  52. Kretzschmar, J., Beckstein, C., A Framework for Interactive Exception Management of Long-term Human-Involved Business Processes, Proc. 7th Central European Workshop ZEUS 2015, Jena, Germany, February 19th-20th, pp. 38-43, 2015.

  53. Prinz, Th., Heinze, Th., Amme, W., Kretzschmar, J., Beckstein, C., Towards a Compiler for Business Processes -- A Research Agenda, In: de Barros, M., Rückemann, Claus-Peter (eds.): SERVICE COMPUTATION 2015, 7th Int. Conferences on Advanced Service Computing, Nice, France, March 22nd-27th, IARIA XPS Press, pp. 49-55, 2015.