93The high burden of rehospitalisations following transcatheter aortic valve implantation von Aagaard, D T, Fosbol, E L, De Backer, O, Borgersen, E, Gislason, G, Torp-Pedersen, C T, Sondergaard, L, Kober, L, Butt, J

Volltext

P4799Long-term thromboembolic risk in patients with postoperative atrial fibrillation after left-sided heart valve surgery von Butt, J H, Olesen, J B, Gundlund, A, Olsen, P S, Havers-Borgersen, E, Aagaard, D T, Gislason, G H, Torp-Pedersen, C, Kober, L, Fosbol, E L

Volltext

P2523Cardiovascular risk according to add-on therapy in patients with type 2 diabetes von Aagaard, D T, Nielsen Christiansen, M, Madvig Mogensen, U, Bundgaard, J, Rorth, R, Madelaire, C, Loldrup Fosbol, E, Schou, M, Torp-Pedersen, C, Gislason, G, Kober, L, Lund Kristensen, S

Volltext

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, Proceedings von Aagaard, Mark D, O'Leary, John W

Volltext

Initiation of Antiretroviral Therapy in Early Asymptomatic HIV Infection von Lundgren, Jens D, Babiker, Abdel G, Gordin, Fred, Emery, Sean, Grund, Birgit, Sharma, Shweta, Avihingsanon, Anchalee, Cooper, David A, Fätkenheuer, Gerd, Llibre, Josep M, Molina, Jean-Michel, Munderi, Paula, Schechter, Mauro, Wood, Robin, Klingman, Karin L, Collins, Simon, Lane, H Clifford, Phillips, Andrew N, Neaton, James D

Volltext

Smart Play-out of Behavioral Requirements von Harel, David, Kugler, Hillel, Marelly, Rami, Pnueli, Amir

Volltext

Modeling and Verification of Out-of-Order Microprocessors in UCLID von Lahiri, Shuvendu K., Seshia, Sanjit A., Bryant, Randal E.

Volltext

Qubos: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers von Ayari, Abdelwaheb, Basin, David

Volltext

Counter-Example Based Predicate Discovery in Predicate Abstraction von Das, Satyaki, Dill, David L.

Volltext

Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths von Ciardo, Gianfranco, Siminiceanu, Radu

Volltext

On Solving Presburger and Linear Arithmetic with SAT von Strichman, Ofer

Volltext

Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods von Ganesh, Vijay, Berezin, Sergey, Dill, David L.

Volltext

Relating Multi-step and Single-Step Microprocessor Correctness Statements von Aagaard, Mark D., Day, Nancy A., Lou, Meng

Volltext

A Fixpoint Based Encoding for Bounded Model Checking von Frisch, Alan, Sheridan, Daniel, Walsh, Toby

Volltext

Analysis of Symbolic SCC Hull Algorithms von Somenzi, Fabio, Ravi, Kavita, Bloem, Roderick

Volltext

Input/Output Compatibility of Reactive Systems von Carmona, Josep, Cortadella, Jordi

Volltext

Abstraction by Symbolic Indexing Transformations von Melham, Thomas F., Jones, Robert B.

Volltext

Mechanical Verification of a Square Root Algorithm Using Taylor’s Theorem von Sawada, Jun, Gamboa, Ruben

Volltext

Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries von McKeever, Steve, Luk, Wayne, Derbyshire, Arran

Volltext

Why START? Reflections that led to the conduct of this large long‐term strategic HIV trial von Lundgren, Jens, Babiker, Abdel, Gordin, Fred, Emery, Sean, Fätkenheuer, Gerd, Molina, Jean-Michel, Wood, Robin, Neaton, James D

Volltext