[{"date_created":"2019-09-30T11:16:45Z","type":"conference","department":[{"_id":"78"}],"publication":"Proceedings of the EUROSIM Congress","citation":{"bibtex":"@inproceedings{Platzner_Rinner_Weiss_1995, title={Parallel Qualitative Simulation}, booktitle={Proceedings of the EUROSIM Congress}, publisher={Elsevier}, author={Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold }, year={1995}, pages={231–236} }","chicago":"Platzner, Marco, Bernhard Rinner, and Reinhold  Weiss. “Parallel Qualitative Simulation.” In <i>Proceedings of the EUROSIM Congress</i>, 231–36. Elsevier, 1995.","short":"M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the EUROSIM Congress, Elsevier, 1995, pp. 231–236.","ama":"Platzner M, Rinner B, Weiss R. Parallel Qualitative Simulation. In: <i>Proceedings of the EUROSIM Congress</i>. Elsevier; 1995:231-236.","ieee":"M. Platzner, B. Rinner, and R. Weiss, “Parallel Qualitative Simulation,” in <i>Proceedings of the EUROSIM Congress</i>, 1995, pp. 231–236.","mla":"Platzner, Marco, et al. “Parallel Qualitative Simulation.” <i>Proceedings of the EUROSIM Congress</i>, Elsevier, 1995, pp. 231–36.","apa":"Platzner, M., Rinner, B., &#38; Weiss, R. (1995). Parallel Qualitative Simulation. In <i>Proceedings of the EUROSIM Congress</i> (pp. 231–236). Elsevier."},"extern":"1","page":"231-236","publisher":"Elsevier","_id":"13472","language":[{"iso":"eng"}],"user_id":"398","title":"Parallel Qualitative Simulation","status":"public","year":"1995","author":[{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","id":"398"},{"full_name":"Rinner, Bernhard","first_name":"Bernhard","last_name":"Rinner"},{"full_name":"Weiss, Reinhold ","first_name":"Reinhold ","last_name":"Weiss"}],"date_updated":"2022-01-06T06:51:36Z"},{"_id":"13474","language":[{"iso":"eng"}],"user_id":"398","author":[{"id":"398","first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco"},{"full_name":"Rinner, Bernhard","last_name":"Rinner","first_name":"Bernhard"}],"status":"public","year":"1995","title":"High-Performance Qualitative Simulation on a Multi-DSP Architecture","date_updated":"2022-01-06T06:51:36Z","date_created":"2019-09-30T11:21:14Z","department":[{"_id":"78"}],"type":"conference","citation":{"mla":"Platzner, Marco, and Bernhard Rinner. “High-Performance Qualitative Simulation on a Multi-DSP Architecture.” <i>Proceedings of the 6th International Conference on Signal Processing Applications &#38; Technology (ICSPAT)</i>, 1995.","ama":"Platzner M, Rinner B. High-Performance Qualitative Simulation on a Multi-DSP Architecture. In: <i>Proceedings of the 6th International Conference on Signal Processing Applications &#38; Technology (ICSPAT)</i>. ; 1995.","bibtex":"@inproceedings{Platzner_Rinner_1995, title={High-Performance Qualitative Simulation on a Multi-DSP Architecture}, booktitle={Proceedings of the 6th International Conference on Signal Processing Applications &#38; Technology (ICSPAT)}, author={Platzner, Marco and Rinner, Bernhard}, year={1995} }","apa":"Platzner, M., &#38; Rinner, B. (1995). High-Performance Qualitative Simulation on a Multi-DSP Architecture. In <i>Proceedings of the 6th International Conference on Signal Processing Applications &#38; Technology (ICSPAT)</i>.","ieee":"M. Platzner and B. Rinner, “High-Performance Qualitative Simulation on a Multi-DSP Architecture,” in <i>Proceedings of the 6th International Conference on Signal Processing Applications &#38; Technology (ICSPAT)</i>, 1995.","chicago":"Platzner, Marco, and Bernhard Rinner. “High-Performance Qualitative Simulation on a Multi-DSP Architecture.” In <i>Proceedings of the 6th International Conference on Signal Processing Applications &#38; Technology (ICSPAT)</i>, 1995.","short":"M. Platzner, B. Rinner, in: Proceedings of the 6th International Conference on Signal Processing Applications &#38; Technology (ICSPAT), 1995."},"publication":"Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT)","extern":"1"},{"year":"1995","status":"public","title":"Simulation of power electronic circuits with principles used in wave digital filters","author":[{"last_name":"Fiedler","first_name":"A.","full_name":"Fiedler, A."},{"full_name":"Grotstollen, H.","first_name":"H.","last_name":"Grotstollen"}],"publication_status":"published","date_updated":"2022-02-24T10:34:29Z","_id":"30041","language":[{"iso":"eng"}],"publisher":"IEEE","user_id":"71353","doi":"10.1109/ias.1995.530613","publication":"IAS '95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting","citation":{"mla":"Fiedler, A., and H. Grotstollen. “Simulation of Power Electronic Circuits with Principles Used in Wave Digital Filters.” <i>IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting</i>, IEEE, 1995, doi:<a href=\"https://doi.org/10.1109/ias.1995.530613\">10.1109/ias.1995.530613</a>.","ama":"Fiedler A, Grotstollen H. Simulation of power electronic circuits with principles used in wave digital filters. In: <i>IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting</i>. IEEE; 1995. doi:<a href=\"https://doi.org/10.1109/ias.1995.530613\">10.1109/ias.1995.530613</a>","bibtex":"@inproceedings{Fiedler_Grotstollen_1995, title={Simulation of power electronic circuits with principles used in wave digital filters}, DOI={<a href=\"https://doi.org/10.1109/ias.1995.530613\">10.1109/ias.1995.530613</a>}, booktitle={IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting}, publisher={IEEE}, author={Fiedler, A. and Grotstollen, H.}, year={1995} }","apa":"Fiedler, A., &#38; Grotstollen, H. (1995). Simulation of power electronic circuits with principles used in wave digital filters. <i>IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting</i>. <a href=\"https://doi.org/10.1109/ias.1995.530613\">https://doi.org/10.1109/ias.1995.530613</a>","ieee":"A. Fiedler and H. Grotstollen, “Simulation of power electronic circuits with principles used in wave digital filters,” 1995, doi: <a href=\"https://doi.org/10.1109/ias.1995.530613\">10.1109/ias.1995.530613</a>.","chicago":"Fiedler, A., and H. Grotstollen. “Simulation of Power Electronic Circuits with Principles Used in Wave Digital Filters.” In <i>IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting</i>. IEEE, 1995. <a href=\"https://doi.org/10.1109/ias.1995.530613\">https://doi.org/10.1109/ias.1995.530613</a>.","short":"A. Fiedler, H. Grotstollen, in: IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting, IEEE, 1995."},"date_created":"2022-02-24T10:11:27Z","type":"conference","department":[{"_id":"52"}]},{"type":"conference","department":[{"_id":"52"}],"date_created":"2022-02-24T10:17:49Z","publication":"IAS '95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting","citation":{"mla":"Maas, Jürgen, et al. “Simulation Model for Ultrasonic Motors Powered by Resonant Converters.” <i>IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting</i>, IEEE, 1995, doi:<a href=\"https://doi.org/10.1109/ias.1995.530291\">10.1109/ias.1995.530291</a>.","bibtex":"@inproceedings{Maas_Ide_Fröhleke_Grotstollen_1995, title={Simulation model for ultrasonic motors powered by resonant converters}, DOI={<a href=\"https://doi.org/10.1109/ias.1995.530291\">10.1109/ias.1995.530291</a>}, booktitle={IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting}, publisher={IEEE}, author={Maas, Jürgen and Ide, Peter and Fröhleke, Norbert and Grotstollen, Horst}, year={1995} }","ama":"Maas J, Ide P, Fröhleke N, Grotstollen H. Simulation model for ultrasonic motors powered by resonant converters. In: <i>IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting</i>. IEEE; 1995. doi:<a href=\"https://doi.org/10.1109/ias.1995.530291\">10.1109/ias.1995.530291</a>","ieee":"J. Maas, P. Ide, N. Fröhleke, and H. Grotstollen, “Simulation model for ultrasonic motors powered by resonant converters,” 1995, doi: <a href=\"https://doi.org/10.1109/ias.1995.530291\">10.1109/ias.1995.530291</a>.","apa":"Maas, J., Ide, P., Fröhleke, N., &#38; Grotstollen, H. (1995). Simulation model for ultrasonic motors powered by resonant converters. <i>IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting</i>. <a href=\"https://doi.org/10.1109/ias.1995.530291\">https://doi.org/10.1109/ias.1995.530291</a>","short":"J. Maas, P. Ide, N. Fröhleke, H. Grotstollen, in: IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting, IEEE, 1995.","chicago":"Maas, Jürgen, Peter Ide, Norbert Fröhleke, and Horst Grotstollen. “Simulation Model for Ultrasonic Motors Powered by Resonant Converters.” In <i>IAS ’95. Conference Record of the 1995 IEEE Industry Applications Conference Thirtieth IAS Annual Meeting</i>. IEEE, 1995. <a href=\"https://doi.org/10.1109/ias.1995.530291\">https://doi.org/10.1109/ias.1995.530291</a>."},"doi":"10.1109/ias.1995.530291","user_id":"66","_id":"30049","language":[{"iso":"eng"}],"publisher":"IEEE","date_updated":"2022-02-24T16:49:51Z","publication_status":"published","year":"1995","title":"Simulation model for ultrasonic motors powered by resonant converters","status":"public","author":[{"last_name":"Maas","first_name":"Jürgen","full_name":"Maas, Jürgen"},{"full_name":"Ide, Peter","last_name":"Ide","first_name":"Peter"},{"first_name":"Norbert","last_name":"Fröhleke","full_name":"Fröhleke, Norbert"},{"last_name":"Grotstollen","first_name":"Horst","full_name":"Grotstollen, Horst"}]},{"doi":"10.1007/978-1-4615-2237-9_5","language":[{"iso":"eng"}],"date_updated":"2022-12-15T11:43:14Z","title":"A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines","year":"1995","publication_identifier":{"isbn":["978-1-4615-2237-9"]},"author":[{"full_name":"Börger, Egon","last_name":"Börger","first_name":"Egon"},{"full_name":"Glässer, Uwe","first_name":"Uwe","last_name":"Glässer"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"keyword":["Transition Rule     Formal Verification     Variable Assignment     Kernel Process     Simulation Cycle"],"type":"book_chapter","department":[{"_id":"672"}],"date_created":"2022-12-15T11:42:48Z","abstract":[{"text":"We present a rigorous but transparent semantic definition for VHDL corresponding to the IEEE VHDL’ 93 standard [68, 9, 84]. Our definition covers the full behavior of signal and variable assignments as well as the behavior of the various wait statements including delta, time, and postponed cycles. We consider explicitly declared signals, ports, local variables, and shared variables. Our specification defines an abstract VHDL ’ 93 interpreter in the form of transition rules for an evolving algebra machine (EA-Machine) [60]. It faithfully reflects and supports the view of simulation given in the IEEE VHDL ’ 93 standard language reference manual. The definition can be understood without any prior formal training. We illustrate our definition by running the example VHDL program set out in the Introduction to this volume.","lang":"eng"}],"publication":"Semantics of VHDL","user_id":"5786","editor":[{"last_name":"Delgado Kloos","first_name":"C.","full_name":"Delgado Kloos, C."},{"full_name":"Breuer, Peter T.","last_name":"Breuer","first_name":"Peter T."}],"page":"107 - 139","_id":"34448","publisher":"Kluwer Academic Publishers","status":"public","place":"Dordrecht","citation":{"mla":"Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” <i>Semantics of VHDL</i>, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>.","bibtex":"@inbook{Börger_Glässer_Müller_1995, place={Dordrecht}, title={A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines}, DOI={<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>}, booktitle={Semantics of VHDL}, publisher={Kluwer Academic Publishers}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, editor={Delgado Kloos, C. and Breuer, Peter T.}, year={1995}, pages={107–139} }","ama":"Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. <i>Semantics of VHDL</i>. Kluwer Academic Publishers; 1995:107-139. doi:<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>","ieee":"E. Börger, U. Glässer, and W. Müller, “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines,” in <i>Semantics of VHDL</i>, C. Delgado Kloos and P. T. Breuer, Eds. Dordrecht: Kluwer Academic Publishers, 1995, pp. 107–139.","apa":"Börger, E., Glässer, U., &#38; Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos &#38; P. T. Breuer (Eds.), <i>Semantics of VHDL</i> (pp. 107–139). Kluwer Academic Publishers. <a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">https://doi.org/10.1007/978-1-4615-2237-9_5</a>","chicago":"Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” In <i>Semantics of VHDL</i>, edited by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers, 1995. <a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">https://doi.org/10.1007/978-1-4615-2237-9_5</a>.","short":"E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139."}},{"user_id":"61597","volume":1,"page":"4-22","language":[{"iso":"ger"}],"_id":"27953","date_updated":"2023-01-18T12:05:58Z","publication_status":"published","intvolume":"         1","status":"public","title":"Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern.","year":"1995","author":[{"last_name":"Walther","first_name":"J.","full_name":"Walther, J."},{"id":"620","full_name":"Bigga, Regine","last_name":"Bigga","first_name":"Regine"},{"full_name":"Bischof, H.","first_name":"H.","last_name":"Bischof"}],"type":"journal_article","department":[{"_id":"35"},{"_id":"22"},{"_id":"396"},{"_id":"17"},{"_id":"394"}],"date_created":"2021-11-26T10:11:47Z","publication":"Sonderpädagogik ","citation":{"apa":"Walther, J., Bigga, R., &#38; Bischof, H. (1995). Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern. <i>Sonderpädagogik </i>, <i>1</i>, 4–22.","ieee":"J. Walther, R. Bigga, and H. Bischof, “Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern.,” <i>Sonderpädagogik </i>, vol. 1, pp. 4–22, 1995.","chicago":"Walther, J., Regine Bigga, and H. Bischof. “Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern.” <i>Sonderpädagogik </i> 1 (1995): 4–22.","short":"J. Walther, R. Bigga, H. Bischof, Sonderpädagogik  1 (1995) 4–22.","mla":"Walther, J., et al. “Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern.” <i>Sonderpädagogik </i>, vol. 1, 1995, pp. 4–22.","ama":"Walther J, Bigga R, Bischof H. Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern. <i>Sonderpädagogik </i>. 1995;1:4-22.","bibtex":"@article{Walther_Bigga_Bischof_1995, title={Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern.}, volume={1}, journal={Sonderpädagogik }, author={Walther, J. and Bigga, Regine and Bischof, H.}, year={1995}, pages={4–22} }"}},{"year":"1995","status":"public","title":"Complete Visual Specification and Animations of Protocols","publication_identifier":{"isbn":["4-930813-67-0"]},"author":[{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"first_name":"C.","last_name":"Tahedl","full_name":"Tahedl, C."}],"date_updated":"2023-01-24T12:05:59Z","_id":"39538","language":[{"iso":"eng"}],"user_id":"5786","doi":"10.1109/ASPDAC.1995.486383","publication":"Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair","citation":{"ieee":"W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","apa":"Müller, W., Lehrenfeld, G., &#38; Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>","short":"W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification and Animations of Protocols.” In <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. Chiba, Japan , 1995. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>.","mla":"Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>, 1995, doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","bibtex":"@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }","ama":"Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>"},"abstract":[{"lang":"eng","text":"This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol."}],"date_created":"2023-01-24T12:05:55Z","place":"Chiba, Japan ","keyword":["Animation","Protocols","Timing","Computer languages","Electronic mail","Context modeling","Visualization","Control systems","Flow graphs","Trademarks"],"type":"conference","department":[{"_id":"672"}]},{"date_updated":"2022-01-06T06:59:07Z","author":[{"last_name":"Rensink","first_name":"Arend","full_name":"Rensink, Arend"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"Weak Sequential Composition in Process Algebras","year":"1994","status":"public","editor":[{"full_name":"Jonsson, Bengt","first_name":"Bengt","last_name":"Jonsson"},{"full_name":"Parrow, Joachim","first_name":"Joachim","last_name":"Parrow"}],"doi":"10.1007/978-3-540-48654-1_20","user_id":"29719","series_title":"Lecture Notes in Computer Science","_id":"3263","page":"226--241","citation":{"mla":"Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i>, edited by Bengt Jonsson and Joachim Parrow, 1994, pp. 226--241, doi:<a href=\"https://doi.org/10.1007/978-3-540-48654-1_20\">10.1007/978-3-540-48654-1_20</a>.","bibtex":"@inproceedings{Rensink_Wehrheim_1994, series={Lecture Notes in Computer Science}, title={Weak Sequential Composition in Process Algebras}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-48654-1_20\">10.1007/978-3-540-48654-1_20</a>}, booktitle={{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Jonsson, Bengt and Parrow, JoachimEditors}, year={1994}, pages={226--241}, collection={Lecture Notes in Computer Science} }","ama":"Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i>. Lecture Notes in Computer Science. ; 1994:226--241. doi:<a href=\"https://doi.org/10.1007/978-3-540-48654-1_20\">10.1007/978-3-540-48654-1_20</a>","ieee":"A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i>, 1994, pp. 226--241.","apa":"Rensink, A., &#38; Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson &#38; J. Parrow (Eds.), <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i> (pp. 226--241). <a href=\"https://doi.org/10.1007/978-3-540-48654-1_20\">https://doi.org/10.1007/978-3-540-48654-1_20</a>","chicago":"Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” In <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i>, edited by Bengt Jonsson and Joachim Parrow, 226--241. Lecture Notes in Computer Science, 1994. <a href=\"https://doi.org/10.1007/978-3-540-48654-1_20\">https://doi.org/10.1007/978-3-540-48654-1_20</a>.","short":"A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241."},"publication":"{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings","department":[{"_id":"77"}],"type":"conference","date_created":"2018-06-14T07:54:32Z"},{"date_created":"2019-02-26T10:03:59Z","type":"conference","department":[{"_id":"53"}],"publication":"Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201","citation":{"ama":"Krauter S, Hanitsch R, Campbell P, Wenham SR. Optical Modelling, Simulation and Improvement of PV Module Encapsulation. In: <i>Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201</i>. ; 1994.","short":"S. Krauter, R. Hanitsch, P. Campbell, S.R. Wenham, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.","chicago":"Krauter, Stefan, Rolf Hanitsch, P. Campbell, and S.R.  Wenham. “Optical Modelling, Simulation and Improvement of PV Module Encapsulation.” In <i>Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201</i>, 1994.","bibtex":"@inproceedings{Krauter_Hanitsch_Campbell_Wenham_1994, title={Optical Modelling, Simulation and Improvement of PV Module Encapsulation}, booktitle={Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201}, author={Krauter, Stefan and Hanitsch, Rolf and Campbell, P. and Wenham, S.R. }, year={1994} }","apa":"Krauter, S., Hanitsch, R., Campbell, P., &#38; Wenham, S. R. (1994). Optical Modelling, Simulation and Improvement of PV Module Encapsulation. In <i>Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201</i>.","mla":"Krauter, Stefan, et al. “Optical Modelling, Simulation and Improvement of PV Module Encapsulation.” <i>Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201</i>, 1994.","ieee":"S. Krauter, R. Hanitsch, P. Campbell, and S. R. Wenham, “Optical Modelling, Simulation and Improvement of PV Module Encapsulation,” in <i>Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201</i>, 1994."},"extern":"1","_id":"8092","language":[{"iso":"eng"}],"user_id":"16148","status":"public","title":"Optical Modelling, Simulation and Improvement of PV Module Encapsulation","year":"1994","author":[{"first_name":"Stefan","orcid":"0000-0002-3594-260X","last_name":"Krauter","full_name":"Krauter, Stefan","id":"28836"},{"last_name":"Hanitsch","first_name":"Rolf","full_name":"Hanitsch, Rolf"},{"last_name":"Campbell","first_name":"P.","full_name":"Campbell, P."},{"last_name":"Wenham","first_name":"S.R. ","full_name":"Wenham, S.R. "}],"conference":{"name":"12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994"},"date_updated":"2022-01-06T07:03:50Z"},{"department":[{"_id":"53"}],"type":"conference","date_created":"2019-02-26T10:09:01Z","extern":"1","citation":{"ama":"Strauss P, Onneken K, Krauter S, Hanitsch R. Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation. In: <i>Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197.</i> ; 1994.","bibtex":"@inproceedings{Strauss_Onneken_Krauter_Hanitsch_1994, title={Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation}, booktitle={Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197.}, author={Strauss, Philipp and Onneken, K.  and Krauter, Stefan and Hanitsch, Rolf}, year={1994} }","mla":"Strauss, Philipp, et al. “Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation.” <i>Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197.</i>, 1994.","chicago":"Strauss, Philipp, K.  Onneken, Stefan Krauter, and Rolf Hanitsch. “Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation.” In <i>Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197.</i>, 1994.","short":"P. Strauss, K. Onneken, S. Krauter, R. Hanitsch, in: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197., 1994.","apa":"Strauss, P., Onneken, K., Krauter, S., &#38; Hanitsch, R. (1994). Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation. In <i>Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197.</i>","ieee":"P. Strauss, K. Onneken, S. Krauter, and R. Hanitsch, “Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation,” in <i>Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197.</i>, 1994."},"publication":"Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197.","user_id":"16148","_id":"8093","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:50Z","conference":{"name":"12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994"},"author":[{"full_name":"Strauss, Philipp","last_name":"Strauss","first_name":"Philipp"},{"full_name":"Onneken, K. ","last_name":"Onneken","first_name":"K. "},{"full_name":"Krauter, Stefan","last_name":"Krauter","first_name":"Stefan","orcid":"0000-0002-3594-260X","id":"28836"},{"last_name":"Hanitsch","first_name":"Rolf","full_name":"Hanitsch, Rolf"}],"title":"Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation","status":"public","year":"1994"},{"citation":{"apa":"Krauter, S., Hanitsch, R., &#38; Wenham, S. R. (1994). Simulation of Thermal and Optical Performance of PV Modules. In <i>Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994</i>.","ieee":"S. Krauter, R. Hanitsch, and S. R. Wenham, “Simulation of Thermal and Optical Performance of PV Modules,” in <i>Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994</i>, 1994.","short":"S. Krauter, R. Hanitsch, S.R. Wenham, in: Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.","chicago":"Krauter, Stefan, Rolf Hanitsch, and S. R. Wenham. “Simulation of Thermal and Optical Performance of PV Modules.” In <i>Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994</i>, 1994.","mla":"Krauter, Stefan, et al. “Simulation of Thermal and Optical Performance of PV Modules.” <i>Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994</i>, 1994.","ama":"Krauter S, Hanitsch R, Wenham SR. Simulation of Thermal and Optical Performance of PV Modules. In: <i>Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994</i>. ; 1994.","bibtex":"@inproceedings{Krauter_Hanitsch_Wenham_1994, title={Simulation of Thermal and Optical Performance of PV Modules}, booktitle={Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994}, author={Krauter, Stefan and Hanitsch, Rolf and Wenham, S. R.}, year={1994} }"},"publication":"Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994","extern":"1","date_created":"2019-02-26T10:13:45Z","department":[{"_id":"53"}],"type":"conference","conference":{"name":"3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994"},"author":[{"id":"28836","orcid":"0000-0002-3594-260X","last_name":"Krauter","first_name":"Stefan","full_name":"Krauter, Stefan"},{"full_name":"Hanitsch, Rolf","last_name":"Hanitsch","first_name":"Rolf"},{"full_name":"Wenham, S. R.","first_name":"S. R.","last_name":"Wenham"}],"year":"1994","title":"Simulation of Thermal and Optical Performance of PV Modules","status":"public","date_updated":"2022-01-06T07:03:50Z","language":[{"iso":"eng"}],"_id":"8095","user_id":"16148"},{"citation":{"mla":"Peckhaus, Volker. “Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen.” <i>Modern Logic</i>, vol. 4, 1994, pp. 357–81.","bibtex":"@article{Peckhaus_1994, title={Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen}, volume={4}, journal={Modern Logic}, author={Peckhaus, Volker}, year={1994}, pages={357–381} }","ama":"Peckhaus V. Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen. <i>Modern Logic</i>. 1994;4:357-381.","ieee":"V. Peckhaus, “Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen,” <i>Modern Logic</i>, vol. 4, pp. 357–381, 1994.","apa":"Peckhaus, V. (1994). Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen. <i>Modern Logic</i>, <i>4</i>, 357–381.","short":"V. Peckhaus, Modern Logic 4 (1994) 357–381.","chicago":"Peckhaus, Volker. “Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen.” <i>Modern Logic</i> 4 (1994): 357–81."},"publication":"Modern Logic","extern":"1","abstract":[{"text":"Abstract: Historia Mathematica 22 (1995), #22.2.62 (I. Anellis).\r\nRezensionen: Zbl. Math. 812.01012 (I. Grattan-Guinness); MR 95m:03002 (M. Guillaume).","lang":"eng"}],"date_created":"2020-07-31T05:45:56Z","department":[{"_id":"520"}],"type":"journal_article","author":[{"id":"391","full_name":"Peckhaus, Volker","first_name":"Volker","last_name":"Peckhaus"}],"year":"1994","status":"public","title":"Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen","intvolume":"         4","date_updated":"2022-03-13T12:04:04Z","_id":"17489","language":[{"iso":"ger"}],"page":"357-381","volume":4,"user_id":"59882"},{"date_created":"2021-11-26T10:24:27Z","place":"Kiel","type":"book","department":[{"_id":"35"},{"_id":"22"},{"_id":"396"},{"_id":"17"},{"_id":"394"}],"citation":{"short":"R. Bigga, F. Braun, L. Hoffmann, Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. , Kiel, 1994.","chicago":"Bigga, Regine, F. Braun, and L. Hoffmann. <i>Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. </i>. Kiel, 1994.","ieee":"R. Bigga, F. Braun, and L. Hoffmann, <i>Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. </i>. Kiel, 1994.","apa":"Bigga, R., Braun, F., &#38; Hoffmann, L. (1994). <i>Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. </i>.","bibtex":"@book{Bigga_Braun_Hoffmann_1994, place={Kiel}, title={Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. }, author={Bigga, Regine and Braun, F. and Hoffmann, L.}, year={1994} }","ama":"Bigga R, Braun F, Hoffmann L. <i>Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. </i>.; 1994.","mla":"Bigga, Regine, et al. <i>Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. </i>. 1994."},"language":[{"iso":"ger"}],"_id":"27958","user_id":"61597","status":"public","year":"1994","title":"Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. ","author":[{"full_name":"Bigga, Regine","last_name":"Bigga","first_name":"Regine","id":"620"},{"first_name":"F.","last_name":"Braun","full_name":"Braun, F."},{"last_name":"Hoffmann","first_name":"L.","full_name":"Hoffmann, L."}],"publication_status":"published","date_updated":"2023-01-18T12:05:15Z"},{"citation":{"chicago":"Tornieporth, G., and Regine Bigga. <i>Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre</i>. Hohengehren , 1994.","ama":"Tornieporth G, Bigga R. <i>Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre</i>.; 1994.","short":"G. Tornieporth, R. Bigga, Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre, Hohengehren , 1994.","bibtex":"@book{Tornieporth_Bigga_1994, place={Hohengehren }, title={Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre}, author={Tornieporth, G. and Bigga, Regine}, year={1994} }","apa":"Tornieporth, G., &#38; Bigga, R. (1994). <i>Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre</i>.","mla":"Tornieporth, G., and Regine Bigga. <i>Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre</i>. 1994.","ieee":"G. Tornieporth and R. Bigga, <i>Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre</i>. Hohengehren , 1994."},"type":"book","department":[{"_id":"35"},{"_id":"22"},{"_id":"396"},{"_id":"17"},{"_id":"394"}],"date_created":"2021-11-26T10:29:43Z","place":"Hohengehren ","publication_status":"published","date_updated":"2023-01-18T21:48:42Z","title":"Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre","year":"1994","status":"public","author":[{"full_name":"Tornieporth, G.","last_name":"Tornieporth","first_name":"G."},{"last_name":"Bigga","first_name":"Regine","full_name":"Bigga, Regine","id":"620"}],"user_id":"61597","_id":"27961","language":[{"iso":"ger"}]},{"department":[{"_id":"22"},{"_id":"396"},{"_id":"394"},{"_id":"35"},{"_id":"17"}],"type":"book_chapter","date_created":"2023-01-19T11:39:42Z","place":"Hohengehren","citation":{"bibtex":"@inbook{Bigga_1994, place={Hohengehren}, title={Ergebnisse aus dem Projekt Mädchen &#38; junge Frauen in der Arbeitswelt}, booktitle={Erwerbsarbeit  - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld der Arbeitslehre}, publisher={Schneider Verlag}, author={Bigga, Regine}, editor={Tornieporth, Gerda and Bigga, Regine}, year={1994}, pages={154–180} }","ama":"Bigga R. Ergebnisse aus dem Projekt Mädchen &#38; junge Frauen in der Arbeitswelt. In: Tornieporth G, Bigga R, eds. <i>Erwerbsarbeit  - Hausarbeit. Strukturwandel Der Arbeit Als Herausforderung an Das Lernfeld Der Arbeitslehre</i>. Schneider Verlag; 1994:154-180.","mla":"Bigga, Regine. “Ergebnisse Aus Dem Projekt Mädchen &#38; Junge Frauen in Der Arbeitswelt.” <i>Erwerbsarbeit  - Hausarbeit. Strukturwandel Der Arbeit Als Herausforderung an Das Lernfeld Der Arbeitslehre</i>, edited by Gerda Tornieporth and Regine Bigga, Schneider Verlag, 1994, pp. 154–80.","short":"R. Bigga, in: G. Tornieporth, R. Bigga (Eds.), Erwerbsarbeit  - Hausarbeit. Strukturwandel Der Arbeit Als Herausforderung an Das Lernfeld Der Arbeitslehre, Schneider Verlag, Hohengehren, 1994, pp. 154–180.","chicago":"Bigga, Regine. “Ergebnisse Aus Dem Projekt Mädchen &#38; Junge Frauen in Der Arbeitswelt.” In <i>Erwerbsarbeit  - Hausarbeit. Strukturwandel Der Arbeit Als Herausforderung an Das Lernfeld Der Arbeitslehre</i>, edited by Gerda Tornieporth and Regine Bigga, 154–80. Hohengehren: Schneider Verlag, 1994.","ieee":"R. Bigga, “Ergebnisse aus dem Projekt Mädchen &#38; junge Frauen in der Arbeitswelt,” in <i>Erwerbsarbeit  - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld der Arbeitslehre</i>, G. Tornieporth and R. Bigga, Eds. Hohengehren: Schneider Verlag, 1994, pp. 154–180.","apa":"Bigga, R. (1994). Ergebnisse aus dem Projekt Mädchen &#38; junge Frauen in der Arbeitswelt. In G. Tornieporth &#38; R. Bigga (Eds.), <i>Erwerbsarbeit  - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld der Arbeitslehre</i> (pp. 154–180). Schneider Verlag."},"publication":"Erwerbsarbeit  - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld der Arbeitslehre","editor":[{"first_name":"Gerda","last_name":"Tornieporth","full_name":"Tornieporth, Gerda"},{"full_name":"Bigga, Regine","last_name":"Bigga","first_name":"Regine"}],"user_id":"61597","_id":"37582","language":[{"iso":"eng"}],"publisher":"Schneider Verlag","page":"154 - 180","date_updated":"2023-01-19T11:39:49Z","author":[{"full_name":"Bigga, Regine","first_name":"Regine","last_name":"Bigga","id":"620"}],"year":"1994","status":"public","title":"Ergebnisse aus dem Projekt Mädchen & junge Frauen in der Arbeitswelt"},{"language":[{"iso":"eng"}],"_id":"17831","volume":"Nr. 4.2","editor":[{"full_name":"Hormigon, Mariano","last_name":"Hormigon","first_name":"Mariano"},{"full_name":"Ausejo, Elena","last_name":"Ausejo","first_name":"Elena"},{"last_name":"Dhombres","first_name":"Jean","full_name":"Dhombres, Jean"}],"user_id":"59882","author":[{"id":"391","full_name":"Peckhaus, Volker","first_name":"Volker","last_name":"Peckhaus"}],"title":"The Development of Ernst Schröder’s Attitude towards Logic [Abstract]","year":"1993","status":"public","date_updated":"2022-04-20T13:50:36Z","date_created":"2020-08-12T07:17:23Z","place":"o.O.u.J. (Zaragoza)","department":[{"_id":"520"}],"type":"conference_abstract","citation":{"chicago":"Peckhaus, Volker. “The Development of Ernst Schröder’s Attitude towards Logic [Abstract].” In <i>XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia</i>, edited by Mariano Hormigon, Elena Ausejo, and Jean Dhombres, Vol. Nr. 4.2. o.O.u.J. (Zaragoza), 1993.","short":"V. Peckhaus, in: M. Hormigon, E. Ausejo, J. Dhombres (Eds.), XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia, o.O.u.J. (Zaragoza), 1993.","ieee":"V. Peckhaus, “The Development of Ernst Schröder’s Attitude towards Logic [Abstract],” in <i>XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia</i>, 1993, vol. Nr. 4.2.","apa":"Peckhaus, V. (1993). The Development of Ernst Schröder’s Attitude towards Logic [Abstract]. In M. Hormigon, E. Ausejo, &#38; J. Dhombres (Eds.), <i>XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia: Vol. Nr. 4.2</i>.","bibtex":"@inproceedings{Peckhaus_1993, place={o.O.u.J. (Zaragoza)}, title={The Development of Ernst Schröder’s Attitude towards Logic [Abstract]}, volume={Nr. 4.2}, booktitle={XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia}, author={Peckhaus, Volker}, editor={Hormigon, Mariano and Ausejo, Elena and Dhombres, Jean}, year={1993} }","ama":"Peckhaus V. The Development of Ernst Schröder’s Attitude towards Logic [Abstract]. In: Hormigon M, Ausejo E, Dhombres J, eds. <i>XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia</i>. Vol Nr. 4.2. ; 1993.","mla":"Peckhaus, Volker. “The Development of Ernst Schröder’s Attitude towards Logic [Abstract].” <i>XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia</i>, edited by Mariano Hormigon et al., vol. Nr. 4.2, 1993."},"publication":"XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia","extern":"1"},{"extern":"1","publication":"Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal","citation":{"ama":"Peckhaus V. Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract]. In: Toepell M, ed. <i>Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal</i>. ; 1993:30-31.","bibtex":"@inproceedings{Peckhaus_1993, place={München}, title={Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract]}, booktitle={Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal}, author={Peckhaus, Volker}, editor={Toepell, Michael}, year={1993}, pages={30–31} }","mla":"Peckhaus, Volker. “Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract].” <i>Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal</i>, edited by Michael Toepell, 1993, pp. 30–31.","chicago":"Peckhaus, Volker. “Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract].” In <i>Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal</i>, edited by Michael Toepell, 30–31. München, 1993.","short":"V. Peckhaus, in: M. Toepell (Ed.), Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal, München, 1993, pp. 30–31.","apa":"Peckhaus, V. (1993). Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract]. In M. Toepell (Ed.), <i>Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal</i> (pp. 30–31).","ieee":"V. Peckhaus, “Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract],” in <i>Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal</i>, 1993, pp. 30–31."},"type":"conference_abstract","department":[{"_id":"520"}],"date_created":"2020-08-12T07:09:19Z","place":"München","date_updated":"2022-04-20T13:45:12Z","year":"1993","status":"public","title":"Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract]","author":[{"full_name":"Peckhaus, Volker","first_name":"Volker","last_name":"Peckhaus","id":"391"}],"user_id":"59882","editor":[{"full_name":"Toepell, Michael","first_name":"Michael","last_name":"Toepell"}],"page":"30-31","language":[{"iso":"ger"}],"_id":"17829"},{"type":"conference","department":[{"_id":"53"}],"date_created":"2019-02-26T06:31:54Z","extern":"1","publication":"Solar Energy Simulation Workshop der DGS, Oldenburg (Deutschland)","citation":{"mla":"Krauter, Stefan. “Hinweise Zur Modellbildung Und Simulation Des Strahlungseinfalls in PV-Module.” <i>Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland)</i>, 1992.","bibtex":"@inproceedings{Krauter_1992, title={Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module}, booktitle={Solar Energy Simulation Workshop der DGS, Oldenburg (Deutschland)}, author={Krauter, Stefan}, year={1992} }","ama":"Krauter S. Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module. In: <i>Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland)</i>. ; 1992.","ieee":"S. Krauter, “Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module,” in <i>Solar Energy Simulation Workshop der DGS, Oldenburg (Deutschland)</i>,  Oldenburg (Deutschland), 1992.","apa":"Krauter, S. (1992). Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module. In <i>Solar Energy Simulation Workshop der DGS, Oldenburg (Deutschland)</i>.  Oldenburg (Deutschland).","short":"S. Krauter, in: Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland), 1992.","chicago":"Krauter, Stefan. “Hinweise Zur Modellbildung Und Simulation Des Strahlungseinfalls in PV-Module.” In <i>Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland)</i>, 1992."},"user_id":"16148","language":[{"iso":"eng"}],"_id":"8084","date_updated":"2022-01-06T07:03:50Z","title":"Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module","status":"public","year":"1992","conference":{"start_date":"1992-06-15","name":"Solar Energy Simulation Workshop der DGS","location":" Oldenburg (Deutschland)","end_date":"1992-06-16"},"author":[{"id":"28836","full_name":"Krauter, Stefan","orcid":"0000-0002-3594-260X","first_name":"Stefan","last_name":"Krauter"}]},{"date_created":"2020-04-20T11:33:22Z","department":[{"_id":"63"}],"type":"conference","citation":{"mla":"Karp, Richard M., et al. “Efficient PRAM Simulation on a Distributed Memory Machine.” <i>Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing  - STOC ’92</i>, 1992, doi:<a href=\"https://doi.org/10.1145/129712.129743\">10.1145/129712.129743</a>.","bibtex":"@inproceedings{Karp_Luby_Meyer auf der Heide_1992, title={Efficient PRAM simulation on a distributed memory machine}, DOI={<a href=\"https://doi.org/10.1145/129712.129743\">10.1145/129712.129743</a>}, booktitle={Proceedings of the twenty-fourth annual ACM symposium on Theory of computing  - STOC ’92}, author={Karp, Richard M. and Luby, Michael and Meyer auf der Heide, Friedhelm}, year={1992} }","ama":"Karp RM, Luby M, Meyer auf der Heide F. Efficient PRAM simulation on a distributed memory machine. In: <i>Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing  - STOC ’92</i>. ; 1992. doi:<a href=\"https://doi.org/10.1145/129712.129743\">10.1145/129712.129743</a>","ieee":"R. M. Karp, M. Luby, and F. Meyer auf der Heide, “Efficient PRAM simulation on a distributed memory machine,” in <i>Proceedings of the twenty-fourth annual ACM symposium on Theory of computing  - STOC ’92</i>, 1992.","apa":"Karp, R. M., Luby, M., &#38; Meyer auf der Heide, F. (1992). Efficient PRAM simulation on a distributed memory machine. In <i>Proceedings of the twenty-fourth annual ACM symposium on Theory of computing  - STOC ’92</i>. <a href=\"https://doi.org/10.1145/129712.129743\">https://doi.org/10.1145/129712.129743</a>","short":"R.M. Karp, M. Luby, F. Meyer auf der Heide, in: Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing  - STOC ’92, 1992.","chicago":"Karp, Richard M., Michael Luby, and Friedhelm Meyer auf der Heide. “Efficient PRAM Simulation on a Distributed Memory Machine.” In <i>Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing  - STOC ’92</i>, 1992. <a href=\"https://doi.org/10.1145/129712.129743\">https://doi.org/10.1145/129712.129743</a>."},"publication":"Proceedings of the twenty-fourth annual ACM symposium on Theory of computing  - STOC '92","language":[{"iso":"eng"}],"_id":"16736","doi":"10.1145/129712.129743","user_id":"15415","publication_identifier":{"isbn":["0897915119"]},"author":[{"last_name":"Karp","first_name":"Richard M.","full_name":"Karp, Richard M."},{"full_name":"Luby, Michael","last_name":"Luby","first_name":"Michael"},{"full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm","id":"15523"}],"status":"public","year":"1992","title":"Efficient PRAM simulation on a distributed memory machine","date_updated":"2022-01-06T06:52:55Z","publication_status":"published"},{"author":[{"id":"242","full_name":"Haeb-Umbach, Reinhold","first_name":"Reinhold","last_name":"Haeb-Umbach"},{"first_name":"Robert","last_name":"Lynch","full_name":"Lynch, Robert"}],"year":"1992","status":"public","title":"Trellis codes for partial-response magnetooptical direct overwrite recording","date_updated":"2022-01-06T06:51:08Z","language":[{"iso":"eng"}],"_id":"11792","user_id":"44006","citation":{"short":"R. Haeb-Umbach, R. Lynch, IEEE Journal on Selected Areas in Communications (1992).","chicago":"Haeb-Umbach, Reinhold, and Robert Lynch. “Trellis Codes for Partial-Response Magnetooptical Direct Overwrite Recording.” <i>IEEE Journal on Selected Areas in Communications</i>, 1992.","apa":"Haeb-Umbach, R., &#38; Lynch, R. (1992). Trellis codes for partial-response magnetooptical direct overwrite recording. <i>IEEE Journal on Selected Areas in Communications</i>.","ieee":"R. Haeb-Umbach and R. Lynch, “Trellis codes for partial-response magnetooptical direct overwrite recording,” <i>IEEE Journal on Selected Areas in Communications</i>, 1992.","ama":"Haeb-Umbach R, Lynch R. Trellis codes for partial-response magnetooptical direct overwrite recording. <i>IEEE Journal on Selected Areas in Communications</i>. 1992.","bibtex":"@article{Haeb-Umbach_Lynch_1992, title={Trellis codes for partial-response magnetooptical direct overwrite recording}, journal={IEEE Journal on Selected Areas in Communications}, author={Haeb-Umbach, Reinhold and Lynch, Robert}, year={1992} }","mla":"Haeb-Umbach, Reinhold, and Robert Lynch. “Trellis Codes for Partial-Response Magnetooptical Direct Overwrite Recording.” <i>IEEE Journal on Selected Areas in Communications</i>, 1992."},"publication":"IEEE Journal on Selected Areas in Communications","abstract":[{"lang":"eng","text":"The authors present conditions on the error sequences between channel input sequences which guarantee certain lower bounds on the free Euclidian distance at the output of a partial-response (PR) class I or II channel. From these expressions, trellis codes are derived which improve performance of binary signaling over noisy PR channels with reduced complexity maximum-likelihood sequence detection. They are shown to be compatible with the input restriction caused by the magnetooptical resonant coil direct overwrite recording scheme. The codes achieve high signal-to-noise ratio coding gains of 3 dB (on PR class I) and 2.2 dB (on PR class II) with rates as close to, but strictly less than, the capacity of the initial input restriction as desired. The performance of these codes is analyzed with an optical channel simulation system which shows that one code has the rare but highly desirable property that its maximum-likelihood sequence detector (MLSD) is less complex than the MLSD of the reference system and still achieves an error rate performance gain of 1.8 dB"}],"date_created":"2019-07-12T05:28:21Z","department":[{"_id":"54"}],"type":"journal_article"}]