Demo Data from SIGIR 2026 / reviewers in the wild / expert
Eugenia Shkel
dblp:126/2679
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 1997
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 first-authorSystems, architecture and hardware · 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.
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% | |
| Artificial intelligence
1 paper |
Robot manipulation · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Robotics › Robot manipulation
grasping |
0.0 | 1 | 1997 | Specifying and verifying visual grasping tasks · ICRA 1997 |
Robotics › Robot manipulation › grasping
visual grasping |
0.0 | 1 | 1997 | Specifying and verifying visual grasping tasks · ICRA 1997 |
Methods — techniques the papers use, named apart from their topics
formal mathematical reasoning · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1997 | Specifying and verifying visual grasping tasksabstractThis paper presents an approach to the specification of requirements, and verification of design, for a robot or other intelligent system. The approach is demonstrated on a typical robotic task-visual grasping. Formal mathematical reasoning is used to show that a design conforms to the system requirements. Typically the requirements define safety and functionality constraints on the system and components. Formal analysis allows the system designer to evaluate the system behavior and verify the system parameters that guarantee safe and robust system performance. Eugenia Shkel, Nicola J. Ferrier |
ICRA | 1 |