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… 
2014
2014
La lexicografía bilingüe español-francés de los siglos XVI y XVII: estudio y edición del "Diccionario español" de Fr. Pierre Séguin
Esta tesis doctoral ofrece una edicion critica y un estudio filologico del Diccionario espanol (c. 1618) del lexicografo frances… 
2013
2013
Changement climatique et risque hydrologique : évaluation de la méthode SCHADEX en contexte non-stationnaire
Depuis 2006, Electricite de France (EDF) applique une nouvelle approche hydroclimatologique de predetermination des pluies et… 
2012
2012
Pierre Loti photographe
2012
2012
A “Hungarian experience”
Travelling is often a path to awareness. French travelers in Hungary between the two wars were penetrating another world which… 
2010
2010
Litter and living plants have contrasting effects on seedling recruitment in subalpine grasslands.
Laboratoire d’Ecologie Alpine, CNRS UMR 5553, Université Joseph Fourier, BP 53, 38041 Grenoble Cedex 9, France, e-mail: flore… 
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… 
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
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)