Search dblp for Publications

• > Home > Search

@article{DBLP:journals/pacmpl/SewellMTKMAO23,
  author       = {Thomas Sewell and
                  Magnus O. Myreen and
                  Yong Kiam Tan and
                  Ramana Kumar and
                  Alexander Mihajlovic and
                  Oskar Abrahamsson and
                  Scott Owens},
  title        = {Cakes That Bake Cakes: Dynamic Computation in CakeML},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{PLDI}},
  pages        = {1121--1144},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591266},
  doi          = {10.1145/3591266},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/SewellMTKMAO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tmi/PourtaherianSKZ17,
  author       = {Arash Pourtaherian and
                  Harm J. Scholten and
                  Lieneke Kusters and
                  Svitlana Zinger and
                  Nenad Mihajlovic and
                  Alexander F. Kolen and
                  Fei Zuo and
                  Gary C. Ng and
                  Hendrikus H. M. Korsten and
                  Peter H. N. de With},
  title        = {Medical Instrument Detection in 3-Dimensional Ultrasound Data Volumes},
  journal      = {{IEEE} Trans. Medical Imaging},
  volume       = {36},
  number       = {8},
  pages        = {1664--1675},
  year         = {2017},
  url          = {https://doi.org/10.1109/TMI.2017.2692302},
  doi          = {10.1109/TMI.2017.2692302},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tmi/PourtaherianSKZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/biocas/BertrandMGHM13,
  author       = {Alexander Bertrand and
                  Vojkan Mihajlovic and
                  Bernard Grundlehner and
                  Chris Van Hoof and
                  Marc Moonen},
  title        = {Motion artifact reduction in {EEG} recordings using multi-channel
                  contact impedance measurements},
  booktitle    = {2013 {IEEE} Biomedical Circuits and Systems Conference (BioCAS), Rotterdam,
                  The Netherlands, October 31 - Nov. 2, 2013},
  pages        = {258--261},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/BioCAS.2013.6679688},
  doi          = {10.1109/BIOCAS.2013.6679688},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/biocas/BertrandMGHM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}