References of "Gribomont, Pascal"
     in
Bookmark and Share    
Full Text
See detailEpistemic Logic
Gochet, Paul ULg; Gribomont, Pascal ULg

in Gabbay, Dov; Woods, John (Eds.) Handbook of the History of Logic, vol. 7 (2006)

Detailed reference viewed: 71 (15 ULg)
Full Text
See detailAlgorithms for Relevant Logic
Gochet, Paul ULg; Gribomont, Pascal ULg; Rossetto, Didier

in Vanderveken, Daniel (Ed.) Logic, Thought and Action (2005)

Detailed reference viewed: 19 (3 ULg)
Full Text
Peer Reviewed
See detailCombining Non-stably Infinite, Non-first Order Theories
Fontaine, Pascal; Gribomont, Pascal ULg

in Electronic Notes in Theoretical Computer Science (2005), 125(3), 37-51

Detailed reference viewed: 17 (6 ULg)
Full Text
See detailApplied Logics for Computer Science
Gochet, Paul ULg; Gribomont, Pascal ULg

in Weingartner, Paul (Ed.) Alternative Logics. Do Sciences Nedd Them? (2004)

Detailed reference viewed: 19 (6 ULg)
Full Text
Peer Reviewed
See detailDecidability of invariant validation for paramaterized systems
Fontaine, Pascal; Gribomont, Pascal ULg

in Lecture Notes in Computer Science (2003), 2619

Detailed reference viewed: 19 (4 ULg)
Full Text
Peer Reviewed
See detailSimplification of boolean verification conditions
Gribomont, Pascal ULg

in Theoretical Computer Science (2000), 239(1), 165-185

Detailed reference viewed: 32 (11 ULg)
See detailLogique : méthodes pour l'intelligence artificielle
Gochet, Paul ULg; Gribomont, Pascal ULg; Thayse, André

Book published by Hermès (2000)

Detailed reference viewed: 147 (10 ULg)
See detailEléments de programmation en Scheme
Gribomont, Pascal ULg

Book published by Dunod (2000)

Detailed reference viewed: 65 (13 ULg)
Peer Reviewed
See detailUsing OBDD's for the Validation of Skolem Verification Conditions
Gribomont, Pascal ULg; Salloum, Nachaat

in Automated Deduction-CADE-16 (1999)

Detailed reference viewed: 14 (0 ULg)
Peer Reviewed
See detailAutomated verification of szymanski's algorithm
Gribomont, Pascal ULg; Zenner, Guy

in Tools and Algorithms for the Construction and Analysis of Systems (1998)

Detailed reference viewed: 10 (0 ULg)
Peer Reviewed
See detailAtomicity refinement and trace reduction theorems
Gribomont, Pascal ULg

in Computer Aided Verification (1996)

Detailed reference viewed: 6 (0 ULg)
Peer Reviewed
See detailPreprocessing for invariant validation
Gribomont, Pascal ULg

in Algebraic Methodology and Software Technology (1996)

Detailed reference viewed: 6 (0 ULg)
Peer Reviewed
See detailAlgorithms for relevant logic
Gochet, Paul; Gribomont, Pascal ULg; Rossetto, Didier

in Logique et Analyse (1995), 38(150-152), 329-346

Detailed reference viewed: 8 (0 ULg)
Peer Reviewed
See detailCAVEAT: technique and tool for computer aided verification and transformation
Gribomont, Pascal ULg; Rossetto, Didier

in Computer Aided Verification (1995)

Detailed reference viewed: 10 (0 ULg)
Peer Reviewed
See detailGeneric systolic arrays: A methodology for systolic design
Gribomont, Pascal ULg; Van Dongen, Vincent

in TAPSOFT'93: Theory and Practice of Software Development (1993)

Detailed reference viewed: 6 (0 ULg)
Peer Reviewed
See detailConcurrency without toil: a systematic method for parallel program design
Gribomont, Pascal ULg

in Science of Computer Programming (1993), 21(1), 1-56

Detailed reference viewed: 10 (0 ULg)
See detailLogique : méthodes pour l'informatique fondamentale
Gochet, Paul; Gribomont, Pascal ULg

Book published by Hemès (1992)

Detailed reference viewed: 10 (0 ULg)
Peer Reviewed
See detailFrom synchronous to asynchronous communication
Gribomont, Pascal ULg

in Specification and Verification of Concurrent Systems (1990)

Detailed reference viewed: 7 (0 ULg)