Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(3)
Christoph Meinel
2
Jochen Bern
2
Jordan Gergov
1
Conferences
(1)
EURODAC
1
Journals
(1)
TCAD
1
Keywords
(11)
Embed
Subscribe
Academic
Authors
Anna Slobodovii
Edit
Anna Slobodovii
Slovak Academy of Sciences
Publications: 3
|
Citations: 11
|
G-Index: 3
|
H-Index: 2
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Hardware & Architecture
View FAQ about top research area and research interests
Collaborated with
3 co-authors
from 1994 to 1996
; Cited by
20 authors
Bing
Cumulative
Annual
Order by:
Publications
(3)
BibTeX
|
RIS
|
RefWorks
Download
Global rebuilding of OBDD's avoiding memory requirement maxima
(
Citations: 3
)
Jochen Bern
,
Christoph Meinel
,
Anna Slobodovii
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - TCAD
, vol. 15, no. 1, pp. 131-134, 1996
Belief updating
A. Slobodovii
Published in 1995.
Boolean Manipulation with Free BDD's. First Experimental Results
(
Citations: 8
)
Jochen Bern
,
Jordan Gergov
,
Christoph Meinel
,
Anna Slobodovii
Conference:
European Design and Test Conference - EURODAC
, pp. 200-207, 1994
Order by:
Citations
(11 times by 11 publications)
FSM Encoding for BDD Representations
(
Citations: 2
)
Wilsin Gosti
,
Tiziano Villa
,
Alexander Saldanha
,
Alberto L. Sangiovanni-vincentelli
Journal:
Applied Mathematics and Computer Science
, vol. 17, no. 1, pp. 113-124, 2007
Decomposable negation normal form
(
Citations: 108
)
Adnan Darwiche
Journal:
Journal of The ACM - JACM
, vol. 48, no. 4, pp. 608-647, 2001
A Comparison of Free BDDs and Transformed BDDs
Detlef Sieling
,
Ingo Wegener
Journal:
Formal Methods in System Design - FMSD
, vol. 19, no. 3, pp. 223-236, 2001
On the generation of multiplexer circuits for pass transistor logic
(
Citations: 26
)
Christoph Scholl
,
Bernd Becker
Conference:
Design, Automation, and Test in Europe - DATE
, pp. 372-379, 2000
Free MDD-based software optimization techniques for embedded systems
(
Citations: 7
)
Chunghee Kim
,
Luciano Lavagno
,
Alberto L. Sangiovanni-Vincentelli
Conference:
Design, Automation, and Test in Europe - DATE
, pp. 14-19, 2000
Comments