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

Marcos Vescovi

dblp:36/5452 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
0since 2021 · last 2011
—ORCID · none

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

Artificial intelligence and machine learning · 3 · 2 first-authorGraphics, computer vision, multimedia, augmented reality and games · 3 · 2 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author

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.

Theoretical computer science
1 paper
Automated reasoning and model checking · 50% Mathematical optimization · 50%
Artificial intelligence
2 papers
Knowledge representation and reasoning · 100%
Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

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

TopicWeightPapersLastEvidence papers
Mathematical optimization › numerical computation
numerical simulation
0.011995
Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems · IJCAI 1995
Knowledge, reasoning and agents › Knowledge representation and reasoning
causal reasoning
0.011993
CFRL: A Language for Specifying the Causal Functionality of Engineered Devices · AAAI 1993
Programming languages and type systems
domain-specific languages
0.011993
CFRL: A Language for Specifying the Causal Functionality of Engineered Devices · AAAI 1993

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

qualitative reasoning · 0.0interval arithmetic · 0.0
YearPublicationVenuePosition
2011 Robustifying the Scrum Agile Methodology for the Development of Complex, Critical and Fast-changing Enterprise Software
Marcos Vescovi, Flávio Miguel Varejão, Vagner Cordeiro
ENASE1
1995 Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems
Marcos Vescovi, Adam Farquhar, Yumi Iwasaki
IJCAI1
1993 CFRL: A Language for Specifying the Causal Functionality of Engineered Devices
Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran 0001
AAAI1
1993 How Things are Intended to Work: Capturing Functional Knowledge in Device Design
Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran 0001
IJCAI3