BibTeX records: Wim Simoens

• > Home > Persons > Wim Simoens

@inproceedings{DBLP:conf/hci/StrackeDFLS20,
  author       = {Christian M. Stracke and
                  Guido van Dijk and
                  Jan Fasen and
                  Fred Lisdat and
                  Wim Simoens},
  editor       = {Panayiotis Zaphiris and
                  Andri Ioannou},
  title        = {A Holistic Pedagogical Model for {STEM} Learning and Education Inside
                  and Outside the Classroom},
  booktitle    = {Learning and Collaboration Technologies. Designing, Developing and
                  Deploying Learning Experiences - 7th International Conference, {LCT}
                  2020, Held as Part of the 22nd {HCI} International Conference, {HCII}
                  2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12205},
  pages        = {568--581},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50513-4\_41},
  doi          = {10.1007/978-3-030-50513-4\_41},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/StrackeDFLS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BandaHBDJS96,
  author       = {Maria J. Garc{\'{\i}}a de la Banda and
                  Manuel V. Hermenegildo and
                  Maurice Bruynooghe and
                  Veroniek Dumortier and
                  Gerda Janssens and
                  Wim Simoens},
  title        = {Global Analysis of Constraint Logic Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {18},
  number       = {5},
  pages        = {564--614},
  year         = {1996},
  url          = {https://doi.org/10.1145/232706.232734},
  doi          = {10.1145/232706.232734},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BandaHBDJS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/MulkersSJB95,
  author       = {Anne Mulkers and
                  Wim Simoens and
                  Gerda Janssens and
                  Maurice Bruynooghe},
  editor       = {Leon Sterling},
  title        = {On the Practicality of Abstract Equation Systems},
  booktitle    = {Logic Programming, Proceedings of the Twelfth International Conference
                  on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages        = {781--795},
  publisher    = {{MIT} Press},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MulkersSJB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cc/JanssensS94,
  author       = {Gerda Janssens and
                  Wim Simoens},
  editor       = {Peter Fritzson},
  title        = {On the Implementation of Abstract Interpretation Systems for (Constraint)
                  Logic Programs},
  booktitle    = {Compiler Construction, 5th International Conference, CC'94, Edinburgh,
                  UK, April 7-9, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {786},
  pages        = {172--187},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-57877-3\_12},
  doi          = {10.1007/3-540-57877-3\_12},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/JanssensS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}