Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Pierre Wolper

Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A well-known and powerful constraint model reformulation is to compute the solutions to a model part, say a custom constraint… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
2012
Highly Cited
2012
The article examines incentives for exclusive distribution of premium television programming. Static analysis shows that a… Expand
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Feature models are commonly used to specify variability in software product lines. Several tools support feature models for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
2009
2009
This thesis presents an experimental study of a filamentary microplasma discharge inside liquid water. Such plasmas are used for… Expand
Is this relevant?
2009
2009
Purpose – The purpose of this paper is to contribute to the growing literature on the policy impact of ideas and related cultural… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This article explores the formation of post–Soviet Russian national identity through a study of political struggles over key… Expand
Is this relevant?
2001
2001
Motivated by the problem of query answering over multiple structured commonsense theories, we exploit graph-based techniques to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2001
2001
This research concerns the problem of the evaluation of the railway infrastructure capacity. It is an important question when… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
available to surgeons is most clearly seen in the field of dental surgery. Scientific and technical knowledge increased so much… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Authentication protocols are the basis of security in many distributed systems, and it is therefore essential to ensure that… Expand
Is this relevant?