BibTeX records: Magnus Carlsson

download as .bib file

@article{DBLP:journals/cacm/BerndtssonJCS23,
  author       = {Mikael Berndtsson and
                  Anna{-}Carin Jonsson and
                  Magnus Carlsson and
                  Thomas Svahn},
  title        = {A Strategy for Scaling Advanced Analytics},
  journal      = {Commun. {ACM}},
  volume       = {66},
  number       = {12},
  pages        = {29--31},
  year         = {2023},
  url          = {https://doi.org/10.1145/3582075},
  doi          = {10.1145/3582075},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BerndtssonJCS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wetice/AnderssonCO11,
  author       = {Henric Andersson and
                  Magnus Carlsson and
                  Johan {\"{O}}lvander},
  editor       = {Sumitra Reddy and
                  Samir Tata},
  title        = {Towards Configuration Support for Collaborative Simulator Development
                  - {A} Product Line Approach in Model Based Systems Engineering},
  booktitle    = {20th {IEEE} International Workshops on Enabling Technologies: Infrastructures
                  for Collaborative Enterprises, {WETICE} 2011, Paris, France, 27-29
                  June 2011, Proceedings},
  pages        = {185--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WETICE.2011.74},
  doi          = {10.1109/WETICE.2011.74},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/AnderssonCO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/ErkokCW09,
  author       = {Levent Erk{\"{o}}k and
                  Magnus Carlsson and
                  Adam Wick},
  title        = {Hardware/software co-verification of cryptographic algorithms using
                  Cryptol},
  booktitle    = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
                  Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
  pages        = {188--191},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/FMCAD.2009.5351121},
  doi          = {10.1109/FMCAD.2009.5351121},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/ErkokCW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ml/NordlanderCG08,
  author       = {Johan Nordlander and
                  Magnus Carlsson and
                  Andy Gill},
  editor       = {Eijiro Sumii},
  title        = {Unrestricted pure call-by-value recursion},
  booktitle    = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada,
                  September 21, 2008},
  pages        = {23--34},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1411304.1411309},
  doi          = {10.1145/1411304.1411309},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/ml/NordlanderCG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MoranSC03,
  author       = {Andrew Moran and
                  David Sands and
                  Magnus Carlsson},
  title        = {Erratic Fudgets: a semantic theory for an embedded coordination language},
  journal      = {Sci. Comput. Program.},
  volume       = {46},
  number       = {1-2},
  pages        = {99--135},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0167-6423(02)00088-6},
  doi          = {10.1016/S0167-6423(02)00088-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MoranSC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/CarlssonNK03,
  author       = {Magnus Carlsson and
                  Johan Nordlander and
                  Dick Kieburtz},
  editor       = {Atsushi Ohori},
  title        = {The Semantic Layers of Timber},
  booktitle    = {Programming Languages and Systems, First Asian Symposium, {APLAS}
                  2003, Beijing, China, November 27-29, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2895},
  pages        = {339--356},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40018-9\_22},
  doi          = {10.1007/978-3-540-40018-9\_22},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/CarlssonNK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Carlsson02,
  author       = {Magnus Carlsson},
  editor       = {Mitchell Wand and
                  Simon L. Peyton Jones},
  title        = {Monads for incremental computing},
  booktitle    = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
                  USA, October 4-6, 2002},
  pages        = {26--35},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/581478.581482},
  doi          = {10.1145/581478.581482},
  timestamp    = {Wed, 07 Jul 2021 17:30:33 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Carlsson02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isorc/NordlanderJCKB02,
  author       = {Johan Nordlander and
                  Mark P. Jones and
                  Magnus Carlsson and
                  Richard B. Kieburtz and
                  Andrew P. Black},
  title        = {Reactive Objects},
  booktitle    = {5th International Symposiun on Object Oriented Real-Time Distributed
                  Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
  pages        = {155--158},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ISORC.2002.1003682},
  doi          = {10.1109/ISORC.2002.1003682},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/NordlanderJCKB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/MoranSC99,
  author       = {Andrew Moran and
                  David Sands and
                  Magnus Carlsson},
  editor       = {Paolo Ciancarini and
                  Alexander L. Wolf},
  title        = {Erratic Fudgets: {A} Semantic Theory for an Embedded Coordination
                  Language},
  booktitle    = {Coordination Languages and Models, Third International Conference,
                  {COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1594},
  pages        = {85--102},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48919-3\_8},
  doi          = {10.1007/3-540-48919-3\_8},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/MoranSC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/CarlssonH98,
  author       = {Magnus Carlsson and
                  Thomas Hallgren},
  title        = {Fudgets - Purely Functional Processes with applications to Graphical
                  User Interfaces},
  school       = {Chalmers University of Technology, Gothenburg, Sweden},
  year         = {1998},
  url          = {http://publications.lib.chalmers.se/publication/1015-fudgets-purely-functional-processes-with-applications-to-graphical-user-interfaces},
  timestamp    = {Mon, 13 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/CarlssonH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eusipco/SjostromCH96,
  author       = {Ulf Sj{\"{o}}str{\"{o}}m and
                  Magnus Carlsson and
                  Magnus H{\"{o}}rlin},
  title        = {Design and implementation of a digital down converter chip},
  booktitle    = {8th European Signal Processing Conference, {EUSIPCO} 1996, Trieste,
                  Italy, 10-13 September, 1996},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {1996},
  url          = {https://ieeexplore.ieee.org/document/7082946/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eusipco/SjostromCH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/afp/HallgrenC95,
  author       = {Thomas Hallgren and
                  Magnus Carlsson},
  editor       = {Johan Jeuring and
                  Erik Meijer},
  title        = {Programming with Fudgets},
  booktitle    = {Advanced Functional Programming, First International Spring School
                  on Advanced Functional Programming Techniques, B{\aa}stad, Sweden,
                  May 24-30, 1995, Tutorial Text},
  series       = {Lecture Notes in Computer Science},
  volume       = {925},
  pages        = {137--182},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59451-5\_5},
  doi          = {10.1007/3-540-59451-5\_5},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/afp/HallgrenC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.