Old Web
English
Sign In
Acemap
>
authorDetail
>
Poul Frederick Williams
Poul Frederick Williams
Technical University of Denmark
Boolean expression
Canonical form
Discrete mathematics
Model checking
Binary decision diagram
3
Papers
111
Citations
0.01
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Chapter 14: Climate change impacts, vulnerabilities and adaptations: Western and Central Pacific Ocean marine fisheries
2018
Johann D. Bell
Allain
A. Sen Gupta
Justin Johnson
John Hampton
Alistair J. Hobday
Patrick Lehodey
Andrew Lenton
B. Moore
Pratchett
Inna Senina
Neville Smith
Poul Frederick Williams
Show All
Source
Cite
Save
Citations (6)
Combining Decision Diagrams and SAT Procedure sfo rEcien tSymboli cModel Checking
2000
Poul Frederick Williams
Armin Biere
Edmund M. Clarke
Anubhav Gupta
Show All
Source
Cite
Save
Citations (0)
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
2000
CAV | Computer Aided Verification
Poul Frederick Williams
Armin Biere
Edmund M. Clarke
Anubhav Gupta
Show All
Source
Cite
Save
Citations (105)
1