dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Maurice Bruynooghe (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt: ProbLog Technology for Inference in a Probabilistic First Order Logic. ECAI 2010: 719-724
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. J. Electronic Testing 26(2): 279-292 (2010)
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Verdoolaege, Gerda Janssens, Maurice Bruynooghe: Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. CAV 2009: 599-613
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Experience with widening based equivalence checking in realistic multimedia systems. HLDVT 2009: 122-129
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor: A practical dynamic single assignment transformation. ACM Trans. Design Autom. Electr. Syst. 12(4): (2007)
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code CoRR abs/0710.4689: (2007)
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor: Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. APLAS 2005: 330-346
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Verification of Source Code Transformations by Program Equivalence Checking. CC 2005: 221-236
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. DATE 2005: 1310-1315
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Multi-dimentsional Incremetal Loops Fusion for Data Locality. ASAP 2003: 17-27
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. J. UCS 9(3): 248-269 (2003)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRemko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Storage Size Reduction by In-place Mapping of Arrays. VMCAI 2002: 167-181
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. Electr. Notes Theor. Comput. Sci. 65(2): 67-82 (2002)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe: Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. ICLP 2001: 105-119
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe: Practical Aspects for a Working Compile Time Garbage Collection System for Mercury CoRR cs.PL/0110037: (2001)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNancy Mazur, Gerda Janssens, Maurice Bruynooghe: A Module Based Analysis for Memory Reuse in Mercury. Computational Logic 2000: 1255-1269
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens: Project Report on LP+: A Second Generation Logic Programming Language. AI Commun. 13(1): 13-18 (2000)
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Gerda Janssens, Andreas Kågedal: Live-Structure Analysis for Logic Programming Languages with Declarations. ICLP 1997: 33-47
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens: Global Analysis of Constraint Logic Programs. ACM Trans. Program. Lang. Syst. 18(5): 564-614 (1996)
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe: On the Practicality of Abstract Equation Systems. ICLP 1995: 781-795
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerda Janssens, Maurice Bruynooghe, Veroniek Dumortier: A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. ILPS 1995: 336-350
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerda Janssens, Maurice Bruynooghe, Vincent Englebert: Abstracting Numerical Values in CLP(H, N). PLILP 1994: 400-414
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVeroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish: Freeness Analysis in the Presence of Numerical Constraints. ICLP 1993: 100-115
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Gerda Janssens: Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. META 1992: 294-307
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerda Janssens, Maurice Bruynooghe: Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. J. Log. Program. 13(2&3): 205-258 (1992)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Veroniek Dumortier, Gerda Janssens: Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. PDK 1991: 309-317
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerda Janssens, Maurice Bruynooghe: On Abstracting the Procedural Behaviour of Logic Programs. RCLP 1991: 240-262
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe: The Impact of Abstract Interpretation: An Experiment in Code Generation. ICLP 1989: 33-47
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Gerda Janssens: An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. ICLP/SLP 1988: 669-683
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen: Abstract Interpretation: Towards the Global Optimization of Prolog Programs. SLP 1987: 192-204

Selection of 30 from 209 records - Maurice Bruynooghe has 104 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page