Protective vaccination against infectious bursal disease virus with whole recombinant Kluyveromyces lactis yeast expressing the viral VP2 subunit
Arnold, Marina, Durairaj, Vijay, Mundt, Egbert, Schulze, Katja, Breunig, Karin D, Behrens, Sven-Erik
Published in PloS one (14.09.2012)
Published in PloS one (14.09.2012)
Get full text
Journal Article
Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies
Get full text
Book Chapter
Conference Proceeding
Guiding CNF-SAT Search by Analyzing Constraint-Variable Dependencies and Clause Lengths
Durairaj, V., Kalla, P.
Published in 2006 IEEE International High Level Design Validation and Test Workshop (01.11.2006)
Published in 2006 IEEE International High Level Design Validation and Test Workshop (01.11.2006)
Get full text
Conference Proceeding
Efficient Transistor-Level Symbolic Timing Simulation Using Cached Partial Circuit States
McDonald, Clayton B., Chou, Hsinwei, Durairaj, Vijay, Lin, Pey-Chang Kent
Published in Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (02.11.2015)
Published in Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (02.11.2015)
Get full text
Conference Proceeding
Guiding CNF-SAT search via efficient constraint partitioning
Durairaj, V., Kalla, P.
Published in IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 (07.11.2004)
Published in IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 (07.11.2004)
Get full text
Conference Proceeding