[{"title":"Data Management and Routing in General Networks","status":"public","year":"2005","author":[{"full_name":"Räcke, Harald","last_name":"Räcke","first_name":"Harald"}],"publication_identifier":{"isbn":["3-935433-63-8"]},"date_updated":"2022-01-06T06:53:56Z","intvolume":"       154","_id":"18967","language":[{"iso":"eng"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","user_id":"5786","volume":154,"supervisor":[{"full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm","last_name":"Meyer auf der Heide","id":"15523"}],"citation":{"ama":"Räcke H. <i>Data Management and Routing in General Networks</i>. Vol 154. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2005.","bibtex":"@book{Räcke_2005, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Data Management and Routing in General Networks}, volume={154}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Räcke, Harald}, year={2005}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","mla":"Räcke, Harald. <i>Data Management and Routing in General Networks</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.","chicago":"Räcke, Harald. <i>Data Management and Routing in General Networks</i>. Vol. 154. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.","short":"H. Räcke, Data Management and Routing in General Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.","apa":"Räcke, H. (2005). <i>Data Management and Routing in General Networks</i> (Vol. 154). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","ieee":"H. Räcke, <i>Data Management and Routing in General Networks</i>, vol. 154. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005."},"related_material":{"link":[{"relation":"confirmation","url":"http://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20030101262"}]},"date_created":"2020-09-03T14:44:08Z","type":"dissertation","department":[{"_id":"63"},{"_id":"26"}]},{"type":"conference","department":[{"_id":"63"}],"date_created":"2021-09-07T13:10:15Z","abstract":[{"text":"A dynamic geometric data stream is a sequence of m Add/Remove operations of points from a discrete geometric space (1,...,Δ)d [21]. Add(p) inserts a point p from (1,...,Δ)d into the current point set, Remove(p) deletes p from P. We develop low-storage data structures to (i) maintain ε-approximations of range spaces of P with constant VC-dimension and (ii) maintain an ε-approximation of the weight of the Euclidean minimum spanning tree of P. Our data structures use O(log3ε • log3(1/ε) • log(1/ε)/ε2) and O(log (1/δ) • (log Δ/ε)O(d)) bits of memory, respectively (we assume that the dimension d is a constant), and they are correct with probability 1-δ. These results are based on a new data structure that maintains a set of elements chosen (almost) uniformly at random from P.","lang":"eng"}],"publication":"Proceedings of the twenty-first annual symposium on Computational geometry  - SCG '05","citation":{"mla":"Frahling, Gereon, et al. “Sampling in Dynamic Data Streams and Applications.” <i>Proceedings of the Twenty-First Annual Symposium on Computational Geometry  - SCG ’05</i>, 2005, doi:<a href=\"https://doi.org/10.1145/1064092.1064116\">10.1145/1064092.1064116</a>.","bibtex":"@inproceedings{Frahling_Indyk_Sohler_2005, title={Sampling in dynamic data streams and applications}, DOI={<a href=\"https://doi.org/10.1145/1064092.1064116\">10.1145/1064092.1064116</a>}, booktitle={Proceedings of the twenty-first annual symposium on Computational geometry  - SCG ’05}, author={Frahling, Gereon and Indyk, Piotr and Sohler, Christian}, year={2005} }","ama":"Frahling G, Indyk P, Sohler C. Sampling in dynamic data streams and applications. In: <i>Proceedings of the Twenty-First Annual Symposium on Computational Geometry  - SCG ’05</i>. ; 2005. doi:<a href=\"https://doi.org/10.1145/1064092.1064116\">10.1145/1064092.1064116</a>","ieee":"G. Frahling, P. Indyk, and C. Sohler, “Sampling in dynamic data streams and applications,” in <i>Proceedings of the twenty-first annual symposium on Computational geometry  - SCG ’05</i>, 2005.","apa":"Frahling, G., Indyk, P., &#38; Sohler, C. (2005). Sampling in dynamic data streams and applications. In <i>Proceedings of the twenty-first annual symposium on Computational geometry  - SCG ’05</i>. <a href=\"https://doi.org/10.1145/1064092.1064116\">https://doi.org/10.1145/1064092.1064116</a>","short":"G. Frahling, P. Indyk, C. Sohler, in: Proceedings of the Twenty-First Annual Symposium on Computational Geometry  - SCG ’05, 2005.","chicago":"Frahling, Gereon, Piotr Indyk, and Christian Sohler. “Sampling in Dynamic Data Streams and Applications.” In <i>Proceedings of the Twenty-First Annual Symposium on Computational Geometry  - SCG ’05</i>, 2005. <a href=\"https://doi.org/10.1145/1064092.1064116\">https://doi.org/10.1145/1064092.1064116</a>."},"doi":"10.1145/1064092.1064116","user_id":"15415","language":[{"iso":"eng"}],"_id":"23883","date_updated":"2022-01-06T06:56:02Z","publication_status":"published","year":"2005","status":"public","title":"Sampling in dynamic data streams and applications","author":[{"last_name":"Frahling","first_name":"Gereon","full_name":"Frahling, Gereon"},{"full_name":"Indyk, Piotr","first_name":"Piotr","last_name":"Indyk"},{"last_name":"Sohler","first_name":"Christian","full_name":"Sohler, Christian"}]},{"date_created":"2021-01-13T09:24:41Z","type":"conference","department":[{"_id":"76"}],"publication":"Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA","citation":{"mla":"Meyer, Matthias, and Lothar Wendehals. “Selective Tracing for Dynamic Analyses.” <i>Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA</i>, vol. 2005–12, 2005, pp. 33–37.","bibtex":"@inproceedings{Meyer_Wendehals_2005, series={Technical Report}, title={Selective Tracing for Dynamic Analyses}, volume={2005–12}, booktitle={Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA}, author={Meyer, Matthias and Wendehals, Lothar}, year={2005}, pages={33–37}, collection={Technical Report} }","ama":"Meyer M, Wendehals L. Selective Tracing for Dynamic Analyses. In: <i>Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA</i>. Vol 2005-12. Technical Report. ; 2005:33-37.","ieee":"M. Meyer and L. Wendehals, “Selective Tracing for Dynamic Analyses,” in <i>Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA</i>, 2005, vol. 2005–12, pp. 33–37.","apa":"Meyer, M., &#38; Wendehals, L. (2005). Selective Tracing for Dynamic Analyses. <i>Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA</i>, <i>2005–12</i>, 33–37.","short":"M. Meyer, L. Wendehals, in: Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA, 2005, pp. 33–37.","chicago":"Meyer, Matthias, and Lothar Wendehals. “Selective Tracing for Dynamic Analyses.” In <i>Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA</i>, 2005–12:33–37. Technical Report, 2005."},"abstract":[{"lang":"eng","text":"Reverse engineering based on dynamic analyses often uses method traces of the program under analysis. Recording all method traces during a program's execution produces too much data, though for most analyses, a 'slice' of all method traces is sufficient. In this paper, we present an approach to collect runtime information by selectively recording method calls during a program's execution. Only relevant classes and methods are monitored to reduce the amount of information. We developed the JavaTracer which we use for the recording of method calls in Java programs.\r\n"}],"page":"33-37","language":[{"iso":"eng"}],"_id":"20926","series_title":"Technical Report","user_id":"5786","volume":"2005-12","status":"public","title":"Selective Tracing for Dynamic Analyses","year":"2005","author":[{"id":"683","first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias"},{"full_name":"Wendehals, Lothar","last_name":"Wendehals","first_name":"Lothar"}],"date_updated":"2022-01-06T06:54:41Z"},{"abstract":[{"text":"The paper presents a further step of the Fujaba Tool Suite RE to support coarse-grained analyses based on metrics and especially polymetric views. Polymetric views are graphical representations of certain metric combinations. Following an interactive reverse engineering approach, polymetric views can be created on demand. The reverse engineer is able to define new polymetric view descriptions and create new views afterwards.","lang":"eng"}],"citation":{"chicago":"Meyer, Matthias, and Jörg Niere. “Calculation and Visualization of Software Product Metrics.” In <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>, tr-ri-05-259:41–44. Technical Report. University of Paderborn, 2005.","short":"M. Meyer, J. Niere, in: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, University of Paderborn, 2005, pp. 41–44.","apa":"Meyer, M., &#38; Niere, J. (2005). Calculation and Visualization of Software Product Metrics. <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>, <i>tr-ri-05-259</i>, 41–44.","ieee":"M. Meyer and J. Niere, “Calculation and Visualization of Software Product Metrics,” in <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>, 2005, vol. tr-ri-05-259, pp. 41–44.","ama":"Meyer M, Niere J. Calculation and Visualization of Software Product Metrics. In: <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>. Vol tr-ri-05-259. Technical Report. University of Paderborn; 2005:41-44.","bibtex":"@inproceedings{Meyer_Niere_2005, series={Technical Report}, title={Calculation and Visualization of Software Product Metrics}, volume={tr-ri-05-259}, booktitle={Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany}, publisher={University of Paderborn}, author={Meyer, Matthias and Niere, Jörg}, year={2005}, pages={41–44}, collection={Technical Report} }","mla":"Meyer, Matthias, and Jörg Niere. “Calculation and Visualization of Software Product Metrics.” <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>, vol. tr-ri-05-259, University of Paderborn, 2005, pp. 41–44."},"publication":"Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany","department":[{"_id":"76"}],"type":"conference","date_created":"2021-01-13T09:56:37Z","date_updated":"2022-01-06T06:54:41Z","author":[{"last_name":"Meyer","first_name":"Matthias","full_name":"Meyer, Matthias","id":"683"},{"full_name":"Niere, Jörg","last_name":"Niere","first_name":"Jörg"}],"year":"2005","title":"Calculation and Visualization of Software Product Metrics","status":"public","volume":"tr-ri-05-259","user_id":"5786","_id":"20929","publisher":"University of Paderborn","series_title":"Technical Report","language":[{"iso":"eng"}],"page":"41-44"},{"department":[{"_id":"76"}],"type":"conference","date_created":"2021-01-13T09:57:16Z","abstract":[{"lang":"eng","text":"Model driven development facilitates the specification of software models from which code can be generated automatically. In practice, a software system can often not be modelled completely. Developers still have to implement parts of it manually and thus have to work with the generated code. Therefore, the usability of the code is important. The Fujaba Tool Suite is a UML case tool which allows to model the structure and behaviour of a system with UML diagrams and to generate Java code for the specifications. However, the code currently generated for associations is not type safe. Furthermore, a lot of code is added to the implementation of the model classes which decreases their usability. In this paper, we present an approach to generate type safe association implementations in Java which also improves the readability and usability of the generated code.\r\n"}],"citation":{"chicago":"Travkin, Dietrich, and Matthias Meyer. “Generation of Type Safe Association Implementations.” In <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>, tr-ri-05-259:63–66. Technical Report. University of Paderborn, 2005.","short":"D. Travkin, M. Meyer, in: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, University of Paderborn, 2005, pp. 63–66.","apa":"Travkin, D., &#38; Meyer, M. (2005). Generation of Type Safe Association Implementations. <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>, <i>tr-ri-05-259</i>, 63–66.","ieee":"D. Travkin and M. Meyer, “Generation of Type Safe Association Implementations,” in <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>, 2005, vol. tr-ri-05-259, pp. 63–66.","ama":"Travkin D, Meyer M. Generation of Type Safe Association Implementations. In: <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>. Vol tr-ri-05-259. Technical Report. University of Paderborn; 2005:63-66.","bibtex":"@inproceedings{Travkin_Meyer_2005, series={Technical Report}, title={Generation of Type Safe Association Implementations}, volume={tr-ri-05-259}, booktitle={Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany}, publisher={University of Paderborn}, author={Travkin, Dietrich and Meyer, Matthias}, year={2005}, pages={63–66}, collection={Technical Report} }","mla":"Travkin, Dietrich, and Matthias Meyer. “Generation of Type Safe Association Implementations.” <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>, vol. tr-ri-05-259, University of Paderborn, 2005, pp. 63–66."},"publication":"Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany","volume":"tr-ri-05-259","user_id":"5786","publisher":"University of Paderborn","_id":"20930","language":[{"iso":"eng"}],"series_title":"Technical Report","page":"63-66","date_updated":"2022-01-06T06:54:41Z","author":[{"full_name":"Travkin, Dietrich","first_name":"Dietrich","last_name":"Travkin"},{"first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias","id":"683"}],"title":"Generation of Type Safe Association Implementations","status":"public","year":"2005"},{"type":"book_chapter","department":[{"_id":"63"}],"place":"Berlin, Heidelberg","date_created":"2020-08-14T13:44:48Z","publication":"Fundamentals of Computation Theory","citation":{"mla":"Köhler, Sven, et al. “On Approximating Real-World Halting Problems.” <i>Fundamentals of Computation Theory</i>, 2005, doi:<a href=\"https://doi.org/10.1007/11537311_40\">10.1007/11537311_40</a>.","bibtex":"@inbook{Köhler_Schindelhauer_Ziegler_2005, place={Berlin, Heidelberg}, title={On Approximating Real-World Halting Problems}, DOI={<a href=\"https://doi.org/10.1007/11537311_40\">10.1007/11537311_40</a>}, booktitle={Fundamentals of Computation Theory}, author={Köhler, Sven and Schindelhauer, Christian and Ziegler, Martin}, year={2005} }","ama":"Köhler S, Schindelhauer C, Ziegler M. On Approximating Real-World Halting Problems. In: <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg; 2005. doi:<a href=\"https://doi.org/10.1007/11537311_40\">10.1007/11537311_40</a>","ieee":"S. Köhler, C. Schindelhauer, and M. Ziegler, “On Approximating Real-World Halting Problems,” in <i>Fundamentals of Computation Theory</i>, Berlin, Heidelberg, 2005.","apa":"Köhler, S., Schindelhauer, C., &#38; Ziegler, M. (2005). On Approximating Real-World Halting Problems. In <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/11537311_40\">https://doi.org/10.1007/11537311_40</a>","short":"S. Köhler, C. Schindelhauer, M. Ziegler, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 2005.","chicago":"Köhler, Sven, Christian Schindelhauer, and Martin Ziegler. “On Approximating Real-World Halting Problems.” In <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg, 2005. <a href=\"https://doi.org/10.1007/11537311_40\">https://doi.org/10.1007/11537311_40</a>."},"doi":"10.1007/11537311_40","user_id":"15415","language":[{"iso":"eng"}],"_id":"17988","date_updated":"2022-01-06T06:53:24Z","publication_status":"published","title":"On Approximating Real-World Halting Problems","status":"public","year":"2005","author":[{"full_name":"Köhler, Sven","first_name":"Sven","last_name":"Köhler"},{"last_name":"Schindelhauer","first_name":"Christian","full_name":"Schindelhauer, Christian"},{"full_name":"Ziegler, Martin","first_name":"Martin","last_name":"Ziegler"}],"publication_identifier":{"isbn":["9783540281931","9783540318736"],"issn":["0302-9743","1611-3349"]}},{"department":[{"_id":"63"}],"type":"book_chapter","date_created":"2020-08-14T13:46:23Z","place":"Berlin, Heidelberg","citation":{"apa":"Meer, K., &#38; Ziegler, M. (2005). An Explicit Solution to Post’s Problem over the Reals. In <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/11537311_41\">https://doi.org/10.1007/11537311_41</a>","ieee":"K. Meer and M. Ziegler, “An Explicit Solution to Post’s Problem over the Reals,” in <i>Fundamentals of Computation Theory</i>, Berlin, Heidelberg, 2005.","chicago":"Meer, Klaus, and Martin Ziegler. “An Explicit Solution to Post’s Problem over the Reals.” In <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg, 2005. <a href=\"https://doi.org/10.1007/11537311_41\">https://doi.org/10.1007/11537311_41</a>.","short":"K. Meer, M. Ziegler, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 2005.","mla":"Meer, Klaus, and Martin Ziegler. “An Explicit Solution to Post’s Problem over the Reals.” <i>Fundamentals of Computation Theory</i>, 2005, doi:<a href=\"https://doi.org/10.1007/11537311_41\">10.1007/11537311_41</a>.","ama":"Meer K, Ziegler M. An Explicit Solution to Post’s Problem over the Reals. In: <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg; 2005. doi:<a href=\"https://doi.org/10.1007/11537311_41\">10.1007/11537311_41</a>","bibtex":"@inbook{Meer_Ziegler_2005, place={Berlin, Heidelberg}, title={An Explicit Solution to Post’s Problem over the Reals}, DOI={<a href=\"https://doi.org/10.1007/11537311_41\">10.1007/11537311_41</a>}, booktitle={Fundamentals of Computation Theory}, author={Meer, Klaus and Ziegler, Martin}, year={2005} }"},"publication":"Fundamentals of Computation Theory","user_id":"15415","doi":"10.1007/11537311_41","language":[{"iso":"eng"}],"_id":"17989","publication_status":"published","date_updated":"2022-01-06T06:53:24Z","author":[{"full_name":"Meer, Klaus","first_name":"Klaus","last_name":"Meer"},{"last_name":"Ziegler","first_name":"Martin","full_name":"Ziegler, Martin"}],"publication_identifier":{"isbn":["9783540281931","9783540318736"],"issn":["0302-9743","1611-3349"]},"status":"public","title":"An Explicit Solution to Post’s Problem over the Reals","year":"2005"},{"citation":{"short":"M. Ziegler, in: Proc. CiE 2005: New Computational Paradigms, Springer, 2005, pp. 562–571.","ama":"Ziegler M. Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism. In: <i>Proc. CiE 2005: New Computational Paradigms</i>. Vol 3526. Springer; 2005:562-571. doi:<a href=\"https://doi.org/10.1007/11494645_68\">10.1007/11494645_68</a>","chicago":"Ziegler, Martin. “Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism.” In <i>Proc. CiE 2005: New Computational Paradigms</i>, 3526:562–71. Springer, 2005. <a href=\"https://doi.org/10.1007/11494645_68\">https://doi.org/10.1007/11494645_68</a>.","bibtex":"@inproceedings{Ziegler_2005, title={Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism}, volume={3526}, DOI={<a href=\"https://doi.org/10.1007/11494645_68\">10.1007/11494645_68</a>}, booktitle={Proc. CiE 2005: New Computational Paradigms}, publisher={Springer}, author={Ziegler, Martin}, year={2005}, pages={562–571} }","mla":"Ziegler, Martin. “Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism.” <i>Proc. CiE 2005: New Computational Paradigms</i>, vol. 3526, Springer, 2005, pp. 562–71, doi:<a href=\"https://doi.org/10.1007/11494645_68\">10.1007/11494645_68</a>.","apa":"Ziegler, M. (2005). Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism. In <i>Proc. CiE 2005: New Computational Paradigms</i> (Vol. 3526, pp. 562–571). Springer. <a href=\"https://doi.org/10.1007/11494645_68\">https://doi.org/10.1007/11494645_68</a>","ieee":"M. Ziegler, “Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism,” in <i>Proc. CiE 2005: New Computational Paradigms</i>, 2005, vol. 3526, pp. 562–571."},"status":"public","publisher":"Springer","_id":"18280","page":"562-571","volume":3526,"user_id":"15415","publication":"Proc. CiE 2005: New Computational Paradigms","abstract":[{"text":"The sometimes so-called Main Theorem of Recursive Analysis implies that any computable real function is necessarily continuous. We consider three relaxations of this common notion of real computability for the purpose of treating also discontinuous functions f:R->R:<br>*) non-deterministic computation;<br>*) relativized computation, specifically given access to oracles like 0' or 0'';<br>*) encoding input x and/or output y=f(x) in weaker ways according to the Real Arithmetic Hierarchy.<br>It turns out that, among these approaches, only the first one provides the required power.","lang":"eng"}],"date_created":"2020-08-25T12:38:49Z","department":[{"_id":"63"}],"type":"conference","author":[{"last_name":"Ziegler","first_name":"Martin","full_name":"Ziegler, Martin"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540261797","9783540322665"]},"year":"2005","title":"Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism","intvolume":"      3526","date_updated":"2022-01-06T06:53:28Z","publication_status":"published","language":[{"iso":"eng"}],"doi":"10.1007/11494645_68"},{"citation":{"mla":"Ziegler, Martin. “Computational Power of Infinite Quantum Parallelism.” <i>International Journal of Theoretical Physics</i>, vol. 44, no. 11, 2005, pp. 2059–71, doi:<a href=\"https://doi.org/10.1007/s10773-005-8984-0\">10.1007/s10773-005-8984-0</a>.","bibtex":"@article{Ziegler_2005, title={Computational Power of Infinite Quantum Parallelism}, volume={44}, DOI={<a href=\"https://doi.org/10.1007/s10773-005-8984-0\">10.1007/s10773-005-8984-0</a>}, number={11}, journal={International Journal of Theoretical Physics}, author={Ziegler, Martin}, year={2005}, pages={2059–2071} }","ama":"Ziegler M. Computational Power of Infinite Quantum Parallelism. <i>International Journal of Theoretical Physics</i>. 2005;44(11):2059-2071. doi:<a href=\"https://doi.org/10.1007/s10773-005-8984-0\">10.1007/s10773-005-8984-0</a>","ieee":"M. Ziegler, “Computational Power of Infinite Quantum Parallelism,” <i>International Journal of Theoretical Physics</i>, vol. 44, no. 11, pp. 2059–2071, 2005.","apa":"Ziegler, M. (2005). Computational Power of Infinite Quantum Parallelism. <i>International Journal of Theoretical Physics</i>, <i>44</i>(11), 2059–2071. <a href=\"https://doi.org/10.1007/s10773-005-8984-0\">https://doi.org/10.1007/s10773-005-8984-0</a>","chicago":"Ziegler, Martin. “Computational Power of Infinite Quantum Parallelism.” <i>International Journal of Theoretical Physics</i> 44, no. 11 (2005): 2059–71. <a href=\"https://doi.org/10.1007/s10773-005-8984-0\">https://doi.org/10.1007/s10773-005-8984-0</a>.","short":"M. Ziegler, International Journal of Theoretical Physics 44 (2005) 2059–2071."},"status":"public","page":"2059-2071","_id":"18282","user_id":"15415","volume":44,"issue":"11","publication":"International Journal of Theoretical Physics","date_created":"2020-08-25T12:47:12Z","type":"journal_article","department":[{"_id":"63"}],"title":"Computational Power of Infinite Quantum Parallelism","year":"2005","publication_identifier":{"issn":["0020-7748","1572-9575"]},"author":[{"full_name":"Ziegler, Martin","last_name":"Ziegler","first_name":"Martin"}],"publication_status":"published","date_updated":"2022-01-06T06:53:28Z","intvolume":"        44","language":[{"iso":"eng"}],"doi":"10.1007/s10773-005-8984-0"},{"publication":"Simulation in wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005","citation":{"ama":"Dangelmaier W, Mueck B, Fischer M, Mahajan K,  Laroque C. Methods to lead the user to significant processes in a 3D material flow simulation. In: <i>Simulation in Wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005</i>. ; 2005:267-270.","bibtex":"@inproceedings{Dangelmaier_Mueck_Fischer_Mahajan_ Laroque_2005, title={Methods to lead the user to significant processes in a 3D material flow simulation}, booktitle={Simulation in wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005}, author={Dangelmaier, Wilhelm and Mueck, Bengt and Fischer, Matthias and Mahajan, Kiran and  Laroque, Christoph}, year={2005}, pages={267–270} }","mla":"Dangelmaier, Wilhelm, et al. “Methods to Lead the User to Significant Processes in a 3D Material Flow Simulation.” <i>Simulation in Wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005</i>, 2005, pp. 267–70.","short":"W. Dangelmaier, B. Mueck, M. Fischer, K. Mahajan, C.  Laroque, in: Simulation in Wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005, 2005, pp. 267–270.","chicago":"Dangelmaier, Wilhelm, Bengt Mueck, Matthias Fischer, Kiran Mahajan, and Christoph  Laroque. “Methods to Lead the User to Significant Processes in a 3D Material Flow Simulation.” In <i>Simulation in Wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005</i>, 267–70, 2005.","apa":"Dangelmaier, W., Mueck, B., Fischer, M., Mahajan, K., &#38;  Laroque, C. (2005). Methods to lead the user to significant processes in a 3D material flow simulation. In <i>Simulation in wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005</i> (pp. 267–270).","ieee":"W. Dangelmaier, B. Mueck, M. Fischer, K. Mahajan, and C.  Laroque, “Methods to lead the user to significant processes in a 3D material flow simulation,” in <i>Simulation in wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005</i>, 2005, pp. 267–270."},"type":"conference","department":[{"_id":"63"}],"date_created":"2020-08-26T12:36:33Z","date_updated":"2022-01-06T06:53:30Z","title":"Methods to lead the user to significant processes in a 3D material flow simulation","status":"public","year":"2005","author":[{"last_name":"Dangelmaier","first_name":"Wilhelm","full_name":"Dangelmaier, Wilhelm"},{"last_name":"Mueck","first_name":"Bengt","full_name":"Mueck, Bengt"},{"full_name":"Fischer, Matthias","first_name":"Matthias","last_name":"Fischer","id":"146"},{"first_name":"Kiran","last_name":"Mahajan","full_name":"Mahajan, Kiran"},{"full_name":" Laroque, Christoph","first_name":"Christoph","last_name":" Laroque"}],"user_id":"15415","page":"267-270","_id":"18366","language":[{"iso":"eng"}]},{"date_created":"2018-03-27T13:17:35Z","type":"conference","department":[{"_id":"75"}],"publication":"Proceedings of the 11th European Wireless Conference 2005","citation":{"mla":"Aguiar, A., et al. “Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors.” <i>Proceedings of the 11th European Wireless Conference 2005</i>, 2005.","bibtex":"@inproceedings{Aguiar_Wolisz_Lederer_Karl_2005, title={Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors}, booktitle={Proceedings of the 11th European Wireless Conference 2005}, author={Aguiar, A. and Wolisz, A. and Lederer, H. and Karl, Holger}, year={2005} }","ama":"Aguiar A, Wolisz A, Lederer H, Karl H. Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors. In: <i>Proceedings of the 11th European Wireless Conference 2005</i>. ; 2005.","ieee":"A. Aguiar, A. Wolisz, H. Lederer, and H. Karl, “Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors,” in <i>Proceedings of the 11th European Wireless Conference 2005</i>, 2005.","apa":"Aguiar, A., Wolisz, A., Lederer, H., &#38; Karl, H. (2005). Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors. In <i>Proceedings of the 11th European Wireless Conference 2005</i>.","chicago":"Aguiar, A., A. Wolisz, H. Lederer, and Holger Karl. “Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors.” In <i>Proceedings of the 11th European Wireless Conference 2005</i>, 2005.","short":"A. Aguiar, A. Wolisz, H. Lederer, H. Karl, in: Proceedings of the 11th European Wireless Conference 2005, 2005."},"main_file_link":[{"url":"http://ieeexplore.ieee.org/document/5755344/?arnumber=5755344"}],"_id":"1843","user_id":"15572","title":"Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors","status":"public","year":"2005","author":[{"first_name":"A.","last_name":"Aguiar","full_name":"Aguiar, A."},{"last_name":"Wolisz","first_name":"A.","full_name":"Wolisz, A."},{"full_name":"Lederer, H.","first_name":"H.","last_name":"Lederer"},{"id":"126","full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger"}],"date_updated":"2022-01-06T06:53:32Z"},{"citation":{"ama":"Loeser C, Drüke I, Oesterdiekhoff B.  Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario. In: <i>IEEE International Conference on Industrial Informatics (INDIN)</i>. ; 2005.","bibtex":"@inproceedings{Loeser_Drüke_Oesterdiekhoff_2005, title={ Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario}, booktitle={IEEE International Conference on Industrial Informatics (INDIN)}, author={Loeser, Christoph and Drüke, Isabell and Oesterdiekhoff, Brigitte}, year={2005} }","mla":"Loeser, Christoph, et al. “ Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario.” <i>IEEE International Conference on Industrial Informatics (INDIN)</i>, 2005.","chicago":"Loeser, Christoph, Isabell Drüke, and Brigitte Oesterdiekhoff. “ Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario.” In <i>IEEE International Conference on Industrial Informatics (INDIN)</i>, 2005.","short":"C. Loeser, I. Drüke, B. Oesterdiekhoff, in: IEEE International Conference on Industrial Informatics (INDIN), 2005.","apa":"Loeser, C., Drüke, I., &#38; Oesterdiekhoff, B. (2005).  Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario. In <i>IEEE International Conference on Industrial Informatics (INDIN)</i>.","ieee":"C. Loeser, I. Drüke, and B. Oesterdiekhoff, “ Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario,” in <i>IEEE International Conference on Industrial Informatics (INDIN)</i>, 2005."},"publication":"IEEE International Conference on Industrial Informatics (INDIN)","date_created":"2020-08-27T12:04:12Z","department":[{"_id":"63"}],"type":"conference","author":[{"full_name":"Loeser, Christoph","first_name":"Christoph","last_name":"Loeser"},{"full_name":"Drüke, Isabell","first_name":"Isabell","last_name":"Drüke"},{"full_name":"Oesterdiekhoff, Brigitte","first_name":"Brigitte","last_name":"Oesterdiekhoff"}],"year":"2005","title":" Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario","status":"public","date_updated":"2022-01-06T06:53:32Z","language":[{"iso":"eng"}],"_id":"18449","user_id":"15415"},{"user_id":"15415","_id":"18450","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:53:32Z","author":[{"full_name":"Oesterdiekhoff, Brigitte","last_name":"Oesterdiekhoff","first_name":"Brigitte"}],"status":"public","title":"Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices","year":"2005","department":[{"_id":"63"}],"type":"conference","date_created":"2020-08-27T12:06:59Z","citation":{"bibtex":"@inproceedings{Oesterdiekhoff_2005, title={Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices}, booktitle={IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, author={Oesterdiekhoff, Brigitte}, year={2005} }","short":"B. Oesterdiekhoff, in: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2005.","ama":"Oesterdiekhoff B. Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices. In: <i>IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. ; 2005.","chicago":"Oesterdiekhoff, Brigitte. “Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices.” In <i>IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, 2005.","ieee":"B. Oesterdiekhoff, “Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices,” in <i>IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, 2005.","apa":"Oesterdiekhoff, B. (2005). Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices. In <i>IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>.","mla":"Oesterdiekhoff, Brigitte. “Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices.” <i>IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, 2005."},"publication":"IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"},{"user_id":"15504","ddc":["040"],"_id":"2212","urn":"22129","date_updated":"2022-01-06T06:55:26Z","has_accepted_license":"1","status":"public","title":"Overlay networks for wireless ad hoc networks","year":"2005","author":[{"id":"20792","full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler"}],"type":"conference","department":[{"_id":"79"}],"oa":"1","file":[{"file_id":"2329","content_type":"application/pdf","relation":"main_file","date_updated":"2018-04-13T08:57:39Z","file_name":"IMA-05.pdf","access_level":"open_access","file_size":295333,"date_created":"2018-04-13T08:57:39Z","creator":"florida"}],"date_created":"2018-04-05T07:05:16Z","file_date_updated":"2018-04-13T08:57:39Z","publication":"IMA Workshop on Wireless Communications","citation":{"short":"C. Scheideler, in: IMA Workshop on Wireless Communications, 2005.","ama":"Scheideler C. Overlay networks for wireless ad hoc networks. In: <i>IMA Workshop on Wireless Communications</i>. ; 2005.","chicago":"Scheideler, Christian. “Overlay Networks for Wireless Ad Hoc Networks.” In <i>IMA Workshop on Wireless Communications</i>, 2005.","bibtex":"@inproceedings{Scheideler_2005, title={Overlay networks for wireless ad hoc networks}, booktitle={IMA Workshop on Wireless Communications}, author={Scheideler, Christian}, year={2005} }","mla":"Scheideler, Christian. “Overlay Networks for Wireless Ad Hoc Networks.” <i>IMA Workshop on Wireless Communications</i>, 2005.","apa":"Scheideler, C. (2005). Overlay networks for wireless ad hoc networks. In <i>IMA Workshop on Wireless Communications</i>.","ieee":"C. Scheideler, “Overlay networks for wireless ad hoc networks,” in <i>IMA Workshop on Wireless Communications</i>, 2005."}},{"publication":"EG Short Presentations","citation":{"ieee":"F. Goetz, T. Junklewitz, and G. Domik, “Real-Time Marching Cubes on the Vertex Shader,” in <i>EG Short Presentations</i>, 2005, pp. 5–8.","apa":"Goetz, F., Junklewitz, T., &#38; Domik, G. (2005). Real-Time Marching Cubes on the Vertex Shader. In J. Dingliana &#38; F. Ganovelli (Eds.), <i>EG Short Presentations</i> (pp. 5–8). The Eurographics Association. <a href=\"https://doi.org/10.2312/egs.20051010\">https://doi.org/10.2312/egs.20051010</a>","chicago":"Goetz, Frank, Theodor Junklewitz, and Gitta Domik. “Real-Time Marching Cubes on the Vertex Shader.” In <i>EG Short Presentations</i>, edited by John Dingliana and Fabio Ganovelli, 5–8. The Eurographics Association, 2005. <a href=\"https://doi.org/10.2312/egs.20051010\">https://doi.org/10.2312/egs.20051010</a>.","short":"F. Goetz, T. Junklewitz, G. Domik, in: J. Dingliana, F. Ganovelli (Eds.), EG Short Presentations, The Eurographics Association, 2005, pp. 5–8.","mla":"Goetz, Frank, et al. “Real-Time Marching Cubes on the Vertex Shader.” <i>EG Short Presentations</i>, edited by John Dingliana and Fabio Ganovelli, The Eurographics Association, 2005, pp. 5–8, doi:<a href=\"https://doi.org/10.2312/egs.20051010\">10.2312/egs.20051010</a>.","bibtex":"@inproceedings{Goetz_Junklewitz_Domik_2005, title={Real-Time Marching Cubes on the Vertex Shader}, DOI={<a href=\"https://doi.org/10.2312/egs.20051010\">10.2312/egs.20051010</a>}, booktitle={EG Short Presentations}, publisher={The Eurographics Association}, author={Goetz, Frank and Junklewitz, Theodor and Domik, Gitta}, editor={Dingliana, John and Ganovelli, FabioEditors}, year={2005}, pages={5–8} }","ama":"Goetz F, Junklewitz T, Domik G. Real-Time Marching Cubes on the Vertex Shader. In: Dingliana J, Ganovelli F, eds. <i>EG Short Presentations</i>. The Eurographics Association; 2005:5-8. doi:<a href=\"https://doi.org/10.2312/egs.20051010\">10.2312/egs.20051010</a>"},"type":"conference","department":[{"_id":"65"}],"date_created":"2021-04-25T17:23:30Z","date_updated":"2022-01-06T06:55:13Z","year":"2005","title":"Real-Time Marching Cubes on the Vertex Shader","status":"public","author":[{"full_name":"Goetz, Frank","first_name":"Frank","last_name":"Goetz"},{"full_name":"Junklewitz, Theodor","first_name":"Theodor","last_name":"Junklewitz"},{"id":"90","last_name":"Domik","first_name":"Gitta","full_name":"Domik, Gitta"}],"doi":"10.2312/egs.20051010","user_id":"14955","editor":[{"last_name":"Dingliana","first_name":"John","full_name":"Dingliana, John"},{"full_name":"Ganovelli, Fabio","last_name":"Ganovelli","first_name":"Fabio"}],"page":"5-8","language":[{"iso":"eng"}],"_id":"21779","publisher":"The Eurographics Association"},{"intvolume":"       159","date_updated":"2022-01-06T07:03:46Z","status":"public","title":"Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference","year":"2005","editor":[{"id":"447","last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan"}],"volume":159,"user_id":"52534","_id":"7781","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","citation":{"ieee":"S. Sauer, Ed., <i>Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference</i>, vol. 159. CEUR-WS.org, 2005.","apa":"Sauer, S. (Ed.). (2005). <i>Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference</i> (Vol. 159). CEUR-WS.org.","chicago":"Sauer, Stefan, ed. <i>Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference</i>. Vol. 159. CEUR Workshop Proceedings. CEUR-WS.org, 2005.","short":"S. Sauer, ed., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference, CEUR-WS.org, 2005.","mla":"Sauer, Stefan, editor. <i>Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference</i>. Vol. 159, CEUR-WS.org, 2005.","bibtex":"@book{Sauer_2005, series={CEUR Workshop Proceedings}, title={Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference}, volume={159}, publisher={CEUR-WS.org}, year={2005}, collection={CEUR Workshop Proceedings} }","ama":"Sauer S, ed. <i>Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference</i>. Vol 159. CEUR-WS.org; 2005."},"department":[{"_id":"66"}],"type":"conference_editor","date_created":"2019-02-19T18:42:18Z"},{"publication":"Software Engineering","citation":{"mla":"Störrle, Harald, and Jan Hendrik Hausmann. “Towards a Formal Semantics of UML 2.0 Activities.” <i>Software Engineering</i>, vol. 64, Gesellschaft für Informatik (GI), 2005, pp. 117–28.","apa":"Störrle, H., &#38; Hendrik Hausmann, J. (2005). Towards a Formal Semantics of UML 2.0 Activities. In <i>Software Engineering</i> (Vol. 64, pp. 117–128). Bonn: Gesellschaft für Informatik (GI).","ieee":"H. Störrle and J. Hendrik Hausmann, “Towards a Formal Semantics of UML 2.0 Activities,” in <i>Software Engineering</i>, 2005, vol. 64, pp. 117–128.","short":"H. Störrle, J. Hendrik Hausmann, in: Software Engineering, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 117–128.","ama":"Störrle H, Hendrik Hausmann J. Towards a Formal Semantics of UML 2.0 Activities. In: <i>Software Engineering</i>. Vol 64. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:117-128.","chicago":"Störrle, Harald, and Jan Hendrik Hausmann. “Towards a Formal Semantics of UML 2.0 Activities.” In <i>Software Engineering</i>, 64:117–28. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005.","bibtex":"@inproceedings{Störrle_Hendrik Hausmann_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Towards a Formal Semantics of UML 2.0 Activities}, volume={64}, booktitle={Software Engineering}, publisher={Gesellschaft für Informatik (GI)}, author={Störrle, Harald and Hendrik Hausmann, Jan}, year={2005}, pages={117–128}, collection={Lecture Notes in Informatics} }"},"date_created":"2019-02-21T11:32:35Z","place":"Bonn","type":"conference","department":[{"_id":"66"}],"title":"Towards a Formal Semantics of UML 2.0 Activities","year":"2005","status":"public","author":[{"full_name":"Störrle, Harald","last_name":"Störrle","first_name":"Harald"},{"full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann","first_name":"Jan"}],"date_updated":"2022-01-06T07:03:48Z","intvolume":"        64","page":"117-128","_id":"7934","publisher":"Gesellschaft für Informatik (GI)","series_title":"Lecture Notes in Informatics","language":[{"iso":"eng"}],"user_id":"52534","volume":64},{"department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T11:32:58Z","place":"Berlin/Heidelberg","citation":{"short":"F. Belli, B. Güldali, in: Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, Berlin/Heidelberg, 2005, pp. 321–331.","chicago":"Belli, Fevzi, and Baris Güldali. “A Holistic Approach to Test-Driven Model Checking.” In <i>Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>, 321–31. LNCS. Berlin/Heidelberg: Springer, 2005.","apa":"Belli, F., &#38; Güldali, B. (2005). A holistic approach to test-driven model checking. In <i>Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i> (pp. 321–331). Berlin/Heidelberg: Springer.","ieee":"F. Belli and B. Güldali, “A holistic approach to test-driven model checking,” in <i>Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>, 2005, pp. 321–331.","ama":"Belli F, Güldali B. A holistic approach to test-driven model checking. In: <i>Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>. LNCS. Berlin/Heidelberg: Springer; 2005:321-331.","bibtex":"@inproceedings{Belli_Güldali_2005, place={Berlin/Heidelberg}, series={LNCS}, title={A holistic approach to test-driven model checking}, booktitle={Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)}, publisher={Springer}, author={Belli, Fevzi and Güldali, Baris}, year={2005}, pages={321–331}, collection={LNCS} }","mla":"Belli, Fevzi, and Baris Güldali. “A Holistic Approach to Test-Driven Model Checking.” <i>Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>, Springer, 2005, pp. 321–31."},"publication":"Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)","user_id":"52534","_id":"7935","series_title":"LNCS","publisher":"Springer","language":[{"iso":"eng"}],"page":"321-331","date_updated":"2022-01-06T07:03:48Z","author":[{"full_name":"Belli, Fevzi","last_name":"Belli","first_name":"Fevzi"},{"full_name":"Güldali, Baris","last_name":"Güldali","first_name":"Baris"}],"year":"2005","title":"A holistic approach to test-driven model checking","status":"public"},{"page":"124-133","_id":"7936","publisher":"ACM Press","language":[{"iso":"eng"}],"user_id":"52534","title":"ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications","status":"public","year":"2005","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"first_name":"Martin","last_name":"Erwig","full_name":"Erwig, Martin"}],"date_updated":"2022-01-06T07:03:48Z","place":"New York, NY, USA","date_created":"2019-02-21T11:33:39Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)","citation":{"apa":"Engels, G., &#38; Erwig, M. (2005). ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. In <i>Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i> (pp. 124–133). New York, NY, USA: ACM Press.","ieee":"G. Engels and M. Erwig, “ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications,” in <i>Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i>, 2005, pp. 124–133.","short":"G. Engels, M. Erwig, in: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA), ACM Press, New York, NY, USA, 2005, pp. 124–133.","chicago":"Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of Spreadsheet Applications from Object-Oriented Specifications.” In <i>Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i>, 124–33. New York, NY, USA: ACM Press, 2005.","mla":"Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of Spreadsheet Applications from Object-Oriented Specifications.” <i>Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i>, ACM Press, 2005, pp. 124–33.","ama":"Engels G, Erwig M. ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. In: <i>Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i>. New York, NY, USA: ACM Press; 2005:124-133.","bibtex":"@inproceedings{Engels_Erwig_2005, place={New York, NY, USA}, title={ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications}, booktitle={Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)}, publisher={ACM Press}, author={Engels, Gregor and Erwig, Martin}, year={2005}, pages={124–133} }"},"abstract":[{"lang":"eng","text":"Spreadsheets are widely used in all kinds of business applications. Numerous studies have shown that they contain many errors that sometimes have dramatic impacts. One reason for this situation is the low-level, cell-oriented development process of spreadsheets. We improve this process by introducing and formalizing a higher-level object-oriented model termed ClassSheet. While still following the tabular look-and-feel of spreadsheets, ClassSheets allow the developer to express explicitly business object structures within a spreadsheet, which is achieved by integrating concepts from the UML (Unified Modeling Language). A stepwise automatic transformation process generates a spreadsheet application that is consistent with the ClassSheet model. Thus, by deploying the formal underpinning of ClassSheets, a large variety of errors can be prevented that occur in many existing spreadsheet applications today. The presented ClassSheet approach links spreadsheet applications to the object-oriented modeling world and advocates an automatic model-driven development process for spreadsheet applications of high quality."}]},{"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:34:17Z","place":"Berlin/Heidelberg","publication":"Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)","citation":{"bibtex":"@inproceedings{Förster_Engels_Schattkowsky_2005, place={Berlin/Heidelberg}, series={LNCS}, title={Activity Diagram Patterns for Modeling Quality Constraints in Business Processes}, volume={3713}, booktitle={Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)}, publisher={Springer}, author={Förster, Alexander and Engels, Gregor and Schattkowsky, Tim}, year={2005}, pages={2–16}, collection={LNCS} }","ama":"Förster A, Engels G, Schattkowsky T. Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. In: <i>Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i>. Vol 3713. LNCS. Berlin/Heidelberg: Springer; 2005:2-16.","mla":"Förster, Alexander, et al. “Activity Diagram Patterns for Modeling Quality Constraints in Business Processes.” <i>Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i>, vol. 3713, Springer, 2005, pp. 2–16.","short":"A. Förster, G. Engels, T. Schattkowsky, in: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2005, pp. 2–16.","chicago":"Förster, Alexander, Gregor Engels, and Tim Schattkowsky. “Activity Diagram Patterns for Modeling Quality Constraints in Business Processes.” In <i>Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i>, 3713:2–16. LNCS. Berlin/Heidelberg: Springer, 2005.","ieee":"A. Förster, G. Engels, and T. Schattkowsky, “Activity Diagram Patterns for Modeling Quality Constraints in Business Processes,” in <i>Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i>, 2005, vol. 3713, pp. 2–16.","apa":"Förster, A., Engels, G., &#38; Schattkowsky, T. (2005). Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. In <i>Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i> (Vol. 3713, pp. 2–16). Berlin/Heidelberg: Springer."},"user_id":"52534","volume":3713,"page":"2-16","language":[{"iso":"eng"}],"_id":"7937","publisher":"Springer","series_title":"LNCS","date_updated":"2022-01-06T07:03:48Z","intvolume":"      3713","year":"2005","status":"public","title":"Activity Diagram Patterns for Modeling Quality Constraints in Business Processes","author":[{"last_name":"Förster","first_name":"Alexander","full_name":"Förster, Alexander"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"}]}]