BibTeX records: Friederike Nickl

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Friederike Nickl

download as .bib file

@inproceedings{DBLP:conf/gi/BreuGHMMNW16,
  author       = {Ruth Breu and
                  Wolfgang Glock and
                  Gabriele Haller and
                  Thomas Matzner and
                  Gerhard M{\"{u}}ller and
                  Friederike Nickl and
                  Oliver Wiegert},
  editor       = {Heinrich C. Mayr and
                  Martin Pinzger},
  title        = {Software-Engineering f{\"{u}}r Multi-Plattform-Umgebungen},
  booktitle    = {46. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
                  von Menschen f{\"{u}}r Menschen, {INFORMATIK} 2016, Klagenfurt,
                  Austria, September 26-30, 2016},
  series       = {{LNI}},
  volume       = {{P-259}},
  pages        = {177--178},
  publisher    = {{GI}},
  year         = {2016},
  url          = {https://dl.gi.de/handle/20.500.12116/1101},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/BreuGHMMNW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/swqd/PekarFBNRS16,
  author       = {Viktor Pekar and
                  Michael Felderer and
                  Ruth Breu and
                  Friederike Nickl and
                  Christian Ro{\ss}ik and
                  Franz Schwarcz},
  editor       = {Dietmar Winkler and
                  Stefan Biffl and
                  Johannes Bergsmann},
  title        = {Integrating a Lightweight Risk Assessment Approach into an Industrial
                  Development Process},
  booktitle    = {Software Quality. The Future of Systems- and Software Development,
                  8th International Conference, {SWQD} 2016, Vienna, Austria, January
                  18-21, 2016, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {238},
  pages        = {186--198},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-27033-3\_13},
  doi          = {10.1007/978-3-319-27033-3\_13},
  timestamp    = {Fri, 25 Jan 2019 12:00:39 +0100},
  biburl       = {https://dblp.org/rec/conf/swqd/PekarFBNRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/FahneyMN07,
  author       = {Ralf Fahney and
                  Thomas Matzner and
                  Friederike Nickl},
  editor       = {Heinz{-}Gerd Hegering and
                  Axel Lehmann and
                  Hans J{\"{u}}rgen Ohlbach and
                  Christian Scheideler},
  title        = {Workshop Requirements Engineering und IT-Architektur: eine gewinnbringende
                  Koalition?},
  booktitle    = {38. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Beherrschbare
                  Systeme - dank Informatik, {INFORMATIK} 2008, Munich, Germany, September
                  8-13, 2008, Band 2},
  series       = {{LNI}},
  volume       = {{P-134}},
  pages        = {817--818},
  publisher    = {{GI}},
  year         = {2008},
  url          = {https://dl.gi.de/handle/20.500.12116/21290},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/FahneyMN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/modellierung/BrennerGN06,
  author       = {Michael Brenner and
                  Markus Garschhammer and
                  Friederike Nickl},
  editor       = {Heinrich C. Mayr and
                  Ruth Breu},
  title        = {Requirements Engineering und {IT} Service Management - Ansatzpunte
                  einer integrierten Sichtweise},
  booktitle    = {Modellierung 2006, 22.-24. M{\"{a}}rz 2006, Innsbruck, Tirol,
                  Austria, Proceedings},
  series       = {{LNI}},
  volume       = {{P-82}},
  pages        = {51--66},
  publisher    = {{GI}},
  year         = {2006},
  url          = {https://dl.gi.de/handle/20.500.12116/24244},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modellierung/BrennerGN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/modellierung/NicklD04,
  author       = {Friederike Nickl and
                  Christine Dobis},
  editor       = {Bernhard Rumpe and
                  Wolfgang Hesse},
  title        = {Wiederverwendung durch Ablaufmodellierung bei der Migration eines
                  Vertragsverwaltungssystems},
  booktitle    = {Modellierung 2004, Proceedings zur Tagung, 23.-26. M{\"{a}}rz
                  2004, Marburg, Proceedings},
  series       = {{LNI}},
  volume       = {{P-45}},
  pages        = {247--250},
  publisher    = {{GI}},
  year         = {2004},
  url          = {https://dl.gi.de/handle/20.500.12116/29227},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modellierung/NicklD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/HaxthausenN96,
  author       = {Anne Elisabeth Haxthausen and
                  Friederike Nickl},
  editor       = {Martin Wirsing and
                  Maurice Nivat},
  title        = {Pushouts of Order-Sorted Algebraic Specifications},
  booktitle    = {Algebraic Methodology and Software Technology, 5th International Conference,
                  {AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1101},
  pages        = {132--147},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0014312},
  doi          = {10.1007/BFB0014312},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/HaxthausenN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/LechnerLNW96,
  author       = {Ulrike Lechner and
                  Christian Lengauer and
                  Friederike Nickl and
                  Martin Wirsing},
  editor       = {Pierre Cointe},
  title        = {(Objects + Concurrency) {\&} Reusability - {A} Proposal to Circumvent
                  the Inheritance Anomaly},
  booktitle    = {ECOOP'96 - Object-Oriented Programming, 10th European Conference,
                  Linz, Austria, July 8-12, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1098},
  pages        = {232--247},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0053064},
  doi          = {10.1007/BFB0053064},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/LechnerLNW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/Nickl94,
  author       = {Friederike Nickl},
  editor       = {Bernd E. Wolfinger},
  title        = {Ablaufspezifikation durch Datenflu{\ss}diagramme und Axiome},
  booktitle    = {Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung
                  f{\"{u}}r die Informatik, 24. GI-Jahrestagung im Rahmen des 13th
                  World Computer Congress, {IFIP} Congress '94, Hamburg, 28. August
                  - 2. September 1994},
  series       = {Informatik Aktuell},
  pages        = {10--18},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/978-3-642-51136-3\_2},
  doi          = {10.1007/978-3-642-51136-3\_2},
  timestamp    = {Tue, 23 May 2017 01:10:34 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Nickl94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ershov/NicklW93,
  author       = {Friederike Nickl and
                  Martin Wirsing},
  editor       = {Dines Bj{\o}rner and
                  Manfred Broy and
                  Igor V. Pottosin},
  title        = {A Formal Approach to Requirements Engineering (Invited Paper)},
  booktitle    = {Formal Methods in Programming and Their Applications, International
                  Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2,
                  1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {735},
  pages        = {312--334},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0039717},
  doi          = {10.1007/BFB0039717},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/NicklW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/prospectra/BreuBGN93,
  author       = {Michael Breu and
                  Manfred Broy and
                  Thomas Gr{\"{u}}nler and
                  Friederike Nickl},
  editor       = {Berthold Hoffmann and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Semantics of PA\({}^{\mbox{nn}}\)dA-S},
  booktitle    = {Program Development by Specification and Transformation, The {PROSPECTRA}
                  Methodology, Language Family, and System},
  series       = {Lecture Notes in Computer Science},
  volume       = {680},
  pages        = {171--222},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56733-X\_149},
  doi          = {10.1007/3-540-56733-X\_149},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/prospectra/BreuBGN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:tr/tum/TUM-I-9334,
  author       = {Friederike Nickl},
  title        = {Ablaufspezifikation durch Datenflussmodellierung und stromverarbeitende
                  Funktionen},
  journal      = {Forschungsberichte, {TU} Munich},
  volume       = {{TUM} {I} 9334},
  pages        = {1--57},
  year         = {1993},
  url          = {https://d-nb.info/941678652},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/tr/tum/TUM-I-9334.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compass/HennickerN92,
  author       = {Rolf Hennicker and
                  Friederike Nickl},
  editor       = {Hartmut Ehrig},
  title        = {A Behavioural Algebraic Framework for Modular System Design with Reuse},
  booktitle    = {Recent Trends in Data Type Specification, 9th Workshop on Specification
                  of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
                  de Malavella, Spain, October 26-30, 1992, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {785},
  pages        = {220--234},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57867-6\_13},
  doi          = {10.1007/3-540-57867-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/compass/HennickerN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/Nickl89,
  author       = {Friederike Nickl},
  editor       = {Burkhard Monien and
                  Robert Cori},
  title        = {Algebraic Specifications for Domain THeory},
  booktitle    = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer
                  Science, Paderborn, FRG, February 16-18, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {349},
  pages        = {360--374},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0028999},
  doi          = {10.1007/BFB0028999},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Nickl89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Nickl88,
  author       = {Friederike Nickl},
  title        = {Algebraic specification of semantic domain constructions},
  school       = {University of Passau, Germany},
  year         = {1988},
  url          = {https://d-nb.info/890894876},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Nickl88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Nickl88,
  author       = {Friederike Nickl},
  editor       = {Hartmut Ehrig},
  title        = {Order-Theoretic Specification of Algebras with Non-Monotonic Operations},
  booktitle    = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University
                  of Berlin, Germany},
  year         = {1988},
  timestamp    = {Fri, 19 Jul 2019 16:40:27 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Nickl88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Nickl86,
  author       = {Friederike Nickl},
  editor       = {Klaus Drosten and
                  Hans{-}Dieter Ehrich and
                  Martin Gogolla and
                  Udo W. Lipeck},
  title        = {On the Solution of Recursive Domain Equations Inside an Algebraic
                  Framework},
  booktitle    = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
                  of Braunschweig, Germany},
  year         = {1986},
  timestamp    = {Fri, 19 Jul 2019 16:40:26 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Nickl86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/BauerB85,
  author       = {Friedrich L. Bauer and
                  Rudolf Berghammer and
                  Manfred Broy and
                  Walter Dosch and
                  Franz Geiselbrechtinger and
                  Rupert Gnatz and
                  E. Hangel and
                  Wolfgang Hesse and
                  Bernd Krieg{-}Br{\"{u}}ckner and
                  Alfred Laut and
                  Thomas Matzner and
                  Bernhard M{\"{o}}ller and
                  Friederike Nickl and
                  Helmuth Partsch and
                  Peter Pepper and
                  Klaus Samelson and
                  Martin Wirsing and
                  Hans W{\"{o}}ssner},
  title        = {The Munich Project CIP, Volume {I:} The Wide Spectrum Language {CIP-L}},
  series       = {Lecture Notes in Computer Science},
  volume       = {183},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15187-7},
  doi          = {10.1007/3-540-15187-7},
  isbn         = {3-540-15187-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/BauerB85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.