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
Demo Data from VLDB 2026 / reviewers in the wild / expert

A. Miara

dblp:56/10968 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
0since 2021 · last 1980
—ORCID · none

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

Systems, architecture and hardware · 3 · 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.

Computer architecture, parallel and distributed computing, and storage systems
3 papers
Electronic design automation · 86% Performance modeling and evaluation · 14%

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

TopicWeightPapersLastEvidence papers
Electronic design automation
hardware verification and test		 0.031980
Methods for generalized deductive fault simulation · DAC 1980
SILOG: A practical tool for large digital network simulation · DAC 1979
Dynamic and deductive fault simulation · DAC 1978
Electronic design automation › hardware verification and test › fault simulation
deductive fault simulation		 0.021980
Methods for generalized deductive fault simulation · DAC 1980
Dynamic and deductive fault simulation · DAC 1978
Performance modeling and evaluation › simulation › communication system simulation
network simulation		 0.011979
SILOG: A practical tool for large digital network simulation · DAC 1979
Electronic design automation › hardware verification and test
fault simulation		 0.011978
Dynamic and deductive fault simulation · DAC 1978
Electronic design automation
fault propagation		 0.011980
Methods for generalized deductive fault simulation · DAC 1980

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

unknown fault list · 0.0rise and fall time modeling · 0.0logic simulation · 0.0dynamic fault simulation · 0.0deductive fault simulation · 0.0
YearPublicationVenuePosition
1980 Methods for generalized deductive fault simulation
abstract
In this paper, the authors describe methods for generalized deductive fault simulation of digital networks. By introducing the notion of unknown fault list, the propagation algorithm through gates modelized with rise and fall times are simplified with the same accuracy.
Norbert Giambiasi, A. Miara, D. Muriach
 DAC2
1979 SILOG: A practical tool for large digital network simulation
Norbert Giambiasi, A. Miara, D. Muriach
 DAC2
1978 Dynamic and deductive fault simulation
A. Miara, Norbert Giambiasi
 DAC1