Concepedia

Anders Franzén

AF

Statistics

Publications

6

Citations

169

H-Index

6

Active since

2006

Affiliations

University of Trento(Current)

Tata Institute of Fundamental Research

Anders Franzén is an author at University of Trento specializing in computer science, computing, and theory of computation.

Publications per year

2006–2010

6

Publications

6

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Roberto Cavada, Alessandro Cimatti, Anders Franzén et al. · Formal Methods in Computer-Aided Design · 2007 · 45 citations

Computing, Computer Science, Algorithms +12

Encoding RTL Constructs for MathSAT: a Preliminary Report

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Electronic Notes in Theoretical Computer Science · 2006 · 39 citations · Full text

Engineering, Computer Engineering, Computer Science +13

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Roberto Cavada, Alessandro Cimatti, Anders Franzén et al. · 2007 · 27 citations

Computing, Computer Science, Algorithms +12

Applying SMT in symbolic execution of microcode

Anders Franzén, Alessandro Cimatti, Alexander Nadel et al. · Institutional Research Information System (Università degli Studi di Trento) · 2010 · 24 citations · Full text

Computing, Computer Engineering, Computer Science +15

Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis

Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén et al. · Annals of Mathematics and Artificial Intelligence · 2009 · 21 citations

Computing, Computer Science, Mathematics +6

1–5 of 6