[{"date_updated":"2022-01-06T06:52:56Z","year":"1994","title":"User Modeling for Adaptive Visualization Systems","status":"public","author":[{"last_name":"Domik","first_name":"Gitta","full_name":"Domik, Gitta","id":"90"},{"last_name":"Gutkauf","first_name":"Bernd","full_name":"Gutkauf, Bernd"}],"doi":"10.1109/VISUAL.1994.346316","user_id":"14955","editor":[{"last_name":"Daniel Bergeron","first_name":"R.","full_name":"Daniel Bergeron, R."},{"full_name":"E. Kaufman, Arie","first_name":"Arie","last_name":"E. Kaufman"}],"page":"217-223","_id":"16819","language":[{"iso":"eng"}],"publisher":"IEEE Computer Society","publication":"Proceedings IEEE Visualization '94, Washington, DC, USA, October 17-21, 1994","citation":{"mla":"Domik, Gitta, and Bernd Gutkauf. “User Modeling for Adaptive Visualization Systems.” <i>Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994</i>, edited by R. Daniel Bergeron and Arie E. Kaufman, IEEE Computer Society, 1994, pp. 217–23, doi:<a href=\"https://doi.org/10.1109/VISUAL.1994.346316\">10.1109/VISUAL.1994.346316</a>.","ama":"Domik G, Gutkauf B. User Modeling for Adaptive Visualization Systems. In: Daniel Bergeron R, E. Kaufman A, eds. <i>Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994</i>. IEEE Computer Society; 1994:217-223. doi:<a href=\"https://doi.org/10.1109/VISUAL.1994.346316\">10.1109/VISUAL.1994.346316</a>","bibtex":"@inproceedings{Domik_Gutkauf_1994, title={User Modeling for Adaptive Visualization Systems}, DOI={<a href=\"https://doi.org/10.1109/VISUAL.1994.346316\">10.1109/VISUAL.1994.346316</a>}, booktitle={Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994}, publisher={IEEE Computer Society}, author={Domik, Gitta and Gutkauf, Bernd}, editor={Daniel Bergeron, R. and E. Kaufman, ArieEditors}, year={1994}, pages={217–223} }","apa":"Domik, G., &#38; Gutkauf, B. (1994). User Modeling for Adaptive Visualization Systems. In R. Daniel Bergeron &#38; A. E. Kaufman (Eds.), <i>Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994</i> (pp. 217–223). IEEE Computer Society. <a href=\"https://doi.org/10.1109/VISUAL.1994.346316\">https://doi.org/10.1109/VISUAL.1994.346316</a>","ieee":"G. Domik and B. Gutkauf, “User Modeling for Adaptive Visualization Systems,” in <i>Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994</i>, 1994, pp. 217–223.","chicago":"Domik, Gitta, and Bernd Gutkauf. “User Modeling for Adaptive Visualization Systems.” In <i>Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994</i>, edited by R. Daniel Bergeron and Arie E. Kaufman, 217–23. IEEE Computer Society, 1994. <a href=\"https://doi.org/10.1109/VISUAL.1994.346316\">https://doi.org/10.1109/VISUAL.1994.346316</a>.","short":"G. Domik, B. Gutkauf, in: R. Daniel Bergeron, A. E. Kaufman (Eds.), Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, IEEE Computer Society, 1994, pp. 217–223."},"type":"conference","department":[{"_id":"65"}],"date_created":"2020-04-22T09:15:02Z"},{"date_updated":"2022-01-06T06:52:20Z","author":[{"id":"48129","last_name":"Hüllermeier","first_name":"Eyke","full_name":"Hüllermeier, Eyke"}],"status":"public","title":"Approximate solution of a linear programming problem using a modified perceptron-algorithm.","year":"1994","editor":[{"full_name":"Zimmermann, H.J.","first_name":"H.J.","last_name":"Zimmermann"}],"user_id":"49109","language":[{"iso":"eng"}],"_id":"15296","page":"195-199","citation":{"short":"E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.","chicago":"Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using a Modified Perceptron-Algorithm.” In <i>In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 195–99, 1994.","ieee":"E. Hüllermeier, “Approximate solution of a linear programming problem using a modified perceptron-algorithm.,” in <i>in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, 1994, pp. 195–199.","apa":"Hüllermeier, E. (1994). Approximate solution of a linear programming problem using a modified perceptron-algorithm. In H. J. Zimmermann (Ed.), <i>in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i> (pp. 195–199).","bibtex":"@inproceedings{Hüllermeier_1994, title={Approximate solution of a linear programming problem using a modified perceptron-algorithm.}, booktitle={in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1994}, pages={195–199} }","ama":"Hüllermeier E. Approximate solution of a linear programming problem using a modified perceptron-algorithm. In: Zimmermann HJ, ed. <i>In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>. ; 1994:195-199.","mla":"Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using a Modified Perceptron-Algorithm.” <i>In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 1994, pp. 195–99."},"publication":"in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"conference","date_created":"2019-12-11T15:23:29Z"},{"publisher":"IEEE Press","_id":"13468","language":[{"iso":"eng"}],"user_id":"398","author":[{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"},{"first_name":"Christian","last_name":"Steger","full_name":"Steger, Christian"},{"full_name":"Weiss, Reinhold","first_name":"Reinhold","last_name":"Weiss"}],"title":"Experimental Evaluation of Multi-DSP Architectures in High Performance Applications","year":"1994","status":"public","date_updated":"2022-01-06T06:51:36Z","date_created":"2019-09-30T10:53:38Z","department":[{"_id":"78"}],"type":"conference","citation":{"short":"M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.","chicago":"Platzner, Marco, Christian Steger, and Reinhold Weiss. “Experimental Evaluation of Multi-DSP Architectures in High Performance Applications.” In <i>Proceedings of the 7th Mediterranean Electrotechnical Conference</i>. IEEE Press, 1994.","ieee":"M. Platzner, C. Steger, and R. Weiss, “Experimental Evaluation of Multi-DSP Architectures in High Performance Applications,” in <i>Proceedings of the 7th Mediterranean Electrotechnical Conference</i>, 1994.","apa":"Platzner, M., Steger, C., &#38; Weiss, R. (1994). Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In <i>Proceedings of the 7th Mediterranean Electrotechnical Conference</i>. IEEE Press.","bibtex":"@inproceedings{Platzner_Steger_Weiss_1994, title={Experimental Evaluation of Multi-DSP Architectures in High Performance Applications}, booktitle={Proceedings of the 7th Mediterranean Electrotechnical Conference}, publisher={IEEE Press}, author={Platzner, Marco and Steger, Christian and Weiss, Reinhold}, year={1994} }","ama":"Platzner M, Steger C, Weiss R. Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In: <i>Proceedings of the 7th Mediterranean Electrotechnical Conference</i>. IEEE Press; 1994.","mla":"Platzner, Marco, et al. “Experimental Evaluation of Multi-DSP Architectures in High Performance Applications.” <i>Proceedings of the 7th Mediterranean Electrotechnical Conference</i>, IEEE Press, 1994."},"publication":"Proceedings of the 7th Mediterranean Electrotechnical Conference","extern":"1"},{"date_created":"2023-01-24T12:14:51Z","place":"Paderborn, Germany","department":[{"_id":"672"}],"type":"conference","citation":{"bibtex":"@article{Felser_Müller_1994, place={Paderborn, Germany}, series={CAD94}, title={EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung}, author={Felser, W. and Müller, Wolfgang}, year={1994}, collection={CAD94} }","ama":"Felser W, Müller W. EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung. Published online 1994.","mla":"Felser, W., and Wolfgang Müller. <i>EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung</i>. 1994.","short":"W. Felser, W. Müller, (1994).","chicago":"Felser, W., and Wolfgang Müller. “EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung.” CAD94. Paderborn, Germany, 1994.","ieee":"W. Felser and W. Müller, “EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.” Paderborn, Germany, 1994.","apa":"Felser, W., &#38; Müller, W. (1994). <i>EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung</i>."},"series_title":"CAD94","_id":"39557","language":[{"iso":"eng"}],"user_id":"5786","author":[{"full_name":"Felser, W.","first_name":"W.","last_name":"Felser"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"status":"public","year":"1994","title":"EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung","date_updated":"2023-01-24T12:14:56Z"},{"abstract":[{"text":"In this paper we present a novel approach to the layout problem of dimensional graph based dia grams We introduce a framework for e ciently solving constrained layout problems encompassing geometrical and graph based algorithms especially dedicated to the generation of diagrams These concepts as well as the aesthetics for the read ability of diagrams are presented by introducing FADE FADE is a user parametrizable frame work for the generation of EXPRESS G diagrams Our present implementation is discussed consider ing extensions to other classes of graphs and layout problems Additionally competitive approaches in this domain and their limitations are critically reviewed.","lang":"eng"}],"citation":{"ieee":"J. Eikerling and W. Müller, “FADE: A Layout Facility for Graph-Based Diagrams,” in <i>Proceedings of the 17th Annual Computer Science Conference</i>, 1994, pp. 331–342.","apa":"Eikerling, J., &#38; Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. <i>Proceedings of the 17th Annual Computer Science Conference</i>, 331–342.","chicago":"Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” In <i>Proceedings of the 17th Annual Computer Science Conference</i>, 331–42. Christchurch, New Zealand, 1994.","short":"J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.","mla":"Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” <i>Proceedings of the 17th Annual Computer Science Conference</i>, 1994, pp. 331–42.","bibtex":"@inproceedings{Eikerling_Müller_1994, place={Christchurch, New Zealand}, title={FADE: A Layout Facility for Graph-Based Diagrams}, booktitle={Proceedings of the 17th Annual Computer Science Conference}, author={Eikerling, Josef and Müller, Wolfgang}, year={1994}, pages={331–342} }","ama":"Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: <i>Proceedings of the 17th Annual Computer Science Conference</i>. ; 1994:331-342."},"publication":"Proceedings of the 17th Annual Computer Science Conference","department":[{"_id":"672"}],"type":"conference","place":"Christchurch, New Zealand","date_created":"2023-01-24T12:16:20Z","date_updated":"2023-01-24T12:17:02Z","author":[{"first_name":"Josef","last_name":"Eikerling","full_name":"Eikerling, Josef"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"status":"public","year":"1994","title":"FADE: A Layout Facility for Graph-Based Diagrams","user_id":"5786","_id":"39560","language":[{"iso":"eng"}],"page":"331-342"},{"date_created":"2023-01-24T12:18:00Z","place":"PoDTe, UK","type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)","citation":{"chicago":"Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” In <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. PoDTe, UK, 1994.","short":"D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94), PoDTe, UK, 1994.","ieee":"D. Hyhuis and W. Müller, “Implementing Simultaneous Design: A Case Study,” 1994.","apa":"Hyhuis, D., &#38; Müller, W. (1994). Implementing Simultaneous Design: A Case Study. <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>.","bibtex":"@inproceedings{Hyhuis_Müller_1994, place={PoDTe, UK}, title={Implementing Simultaneous Design: A Case Study}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)}, author={Hyhuis, D. and Müller, Wolfgang}, year={1994} }","ama":"Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. ; 1994.","mla":"Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>, 1994."},"_id":"39565","language":[{"iso":"eng"}],"user_id":"5786","title":"Implementing Simultaneous Design: A Case Study","year":"1994","status":"public","author":[{"last_name":"Hyhuis","first_name":"D.","full_name":"Hyhuis, D."},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_updated":"2023-01-24T12:18:05Z"},{"citation":{"mla":"Müller, Wolfgang, et al. <i>Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM</i>. 1994.","ama":"Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM. Published online 1994.","bibtex":"@article{Müller_Lehrenfeld_Wiechers_1994, place={Aachen}, series={TAT’94}, title={Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1994}, collection={TAT’94} }","apa":"Müller, W., Lehrenfeld, G., &#38; Wiechers, N. (1994). <i>Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM</i>.","ieee":"W. Müller, G. Lehrenfeld, and N. Wiechers, “Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.” Aachen, 1994.","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM.” TAT’94. Aachen, 1994.","short":"W. Müller, G. Lehrenfeld, N. Wiechers, (1994)."},"type":"conference","department":[{"_id":"672"}],"place":"Aachen","date_created":"2023-01-24T12:24:39Z","date_updated":"2023-01-24T12:24:43Z","title":"Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM","year":"1994","status":"public","author":[{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"full_name":"Wiechers, N.","first_name":"N.","last_name":"Wiechers"}],"user_id":"5786","_id":"39577","series_title":"TAT'94","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"_id":"39575","user_id":"5786","author":[{"first_name":"Egon","last_name":"Börger","full_name":"Börger, Egon"},{"first_name":"Uwe","last_name":"Glässer","full_name":"Glässer, Uwe"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"year":"1994","status":"public","title":"The Semantics of Behavioral VHDL'93 Descriptions","date_updated":"2023-01-24T12:23:19Z","place":"Grenoble, France","date_created":"2023-01-24T12:23:14Z","department":[{"_id":"672"}],"type":"conference","citation":{"bibtex":"@inproceedings{Börger_Glässer_Müller_1994, place={Grenoble, France}, title={The Semantics of Behavioral VHDL’93 Descriptions}, booktitle={Proceedings of EURO-DAC’94/EURO-VHDL’94}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, year={1994} }","ama":"Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions. In: <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>. ; 1994.","mla":"Börger, Egon, et al. “The Semantics of Behavioral VHDL’93 Descriptions.” <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>, 1994.","chicago":"Börger, Egon, Uwe Glässer, and Wolfgang Müller. “The Semantics of Behavioral VHDL’93 Descriptions.” In <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>. Grenoble, France, 1994.","short":"E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.","ieee":"E. Börger, U. Glässer, and W. Müller, “The Semantics of Behavioral VHDL’93 Descriptions,” 1994.","apa":"Börger, E., Glässer, U., &#38; Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. <i>Proceedings of EURO-DAC’94/EURO-VHDL’94</i>."},"publication":"Proceedings of EURO-DAC'94/EURO-VHDL'94"},{"_id":"39554","series_title":"Tagungsband: CAD94","language":[{"iso":"eng"}],"user_id":"5786","author":[{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"full_name":"Wiechers, N.","first_name":"N.","last_name":"Wiechers"}],"status":"public","year":"1994","title":"Ein paralleles Framework fuer die Validierung von STEP-Produktdaten","date_updated":"2023-01-24T12:13:43Z","date_created":"2023-01-24T12:13:38Z","department":[{"_id":"672"}],"type":"conference","citation":{"bibtex":"@article{Lehrenfeld_Müller_Wiechers_1994, series={Tagungsband: CAD94}, title={Ein paralleles Framework fuer die Validierung von STEP-Produktdaten}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994}, collection={Tagungsband: CAD94} }","ama":"Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung von STEP-Produktdaten. Published online 1994.","mla":"Lehrenfeld, Georg, et al. <i>Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten</i>. 1994.","short":"G. Lehrenfeld, W. Müller, N. Wiechers, (1994).","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten.” Tagungsband: CAD94, 1994.","ieee":"G. Lehrenfeld, W. Müller, and N. Wiechers, “Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.” 1994.","apa":"Lehrenfeld, G., Müller, W., &#38; Wiechers, N. (1994). <i>Ein paralleles Framework fuer die Validierung von STEP-Produktdaten</i>."}},{"date_updated":"2023-01-24T12:19:31Z","status":"public","title":"Parallel Validation of STEP Files","year":"1994","author":[{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"N.","last_name":"Wiechers","full_name":"Wiechers, N."}],"user_id":"5786","language":[{"iso":"eng"}],"_id":"39566","publication":"Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)","citation":{"mla":"Lehrenfeld, Georg, et al. “Parallel Validation of STEP Files.” <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>, 1994.","ama":"Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In: <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. ; 1994.","bibtex":"@inproceedings{Lehrenfeld_Müller_Wiechers_1994, place={Poole, UK}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994} }","apa":"Lehrenfeld, G., Müller, W., &#38; Wiechers, N. (1994). Parallel Validation of STEP Files. <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>.","ieee":"G. Lehrenfeld, W. Müller, and N. Wiechers, “Parallel Validation of STEP Files,” 1994.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Parallel Validation of STEP Files.” In <i>Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94)</i>. Poole, UK, 1994.","short":"G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering &#38; Electronic Design Automation (CEEDA94), Poole, UK, 1994."},"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T12:19:27Z","place":"Poole, UK"},{"date_created":"2023-01-24T12:20:28Z","place":"Paderborn, Germany","department":[{"_id":"672"}],"type":"conference","citation":{"bibtex":"@article{Lehrenfeld_Müller_1994, place={Paderborn, Germany}, series={Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6}, title={Computational Model of a Logical Visual Programming Language}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1994}, collection={Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6} }","ama":"Lehrenfeld G, Müller W. Computational Model of a Logical Visual Programming Language. Published online 1994.","mla":"Lehrenfeld, Georg, and Wolfgang Müller. <i>Computational Model of a Logical Visual Programming Language</i>. 1994.","chicago":"Lehrenfeld, Georg, and Wolfgang Müller. “Computational Model of a Logical Visual Programming Language.” Workshop Logik in Der Informatik, Jahrestreffen Der Fachgruppe 0.1.6. Paderborn, Germany, 1994.","short":"G. Lehrenfeld, W. Müller, (1994).","ieee":"G. Lehrenfeld and W. Müller, “Computational Model of a Logical Visual Programming Language.” Paderborn, Germany, 1994.","apa":"Lehrenfeld, G., &#38; Müller, W. (1994). <i>Computational Model of a Logical Visual Programming Language</i>."},"_id":"39569","series_title":"Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6","language":[{"iso":"eng"}],"user_id":"5786","author":[{"full_name":"Lehrenfeld, Georg","first_name":"Georg","last_name":"Lehrenfeld"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"year":"1994","title":"Computational Model of a Logical Visual Programming Language","status":"public","date_updated":"2023-01-24T12:20:33Z"},{"date_updated":"2023-01-24T12:21:52Z","author":[{"last_name":"Felser","first_name":"Winfried","full_name":"Felser, Winfried"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"status":"public","title":"EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring","year":"1994","user_id":"5786","_id":"39572","language":[{"iso":"eng"}],"page":"145-154","abstract":[{"text":"The upcoming ISO standard EXPRESS has been de- #ned as a data speci#cation language for the use within STEP. EXPRESS supports the modeling of static structural relationships and consistency constraints whereas the applicability of EXPRESS for the modeling of behavior is very limited. Thus, at present there is an ongoing discussion by which means EXPRESS should be extended with.","lang":"eng"}],"citation":{"bibtex":"@inproceedings{Felser_Müller_1994, place={Minneapolis, MI}, title={EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring}, booktitle={Proceedings of the 1994 ASME Computers in Engineering Conference}, author={Felser, Winfried and Müller, Wolfgang}, year={1994}, pages={145–154} }","ama":"Felser W, Müller W. EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. In: <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>. ; 1994:145-154.","mla":"Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>, 1994, pp. 145–54.","chicago":"Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” In <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>, 145–54. Minneapolis, MI, 1994.","short":"W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering Conference, Minneapolis, MI, 1994, pp. 145–154.","ieee":"W. Felser and W. Müller, “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring,” in <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>, 1994, pp. 145–154.","apa":"Felser, W., &#38; Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. <i>Proceedings of the 1994 ASME Computers in Engineering Conference</i>, 145–154."},"publication":"Proceedings of the 1994 ASME Computers in Engineering Conference","department":[{"_id":"672"}],"type":"conference","place":"Minneapolis, MI","date_created":"2023-01-24T12:21:48Z"},{"date_created":"2020-10-01T08:10:48Z","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"type":"journal_article","citation":{"mla":"Flögel, A., et al. “On the Restricted Equivalence for Subclasses of Propositional Logic.” <i>RAIRO - Theoretical Informatics and Applications</i>, 1993, pp. 327–40, doi:<a href=\"https://doi.org/10.1051/ita/1993270403271\">10.1051/ita/1993270403271</a>.","ama":"Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. <i>RAIRO - Theoretical Informatics and Applications</i>. 1993:327-340. doi:<a href=\"https://doi.org/10.1051/ita/1993270403271\">10.1051/ita/1993270403271</a>","bibtex":"@article{Flögel_Kleine Büning_Lettmann_1993, title={On the restricted equivalence for subclasses of propositional logic}, DOI={<a href=\"https://doi.org/10.1051/ita/1993270403271\">10.1051/ita/1993270403271</a>}, journal={RAIRO - Theoretical Informatics and Applications}, author={Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}, year={1993}, pages={327–340} }","apa":"Flögel, A., Kleine Büning, H., &#38; Lettmann, T. (1993). On the restricted equivalence for subclasses of propositional logic. <i>RAIRO - Theoretical Informatics and Applications</i>, 327–340. <a href=\"https://doi.org/10.1051/ita/1993270403271\">https://doi.org/10.1051/ita/1993270403271</a>","ieee":"A. Flögel, H. Kleine Büning, and T. Lettmann, “On the restricted equivalence for subclasses of propositional logic,” <i>RAIRO - Theoretical Informatics and Applications</i>, pp. 327–340, 1993.","short":"A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.","chicago":"Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted Equivalence for Subclasses of Propositional Logic.” <i>RAIRO - Theoretical Informatics and Applications</i>, 1993, 327–40. <a href=\"https://doi.org/10.1051/ita/1993270403271\">https://doi.org/10.1051/ita/1993270403271</a>."},"publication":"RAIRO - Theoretical Informatics and Applications","_id":"19814","language":[{"iso":"eng"}],"page":"327-340","doi":"10.1051/ita/1993270403271","user_id":"315","publication_identifier":{"issn":["0988-3754","1290-385X"]},"author":[{"full_name":"Flögel, A.","last_name":"Flögel","first_name":"A."},{"last_name":"Kleine Büning","first_name":"H.","full_name":"Kleine Büning, H."},{"id":"315","full_name":"Lettmann, Theodor","last_name":"Lettmann","first_name":"Theodor","orcid":"0000-0001-5859-2457"}],"status":"public","year":"1993","title":"On the restricted equivalence for subclasses of propositional logic","date_updated":"2022-01-06T06:54:13Z","publication_status":"published"},{"citation":{"bibtex":"@book{Blömer_1993, title={On Kummer theory and the number of roots of unity in radical extensions of Q}, publisher={Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik}, author={Blömer, Johannes}, year={1993} }","ama":"Blömer J. <i>On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q</i>. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik; 1993.","mla":"Blömer, Johannes. <i>On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q</i>. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1993.","chicago":"Blömer, Johannes. <i>On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q</i>. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1993.","short":"J. Blömer, On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q, Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1993.","ieee":"J. Blömer, <i>On Kummer theory and the number of roots of unity in radical extensions of Q</i>. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1993.","apa":"Blömer, J. (1993). <i>On Kummer theory and the number of roots of unity in radical extensions of Q</i>. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik."},"extern":"1","date_created":"2018-06-05T08:48:42Z","type":"report","department":[{"_id":"64"}],"year":"1993","title":"On Kummer theory and the number of roots of unity in radical extensions of Q","status":"public","author":[{"full_name":"Blömer, Johannes","first_name":"Johannes","last_name":"Blömer"}],"date_updated":"2022-01-06T06:58:54Z","_id":"3045","publisher":"Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik","user_id":"25078"},{"citation":{"short":"F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.","chicago":"Meyer auf der Heide, Friedhelm, B. Monien, and A. L. Rosenberg, eds. <i>Parallel Architectures and Their Efficient Use</i>. Berlin, Heidelberg: Springer, 1993. <a href=\"https://doi.org/10.1007/3-540-56731-3\">https://doi.org/10.1007/3-540-56731-3</a>.","ieee":"F. Meyer auf der Heide, B. Monien, and A. L. Rosenberg, Eds., <i>Parallel Architectures and Their Efficient Use</i>. Berlin, Heidelberg: Springer, 1993.","apa":"Meyer auf der Heide, F., Monien, B., &#38; Rosenberg, A. L. (Eds.). (1993). <i>Parallel Architectures and Their Efficient Use</i>. Berlin, Heidelberg: Springer. <a href=\"https://doi.org/10.1007/3-540-56731-3\">https://doi.org/10.1007/3-540-56731-3</a>","bibtex":"@book{Meyer auf der Heide_Monien_Rosenberg_1993, place={Berlin, Heidelberg}, title={Parallel Architectures and Their Efficient Use}, DOI={<a href=\"https://doi.org/10.1007/3-540-56731-3\">10.1007/3-540-56731-3</a>}, publisher={Springer}, year={1993} }","ama":"Meyer auf der Heide F, Monien B, Rosenberg AL, eds. <i>Parallel Architectures and Their Efficient Use</i>. Berlin, Heidelberg: Springer; 1993. doi:<a href=\"https://doi.org/10.1007/3-540-56731-3\">10.1007/3-540-56731-3</a>","mla":"Meyer auf der Heide, Friedhelm, et al., editors. <i>Parallel Architectures and Their Efficient Use</i>. Springer, 1993, doi:<a href=\"https://doi.org/10.1007/3-540-56731-3\">10.1007/3-540-56731-3</a>."},"department":[{"_id":"63"}],"type":"book_editor","date_created":"2020-07-30T09:49:20Z","place":"Berlin, Heidelberg","publication_status":"published","date_updated":"2022-01-06T06:53:12Z","publication_identifier":{"isbn":["9783540567318","9783540476375"],"issn":["0302-9743","1611-3349"]},"year":"1993","title":"Parallel Architectures and Their Efficient Use","status":"public","editor":[{"full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm","id":"15523"},{"full_name":"Monien, B.","first_name":"B.","last_name":"Monien"},{"full_name":"Rosenberg, A. L.","first_name":"A. L.","last_name":"Rosenberg"}],"user_id":"15415","doi":"10.1007/3-540-56731-3","publisher":"Springer","_id":"17477","language":[{"iso":"eng"}]},{"date_updated":"2022-01-06T06:53:12Z","year":"1993","status":"public","title":"OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report)","author":[{"full_name":"Kastens, Uwe","first_name":"Uwe","last_name":"Kastens"},{"last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"},{"first_name":"Alf","last_name":"Wachsmann","full_name":"Wachsmann, Alf"},{"full_name":"Wichmann, Friedrich","last_name":"Wichmann","first_name":"Friedrich"}],"user_id":"15415","page":"50-55","language":[{"iso":"eng"}],"_id":"17479","publication":"Proc. 3rd PASA Workshop, PARS Mitteilungen","citation":{"ama":"Kastens U, Meyer auf der Heide F, Wachsmann A, Wichmann F. OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report). In: <i>Proc. 3rd PASA Workshop, PARS Mitteilungen</i>. ; 1993:50-55.","bibtex":"@inproceedings{Kastens_Meyer auf der Heide_Wachsmann_Wichmann_1993, title={OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report)}, booktitle={Proc. 3rd PASA Workshop, PARS Mitteilungen}, author={Kastens, Uwe and Meyer auf der Heide, Friedhelm and Wachsmann, Alf and Wichmann, Friedrich}, year={1993}, pages={50–55} }","mla":"Kastens, Uwe, et al. “OCCAM-Light: A Language Combining Shared Memory and Message Passing (A First Report).” <i>Proc. 3rd PASA Workshop, PARS Mitteilungen</i>, 1993, pp. 50–55.","chicago":"Kastens, Uwe, Friedhelm Meyer auf der Heide, Alf Wachsmann, and Friedrich Wichmann. “OCCAM-Light: A Language Combining Shared Memory and Message Passing (A First Report).” In <i>Proc. 3rd PASA Workshop, PARS Mitteilungen</i>, 50–55, 1993.","short":"U. Kastens, F. Meyer auf der Heide, A. Wachsmann, F. Wichmann, in: Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.","apa":"Kastens, U., Meyer auf der Heide, F., Wachsmann, A., &#38; Wichmann, F. (1993). OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report). In <i>Proc. 3rd PASA Workshop, PARS Mitteilungen</i> (pp. 50–55).","ieee":"U. Kastens, F. Meyer auf der Heide, A. Wachsmann, and F. Wichmann, “OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report),” in <i>Proc. 3rd PASA Workshop, PARS Mitteilungen</i>, 1993, pp. 50–55."},"type":"conference","department":[{"_id":"63"}],"date_created":"2020-07-30T10:54:52Z"},{"user_id":"52534","page":"45-53","_id":"7826","language":[{"iso":"eng"}],"publisher":"VDI Verlag","series_title":"Reihe 10: Informatik/Kommunikationstechnik","date_updated":"2022-01-06T07:03:46Z","status":"public","title":"Integrationsaspekte bei verteilter Software-Entwicklung","year":"1993","author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"full_name":"Verrijn-Stuart, A.A.","first_name":"A.A.","last_name":"Verrijn-Stuart"}],"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-20T13:51:38Z","publication":"Fortschritt-Berichte VDI","issue":"251","citation":{"mla":"Engels, Gregor, and A. A. Verrijn-Stuart. “Integrationsaspekte Bei Verteilter Software-Entwicklung.” <i>Fortschritt-Berichte VDI</i>, no. 251, VDI Verlag, 1993, pp. 45–53.","bibtex":"@inproceedings{Engels_Verrijn-Stuart_1993, series={Reihe 10: Informatik/Kommunikationstechnik}, title={Integrationsaspekte bei verteilter Software-Entwicklung}, number={251}, booktitle={Fortschritt-Berichte VDI}, publisher={VDI Verlag}, author={Engels, Gregor and Verrijn-Stuart, A.A.}, year={1993}, pages={45–53}, collection={Reihe 10: Informatik/Kommunikationstechnik} }","ama":"Engels G, Verrijn-Stuart AA. Integrationsaspekte bei verteilter Software-Entwicklung. In: <i>Fortschritt-Berichte VDI</i>. Reihe 10: Informatik/Kommunikationstechnik. VDI Verlag; 1993:45-53.","ieee":"G. Engels and A. A. Verrijn-Stuart, “Integrationsaspekte bei verteilter Software-Entwicklung,” in <i>Fortschritt-Berichte VDI</i>, 1993, no. 251, pp. 45–53.","apa":"Engels, G., &#38; Verrijn-Stuart, A. A. (1993). Integrationsaspekte bei verteilter Software-Entwicklung. In <i>Fortschritt-Berichte VDI</i> (pp. 45–53). VDI Verlag.","chicago":"Engels, Gregor, and A.A. Verrijn-Stuart. “Integrationsaspekte Bei Verteilter Software-Entwicklung.” In <i>Fortschritt-Berichte VDI</i>, 45–53. Reihe 10: Informatik/Kommunikationstechnik. VDI Verlag, 1993.","short":"G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53."}},{"report_number":"93-15","citation":{"ieee":"M. Andries and G. Engels, <i>A Hybrid Query Language for the Extended Entity Relationship Model</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.","apa":"Andries, M., &#38; Engels, G. (1993). <i>A Hybrid Query Language for the Extended Entity Relationship Model</i>. Vakgroep Informatica, Rijksuniversiteit Leiden.","short":"M. Andries, G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.","chicago":"Andries, Marc, and Gregor Engels. <i>A Hybrid Query Language for the Extended Entity Relationship Model</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.","mla":"Andries, Marc, and Gregor Engels. <i>A Hybrid Query Language for the Extended Entity Relationship Model</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.","bibtex":"@book{Andries_Engels_1993, title={A Hybrid Query Language for the Extended Entity Relationship Model}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Andries, Marc and Engels, Gregor}, year={1993} }","ama":"Andries M, Engels G. <i>A Hybrid Query Language for the Extended Entity Relationship Model</i>. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993."},"department":[{"_id":"66"}],"type":"report","date_created":"2019-03-03T16:12:44Z","date_updated":"2022-01-06T07:03:52Z","author":[{"first_name":"Marc","last_name":"Andries","full_name":"Andries, Marc"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"title":"A Hybrid Query Language for the Extended Entity Relationship Model","year":"1993","status":"public","user_id":"52534","_id":"8190","language":[{"iso":"eng"}],"publisher":"Vakgroep Informatica, Rijksuniversiteit Leiden"},{"date_updated":"2022-01-06T07:03:52Z","author":[{"last_name":"Ehrig","first_name":"Hartmut","full_name":"Ehrig, Hartmut"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"year":"1993","title":"Towards a Module Concept for Graph Transformation Systems","status":"public","user_id":"52534","_id":"8191","language":[{"iso":"eng"}],"publisher":"Vakgroep Informatica, Rijksuniversiteit Leiden","report_number":"93-34","citation":{"chicago":"Ehrig, Hartmut, and Gregor Engels. <i>Towards a Module Concept for Graph Transformation Systems</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.","short":"H. Ehrig, G. Engels, Towards a Module Concept for Graph Transformation Systems, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.","ieee":"H. Ehrig and G. Engels, <i>Towards a Module Concept for Graph Transformation Systems</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.","apa":"Ehrig, H., &#38; Engels, G. (1993). <i>Towards a Module Concept for Graph Transformation Systems</i>. Vakgroep Informatica, Rijksuniversiteit Leiden.","bibtex":"@book{Ehrig_Engels_1993, title={Towards a Module Concept for Graph Transformation Systems}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Ehrig, Hartmut and Engels, Gregor}, year={1993} }","ama":"Ehrig H, Engels G. <i>Towards a Module Concept for Graph Transformation Systems</i>. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.","mla":"Ehrig, Hartmut, and Gregor Engels. <i>Towards a Module Concept for Graph Transformation Systems</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993."},"department":[{"_id":"66"}],"type":"report","date_created":"2019-03-03T16:12:46Z"},{"language":[{"iso":"eng"}],"_id":"8192","publisher":"Vakgroep Informatica, Rijksuniversiteit Leiden","user_id":"52534","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"first_name":"Grzegorz","last_name":"Rozenberg","full_name":"Rozenberg, Grzegorz"}],"year":"1993","status":"public","title":"Abstracts COMPUGRAPH II Workshop","date_updated":"2022-01-06T07:03:52Z","date_created":"2019-03-03T16:12:47Z","department":[{"_id":"66"}],"type":"report","citation":{"chicago":"Engels, Gregor, and Grzegorz Rozenberg. <i>Abstracts COMPUGRAPH II Workshop</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.","short":"G. Engels, G. Rozenberg, Abstracts COMPUGRAPH II Workshop, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.","ama":"Engels G, Rozenberg G. <i>Abstracts COMPUGRAPH II Workshop</i>. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.","bibtex":"@book{Engels_Rozenberg_1993, title={Abstracts COMPUGRAPH II Workshop}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Engels, Gregor and Rozenberg, Grzegorz}, year={1993} }","mla":"Engels, Gregor, and Grzegorz Rozenberg. <i>Abstracts COMPUGRAPH II Workshop</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.","apa":"Engels, G., &#38; Rozenberg, G. (1993). <i>Abstracts COMPUGRAPH II Workshop</i>. Vakgroep Informatica, Rijksuniversiteit Leiden.","ieee":"G. Engels and G. Rozenberg, <i>Abstracts COMPUGRAPH II Workshop</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993."},"report_number":"93-26"}]