Publications of Gerda Janssens

period 2008 - 2013

Articles in internationally reviewed journals

5 references

• Fierens, Daan; Van den Broeck, Guy; Renkens, Joris; Shterionov, Dimitar; Gutmann, Bernd; Thon, Ingo; Janssens, Gerda; De Raedt, Luc. Inference and learning in probabilistic logic programs using weighted Boolean formulas, Theory and Practice of Logic Programming, 2013 (Accepted)

  @article{392821,
    author = "Fierens, Daan and Van den Broeck, Guy and Renkens, Joris and Shterionov, Dimitar and Gutmann, Bernd and Thon, Ingo and Janssens, Gerda and De Raedt, Luc",
    title = "Inference and learning in probabilistic logic programs using weighted {B}oolean formulas",
    journal = "Theory and Practice of Logic Programming",
    year = "2013",
    note = "Accepted",
    url = "https://lirias.kuleuven.be/handle/123456789/392821",
  }
  

• Quan, Phan; Janssens, Gerda; Somogyi, Zoltan. Region-based memory management for Mercury programs, Theory and Practice of Logic Programming, 2013 (Accepted)

  @article{316452,
    author = "Quan, Phan and Janssens, Gerda and Somogyi, Zoltan",
    title = "Region-based memory management for {M}ercury programs",
    journal = "Theory and Practice of Logic Programming",
    year = "2013",
    note = "Accepted",
    url = "https://lirias.kuleuven.be/handle/123456789/316452",
  }
  

• Paridel, Koosha; Mantadelis, Theofrastos; Yasar, Ansar-Ul-Haque; Preuveneers, Davy; Janssens, Gerda; Vanrompay, Yves; Berbers, Yolande. Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation, Journal of Ambient Intelligence and Humanized Computing, volume 3, pages 1-16, 2012

  @article{350308,
    author = "Paridel, Koosha and Mantadelis, Theofrastos and Yasar, Ansar-Ul-Haque and Preuveneers, Davy and Janssens, Gerda and Vanrompay, Yves and Berbers, Yolande",
    title = "Analyzing the efficiency of context-based grouping on collaboration in {VANET}s with large-scale simulation",
    journal = "Journal of Ambient Intelligence and Humanized Computing",
    volume = "3",
    pages = "1--16",
    month = May,
    year = "2012",
    doi = "10.1007/s12652-012-0115-1",
    url = "https://lirias.kuleuven.be/handle/123456789/350308",
  }
  

• Verdoolaege, Sven; Janssens, Gerda; Bruynooghe, Maurice. Equivalence checking of static affine programs using widening to handle recurrences, ACM Transactions on Programming Languages and Systems, volume 34, issue 3, pages 11:1-11:35, 2012

  @article{359595,
    author = "Verdoolaege, Sven and Janssens, Gerda and Bruynooghe, Maurice",
    title = "Equivalence checking of static affine programs using widening to handle recurrences",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "34",
    number = "3",
    pages = "11:1--11:35",
    month = Oct,
    year = "2012",
    doi = "10.1145/2362389.2362390",
    url = "https://lirias.kuleuven.be/handle/123456789/359595",
  }
  

• Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky. Experience with widening based equivalence checking in realistic multimedia systems, Journal of Electronic Testing, volume 26, issue 2, pages 279-292, 2010

  @article{255141,
    author = "Verdoolaege, Sven and Palkovic, Martin and Bruynooghe, Maurice and Janssens, Gerda and Catthoor, Francky",
    title = "Experience with widening based equivalence checking in realistic multimedia systems",
    journal = "Journal of Electronic Testing",
    volume = "26",
    number = "2",
    pages = "279--292",
    year = "2010",
    doi = "10.1007/s10836-009-5140-4",
    url = "https://lirias.kuleuven.be/handle/123456789/255141",
  }
  

Books, internationally recognised scientific publisher; as editor

1 reference

• De Schreye, Danny; Janssens, Gerda; King, Andy (eds.), Proceedings of Principles and Practice of Declarative Programming, PPDP'12, PPDP, Leuven, 19-21 September 2012, volume ACM 2012, ACM, 2012, isbn 978-145-031-522-7

  @book{369442,
    editor = "De Schreye, Danny and Janssens, Gerda and King, Andy",
    title = "Proceedings of {P}rinciples and {P}ractice of {D}eclarative {P}rogramming, {PPDP}'12",
    publisher = "ACM",
    year = "2012",
    url = "https://lirias.kuleuven.be/handle/123456789/369442",
  }
  

Papers at international conferences and symposia, published in full in proceedings

16 references

• Renkens, Joris; Shterionov, Dimitar; Van den Broeck, Guy; Vlasselaer, Jonas; Fierens, Daan; Meert, Wannes; Janssens, Gerda; De Raedt, Luc. ProbLog2: From probabilistic programming to statistical relational learning, Roy, Daniel; Mansinghka, Vikash; Goodman, Noah (eds.), NIPS Probabilistic Programming Workshop, Lake Tahoe, USA, 7-8 December 2012, Proceedings of the NIPS Probabilistic Programming Workshop

  @inproceedings{369427,
    author = "Renkens, Joris and Shterionov, Dimitar and Van den Broeck, Guy and Vlasselaer, Jonas and Fierens, Daan and Meert, Wannes and Janssens, Gerda and De Raedt, Luc",
    title = "Prob{L}og2: {F}rom probabilistic programming to statistical relational learning",
    booktitle = "Proceedings of the NIPS Probabilistic Programming Workshop, ",
    editor = "Roy, Daniel and Mansinghka, Vikash and Goodman, Noah",
    month = Dec,
    year = "2012",
    url = "https://lirias.kuleuven.be/handle/123456789/369427",
  }
  

• De Cat, Broes; Machiels, Christophe; Janssens, Gerda; Denecker, Marc. Regularity requirements in university course timetabling, Workshop on Preferences and Soft Constraints, Perugia, 12 September 2011, Proceedings of the 11th Workshop on Preferences and Soft Constraints (SofT 2011), pages 31-45

  @inproceedings{316464,
    author = "De Cat, Broes and Machiels, Christophe and Janssens, Gerda and Denecker, Marc",
    title = "Regularity requirements in university course timetabling",
    booktitle = "Proceedings of the 11th Workshop on Preferences and Soft Constraints (SofT 2011), ",
    pages = "31--45",
    month = Sep,
    year = "2011",
    url = "https://lirias.kuleuven.be/handle/123456789/316464",
  }
  

• Mantadelis, Theofrastos; Janssens, Gerda. Nesting probabilistic inference, Abreu, Salvador; Santos Costa, Vitor (eds.), International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Lexington, Kentucky, USA, 10 July 2011, CICLOPS, pages 1-16

  @inproceedings{316482,
    author = "Mantadelis, Theofrastos and Janssens, Gerda",
    title = "Nesting probabilistic inference",
    booktitle = "CICLOPS, ",
    editor = "Abreu, Salvador and Santos Costa, Vitor",
    pages = "1--16",
    month = Jul,
    year = "2011",
    url = "https://lirias.kuleuven.be/handle/123456789/316482",
  }
  

• Mantadelis, Theofrastos; Paridel, Koosha; Janssens, Gerda; Vanrompay, Yves; Berbers, Yolande. Analysing a publish/subscribe system for mobile ad hoc networks with ProbLog, Rocha, Ricardo; Launchbury, John (eds.), PADL, Austin, 24-25 January 2011, LNCS Series, volume 6539, pages 34-37, Springer

  @inproceedings{284687,
    author = "Mantadelis, Theofrastos and Paridel, Koosha and Janssens, Gerda and Vanrompay, Yves and Berbers, Yolande",
    title = "Analysing a publish/subscribe system for mobile ad hoc networks with {P}rob{L}og",
    booktitle = "LNCS Series, ",
    editor = "Rocha, Ricardo and Launchbury, John",
    publisher = "Springer",
    pages = "34--37",
    month = Jan,
    year = "2011",
    doi = "10.1007/978-3-642-18378-2\_{}5",
    url = "https://lirias.kuleuven.be/handle/123456789/284687",
  }
  

• Shterionov, Dimitar; Janssens, Gerda. Data acquisition and modeling for learning and reasoning in probabilistic logic environment, Antunes, Luis; Pinto, H. Sofia; Prada, Rui; Trigo, Paulo (eds.), Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, 10-13 October 2011, Proceedings of the 15th Portuguese Conference on Artificial Intelligence, pages 298-312

  @inproceedings{316487,
    author = "Shterionov, Dimitar and Janssens, Gerda",
    title = "Data acquisition and modeling for learning and reasoning in probabilistic logic environment",
    booktitle = "Proceedings of the 15th Portuguese Conference on Artificial Intelligence, ",
    editor = "Antunes, Luis and Pinto, H. Sofia and Prada, Rui and Trigo, Paulo",
    pages = "298--312",
    month = Oct,
    year = "2011",
    url = "https://lirias.kuleuven.be/handle/123456789/316487",
  }
  

• Bruynooghe, Maurice; Mantadelis, Theofrastos; Kimmig, Angelika; Gutmann, Bernd; Vennekens, Joost; Janssens, Gerda; De Raedt, Luc. ProbLog technology for inference in a probabilistic first order logic, Coelho, Helder; Studer, Rudi; Woolridge, Michael (eds.), European Conference on Artificial Intelligence, Lisbon, Portugal, 16-20 August 2010, ECAI 2010 - 19th European Conference on Artificial Intelligence, pages 719-724, IOS Press

  @inproceedings{268374,
    author = "Bruynooghe, Maurice and Mantadelis, Theofrastos and Kimmig, Angelika and Gutmann, Bernd and Vennekens, Joost and Janssens, Gerda and De Raedt, Luc",
    title = "Prob{L}og technology for inference in a probabilistic first order logic",
    booktitle = "ECAI 2010 - 19th European Conference on Artificial Intelligence, ",
    editor = "Coelho, Helder and Studer, Rudi and Woolridge, Michael",
    publisher = "IOS Press",
    pages = "719--724",
    month = Aug,
    year = "2010",
    doi = "10.3233/978-1-60750-606-5-719",
    url = "https://lirias.kuleuven.be/handle/123456789/268374",
  }
  

• Mantadelis, Theofrastos; Janssens, Gerda. Dedicated tabling for a probabilistic setting, Hermenegildo, Manuel; Schaub, Torsten (eds.), International Conference on Logic Programming, Edinburgh, Scotland, July 16-19, Technical Communications of the 26th International Conference on Logic Programming, volume 7, pages 124-133, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2010

  @inproceedings{269696,
    author = "Mantadelis, Theofrastos and Janssens, Gerda",
    title = "Dedicated tabling for a probabilistic setting",
    booktitle = "Technical Communications of the 26th International Conference on Logic Programming, ",
    editor = "Hermenegildo, Manuel and Schaub, Torsten",
    publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
    location = "Dagstuhl, Germany",
    pages = "124--133",
    month = Jun,
    year = "2010",
    doi = "10.4230/LIPIcs.ICLP.2010.124",
    url = "https://lirias.kuleuven.be/handle/123456789/269696",
  }
  

• Mantadelis, Theofrastos; Janssens, Gerda. Variable compression in ProbLog, Fermüller, Christian; Voronkov, Andrei (eds.), Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Yogyakarta, Indonesia, 10-15 October 2010, Lecture Notes in Computer Science, volume 6397, pages 504-518, Springer-Verlag's

  @inproceedings{274400,
    author = "Mantadelis, Theofrastos and Janssens, Gerda",
    title = "Variable compression in {P}rob{L}og",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Ferm{\"u}ller, Christian and Voronkov, Andrei",
    publisher = "Springer-Verlag's",
    pages = "504--518",
    month = Oct,
    year = "2010",
    doi = "10.1007/978-3-642-16242-8\_{}36",
    url = "https://lirias.kuleuven.be/handle/123456789/274400",
  }
  

• Mantadelis, Theofrastos; Rocha, Ricardo; Kimmig, Angelika; Janssens, Gerda. Preprocessing Boolean formulae for BDDs in a probabilistic context, Janhunen, Tomi; Niemelä, Ilkka (eds.), The European Conference on Logics in Artificial Intelligence, Helsinki, 13-15 September 2010, Logics in Artificial Intelligence, 12th European Conference, JELIA 2010, Proceedings, volume 6341, issue 12, pages 260-272, Springer

  @inproceedings{270070,
    author = "Mantadelis, Theofrastos and Rocha, Ricardo and Kimmig, Angelika and Janssens, Gerda",
    title = "Preprocessing {B}oolean formulae for {BDD}s in a probabilistic context",
    booktitle = "Logics in Artificial Intelligence, 12th European Conference, JELIA 2010, Proceedings, ",
    editor = "Janhunen, Tomi and Niemel{\"a}, Ilkka",
    publisher = "Springer",
    location = "Berlin / Heidelberg",
    pages = "260--272",
    month = Sep,
    year = "2010",
    doi = "10.1007/978-3-642-15675-5\_{}23",
    url = "https://lirias.kuleuven.be/handle/123456789/270070",
  }
  

• Shterionov, Dimitar; Kimmig, Angelika; Mantadelis, Theofrastos; Janssens, Gerda. DNF sampling for ProbLog inference, International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Edinburgh, Scotland, 15 July 2010, Proceedings International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), 15 pages

  @inproceedings{269697,
    author = "Shterionov, Dimitar and Kimmig, Angelika and Mantadelis, Theofrastos and Janssens, Gerda",
    title = "{DNF} sampling for {P}rob{L}og inference",
    booktitle = "Proceedings International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), ",
    pages = "15",
    month = Jul,
    year = "2010",
    url = "https://lirias.kuleuven.be/handle/123456789/269697",
  }
  

• Mantadelis, Theofrastos; Janssens, Gerda. Tabling relevant parts of SLD proofs for ground goals in a probabilistic setting, Tarau, Paul; Moura, Paulo; Zhou, Neng-Fa (eds.), International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Pasadena, California, USA, 14-17 July 2009

  @inproceedings{231065,
    author = "Mantadelis, Theofrastos and Janssens, Gerda",
    title = "Tabling relevant parts of {SLD} proofs for ground goals in a probabilistic setting",
    booktitle = "International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Pasadena, California, USA, 14-17 July 2009",
    editor = "Tarau, Paul and Moura, Paulo and Zhou, Neng-Fa",
    month = Jul,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/231065",
  }
  

• Phan, Quan; Janssens, Gerda. More precise region-based memory management for Mercury programs, International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Pasadena, California, USA, 17 July, 2009, Proceedings of CICLOPS 2009, pages 1-15

  @inproceedings{231069,
    author = "Phan, Quan and Janssens, Gerda",
    title = "More precise region-based memory management for {M}ercury programs",
    booktitle = "Proceedings of CICLOPS 2009, ",
    pages = "1--15",
    month = Jul,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/231069",
  }
  

• Phan, Quan; Janssens, Gerda. Path-sensitive region analysis for Mercury programs, International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Coimbra, Portugal, 7-9 September 2009, Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 161-169, ACM Press

  @inproceedings{235661,
    author = "Phan, Quan and Janssens, Gerda",
    title = "Path-sensitive region analysis for {M}ercury programs",
    booktitle = "Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, ",
    publisher = "ACM Press",
    pages = "161--169",
    year = "2009",
    doi = "10.1145/1599410.1599431",
    url = "https://lirias.kuleuven.be/handle/123456789/235661",
  }
  

• Verdoolaege, Sven; Janssens, Gerda; Bruynooghe, Maurice. Equivalence checking of static affine programs using widening to handle recurrences, Bouajjani, Ahmed; Maler, Oded (eds.), Computer Aided Verification CAV 09, Grenoble, France, June 26-July 2 2009, Lecture Notes in Computer Science, volume 5643, pages 599-613, Springer

  @inproceedings{228370,
    author = "Verdoolaege, Sven and Janssens, Gerda and Bruynooghe, Maurice",
    title = "Equivalence checking of static affine programs using widening to handle recurrences",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Bouajjani, Ahmed and Maler, Oded",
    publisher = "Springer",
    pages = "599--613",
    month = Jun,
    year = "2009",
    doi = "10.1007/978-3-642-02658-4\_{}44",
    url = "https://lirias.kuleuven.be/handle/123456789/228370",
  }
  

• Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky. Experience with widening based equivalence checking in realistic multimedia systems, High Level Design Validation and Test Workshop, San Francisco, 4-6 November 2009, High Level Design Validation and Test Workshop, 2009, pages 122-129, IEEE International

  @inproceedings{242220,
    author = "Verdoolaege, Sven and Palkovic, Martin and Bruynooghe, Maurice and Janssens, Gerda and Catthoor, Francky",
    title = "Experience with widening based equivalence checking in realistic multimedia systems",
    booktitle = "High Level Design Validation and Test Workshop, 2009, ",
    publisher = "IEEE International",
    pages = "122--129",
    month = Nov,
    year = "2009",
    doi = "10.1109/HLDVT.2009.5340164",
    url = "https://lirias.kuleuven.be/handle/123456789/242220",
  }
  

• Phan, Quan; Somogyi, Zoltan; Janssens, Gerda. Runtime support for region-based memory management in Mercury, International Symposium on Memory Management, Tucson, Arizona, USA, 6-8 June 2008

  @inproceedings{176490,
    author = "Phan, Quan and Somogyi, Zoltan and Janssens, Gerda",
    title = "Runtime support for region-based memory management in {M}ercury",
    booktitle = "International Symposium on Memory Management, Tucson, Arizona, USA, 6-8 June 2008",
    year = "2008",
    doi = "10.1145/1375634.1375644",
    url = "https://lirias.kuleuven.be/handle/123456789/176490",
  }
  

Meeting abstracts, presented at international conferences and symposia

2 references

• De Raedt, Luc; Demoen, Bart; Fierens, Daan; Gutmann, Bernd; Janssens, Gerda; Kimmig, Angelika; Landwehr, Niels; Mantadelis, Theofrastos; Meert, Wannes; Rocha, Ricardo; Santos Costa, Vitor; Thon, Ingo; Vennekens, Joost. Towards digesting the alphabet-soup of statistical relational learning, NIPS*2008 Workshop Probabilistic Programming, Whistler, Canada, December 13th, 2008

  @unpublished{206421,
    author = "De Raedt, Luc and Demoen, Bart and Fierens, Daan and Gutmann, Bernd and Janssens, Gerda and Kimmig, Angelika and Landwehr, Niels and Mantadelis, Theofrastos and Meert, Wannes and Rocha, Ricardo and Santos Costa, Vitor and Thon, Ingo and Vennekens, Joost",
    title = "Towards digesting the alphabet-soup of statistical relational learning",
    note = "NIPS*2008 Workshop Probabilistic Programming, Whistler, Canada, December 13th, 2008",
    month = Dec,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/206421",
  }
  

• Mantadelis, Theofrastos; Demoen, Bart; Janssens, Gerda. A simplified fast interface for the use of CUDD for Binary Decision Diagrams, A BDD Tool for Statistical Relational Learning., SimpleCUDD, Computer Intelligence and Learning PhD student day (collocated with ECML PKDD 2008), Antwerp, 15-19 September 2008

  @unpublished{253405,
    author = "Mantadelis, Theofrastos and Demoen, Bart and Janssens, Gerda",
    title = "A simplified fast interface for the use of {CUDD} for {B}inary {D}ecision {D}iagrams",
    note = "Computer Intelligence and Learning PhD student day (collocated with ECML PKDD 2008), Antwerp, 15-19 September 2008",
    month = Sep,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/253405",
  }
  

Meeting abstracts, presented at other conferences and symposia

1 reference

• Verdoolaege, Sven; Janssens, Gerda; Bruynooghe, Maurice. Equivalence checking of static affine programs using widening to handle recurrences, ACES Symposium, Edegem, Belgium, 17-18 September 2008, Eighth ACES Symposium

  @unpublished{197756,
    author = "Verdoolaege, Sven and Janssens, Gerda and Bruynooghe, Maurice",
    title = "Equivalence checking of static affine programs using widening to handle recurrences",
    note = "ACES Symposium, Edegem, Belgium, 17-18 September 2008",
    booktitle = "Eighth ACES Symposium",
    month = Sep,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/197756",
  }
  

Thesis

2 references

• Mantadelis, Theofrastos. Efficient Algorithms for Prolog Based Probabilistic Logic Programming , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, November 2012, 208 pages, isbn: 978-946-018-594-6, Janssens, Gerda (supervisor)

  @phdthesis{362695,
    author = "Mantadelis, Theofrastos",
    title = "Efficient {A}lgorithms for {P}rolog {B}ased {P}robabilistic {L}ogic {P}rogramming ",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    pages = "208",
    month = Nov,
    year = "2012",
    note = "Janssens, Gerda (supervisor)",
    url = "https://lirias.kuleuven.be/handle/123456789/362695",
  }
  

• Phan, Quan. Region-Based Memory Management for the Logic Programming Language Mercury , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, November 2009, Janssens, Gerda (supervisor)

  @phdthesis{246866,
    author = "Phan, Quan",
    title = "Region-{B}ased {M}emory {M}anagement for the {L}ogic {P}rogramming {L}anguage {M}ercury ",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    month = Nov,
    year = "2009",
    note = "Janssens, Gerda (supervisor)",
    url = "https://lirias.kuleuven.be/handle/123456789/246866",
  }
  

Internal reports

5 references

• Mantadelis, Theofrastos; Janssens, Gerda. Variable compression in ProbLog (technical report), CW Reports, volume CW586, 11 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2010

  @techreport{269741,
    author = "Mantadelis, Theofrastos and Janssens, Gerda",
    title = "Variable compression in {P}rob{L}og (technical report)",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW586",
    month = May,
    year = "2010",
    url = "https://lirias.kuleuven.be/handle/123456789/269741",
  }
  

• Phan, Quan; Janssens, Gerda. Region-based memory management for Mercury programs. Part 1: Region analysis and transformation, CW Reports, volume CW540, 32 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2009

  @techreport{228760,
    author = "Phan, Quan and Janssens, Gerda",
    title = "Region-based memory management for {M}ercury programs. {P}art 1: {R}egion analysis and transformation",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW540",
    month = Apr,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/228760",
  }
  

• Verdoolaege, Sven; Janssens, Gerda; Bruynooghe, Maurice. Equivalence checking of static affine programs using widening to handle recurrences, CW Reports, volume CW565, 31 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2009

  @techreport{247407,
    author = "Verdoolaege, Sven and Janssens, Gerda and Bruynooghe, Maurice",
    title = "Equivalence checking of static affine programs using widening to handle recurrences",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW565",
    month = Sep,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/247407",
  }
  

• Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky. Experience with widening based equivalence checking in realistic multimedia systems, CW Reports, volume CW572, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2009

  @techreport{254275,
    author = "Verdoolaege, Sven and Palkovic, Martin and Bruynooghe, Maurice and Janssens, Gerda and Catthoor, Francky",
    title = "Experience with widening based equivalence checking in realistic multimedia systems",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW572",
    month = Dec,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/254275",
  }
  

• Shashidhar, K. C.; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda. Automatic verification of source code transformations on array-intensive programs: demonstration with real-life examples, CW Reports, volume CW401, 13 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2008

  @techreport{197750,
    author = "Shashidhar, K. C. and Bruynooghe, Maurice and Catthoor, Francky and Janssens, Gerda",
    title = "Automatic verification of source code transformations on array-intensive programs: demonstration with real-life examples",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW401",
    month = May,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/197750",
  }
  

Misc.

1 reference

• Kimmig, Angelika; Gutmann, Bernd; Mantadelis, Theofrastos; Van den Broeck, Guy; Santos Costa, Vitor; Janssens, Gerda; De Raedt, Luc. ProbLog, ALP Newsletter, 3 pages, June 2011

  @misc{311832,
    author = "Kimmig, Angelika and Gutmann, Bernd and Mantadelis, Theofrastos and Van den Broeck, Guy and Santos Costa, Vitor and Janssens, Gerda and De Raedt, Luc",
    title = "Prob{L}og",
    journal = "ALP Newsletter",
    publisher = "Association for Logic Programming",
    pages = "3",
    month = Jun,
    year = "2011",
    url = "https://lirias.kuleuven.be/handle/123456789/311832",
  }
  

No publications found for the period 2008-2013 and the types

• Articles in other journals
• Books, internationally recognised scientific publisher; as author
• Other published books; as author
• Other published books; as editor
• Article in book, internationally recognised scientific publisher
• Article in other published book
• Papers at other conferences and symposia, published in full in proceedings
• Review
• Translation without scientific introduction
• Scientific popularisation
• External reports

 
Last update local database Sun Jun 16 2013 0:17 am; It contains 146 publications of Gerda Janssens.