Skip to search formSkip to main contentSkip to account menu

Pierre Wolper

Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Computer scienceGödel PrizeParis Kanellakis AwardSymposium on Logic in Computer Science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
“De vuelta al baile del sincretismo”
A partir de la decada del 40, sociologos y antropologos brasilenos adoptaban el concepto de sincretismo en sus estudios sobre las… 
Review
2015
Review
2015
To not forget: Pierre Hadot’s last book on Goethe. Pierre Hadot, N’oublie pas de vivre: pas de vivre: Goethe et la tradition des exercises spirituels (Albin Michel, 2008)
N’Oublie pas de vivre: Goethe et la tradition des exercises spirituels, which has remained untranslated, has hitherto attracted… 
2012
2012
Generalized Shape Optimization using XFEM and Level Set Description
CAD based shape optimization aims at finding the shapes of internal and external boundaries of a structural components. The… 
2012
2012
A Unified Approach to Routing Protection in IP Networks
Routing failures are common on the Internet and routing protocols can not always react fast enough to recover from them, which… 
Review
2009
Review
2009
Sex and the New Medieval Literature of Confession, 1150-1300
This volume rounds out an important trilogy of studies by Pierre Payer on the topic of sex in the ecclesiastical thought and… 
2007
2007
Ask not what philosophy can do for critical management studies
In seeking to re-evaluate praxis and contribute to the current Critical Management Studies (CMS) debate, this paper pursues a… 
2003
2003
Plagues, poisons and potions: plague-spreading conspiracies in the western Alps c. 1530–1640
(p. 258). That this could take on the functions of the soul was recognized (and welcomed). Francois Azouvi examines the work of… 
1990
1990
Systèmes d'accès à des ressources documentaires : vers des anté-serveurs intelligents
Un systeme documentaire est modelise par trois fonctions : la fonction d'indexation dont on etudie les hypotheses permettant l… 
1989
1989
Plotin, Traité 38, VI, 7. Int. trad, commentaire et notes par Pierre Hadot, 1988
1979
1979
Singing in French: A Manual of French Diction and French Vocal Repertoire
List of Musical Examples. Foreword by Pierre Bernac. Preface. 1. An Introduction to Singing in French. 2. Singing the Sounds of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)