Université Washington de Saint-Louis < Université catholique de Louvain < Université chinoise de Hong Kong

Facettes :

List of bibliographic references indexed by Université catholique de Louvain

Number of relevant bibliographic references: 16.

Ident.	Authors (with country if any)	Title
001139 (2008)	Jean Vanderdonckt [Belgique] ; Manuel Gonzalez Calleros [Belgique]	Task-Driven Plasticity: One Step Forward with UbiDraw
001818 (2006)	Raphaël Collet [Belgique] ; Peter Van Roy [Belgique]	Failure Handling in a Network-Transparent Distributed Programming Language
001836 (2006)	Peter Van Roy [Belgique]	Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place
001949 (2005)	Luis Quesada [Belgique] ; Peter Van Roy [Belgique] ; Yves Deville [Belgique] ; Raphaël Collet [Belgique]	Using Dominators for Solving Constrained Path Problems
001969 (2005)	Fred Spiessens [Belgique] ; Peter Van Roy [Belgique]	The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
001993 (2005)	Luis Quesada [Belgique] ; Peter Van Roy [Belgique] ; Yves Deville [Belgique]	Speeding Up Constrained Path Solvers with a Reachability Propagator
001A49 (2005)	Raphaël Collet [Belgique]	Playing the Minesweeper with Constraints
001A53 (2005)	Valentin Mesaros [Belgique] ; Bruno Carton [Belgique] ; Peter Van Roy [Belgique]	P2PS: Peer-to-Peer Development Platform for Mozart
001B61 (2005)	Gregoire Dooms [Belgique] ; Yves Deville [Belgique] ; Pierre Dupont [Belgique]	CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
001B81 (2005)	Donatien Grolaux [Belgique] ; Jean Vanderdonckt [Belgique] ; Peter Van Roy [Belgique]	Attach Me, Detach Me, Assemble Me Like You Work
001B84 (2005)	Stéphane Zampelli [Belgique] ; Yves Deville [Belgique] ; Pierre Dupont [Belgique]	Approximate Constrained Subgraph Matching
001B99 (2005)	Isabelle Dony [Belgique] ; Baudouin Le Charlier [Belgique]	A Program Verification System Based on Oz
001C00 (2005)	Fred Spiessens [Belgique] ; Peter Van Roy [Belgique]	A Practical Formal Model for Safety Analysis in Capability-Based Systems
001C05 (2005)	Grégoire Dooms [Belgique] ; Yves Deville [Belgique] ; Pierre Dupont [Belgique]	A Mozart Implementation of CP(BioNet)
001C07 (2005)	Donatien Grolaux [Belgique] ; Kevin Glynn [Belgique] ; Peter Van Roy [Belgique]	A Fault Tolerant Abstraction for Transparent Distributed Programming
002647 (2001)	Donatien Grolaux [Belgique] ; Peter Van Roy [Belgique] ; Jean Vanderdonckt [Belgique]	QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i -k "Université catholique de Louvain" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i  \
                -Sk "Université catholique de Louvain" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Musique
   |area=    MozartV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffOrg.i
   |clé=    Université catholique de Louvain
}}

---

This area was generated with Dilib version V0.6.20. Data generation: Sun Apr 10 15:06:14 2016. Site generation: Tue Feb 7 15:40:35 2023