Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Claudine Pradelles

dblp:46/5558 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
0since 2021 · last 1993
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2Theory of computation · 2Artificial intelligence and machine learning · 1Graphics, computer vision, multimedia, augmented reality and games · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation
circuit simulation
0.011989
Simulation of Hybrid Circuits in Constraint Logic Programming · IJCAI 1989
Electronic design automation
hardware verification and test
0.011989
Simulation of Hybrid Circuits in Constraint Logic Programming · IJCAI 1989
Logic in computer science › logic programming
constraint logic programming
0.011989
Simulation of Hybrid Circuits in Constraint Logic Programming · IJCAI 1989

Methods — techniques the papers use, named apart from their topics

constraint logic programming · 0.0
YearPublicationVenuePosition
1993 APPLAUSE: Applications Using the ElipSys Parallel CLP System
Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Zissis Palaskas, Takis Stamatopoulos, Dominic A. Clark, Sylvie Doursenot, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu
ICLP6
1991 Applications of Constraints Logic Programming Languages
Jean-Jacques Chabrier, Claudine Pradelles, Bruno Legeard
ICLP2
1989 Simulation of Hybrid Circuits in Constraint Logic Programming
Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer
IJCAI3