Initial Use of Ambrisentan plus Tadalafil in Pulmonary Arterial Hypertension von Galiè, Nazzareno, Barberà, Joan A, Frost, Adaani E, Ghofrani, Hossein-Ardeschir, Hoeper, Marius M, McLaughlin, Vallerie V, Peacock, Andrew J, Simonneau, Gérald, Vachiery, Jean-Luc, Grünig, Ekkehard, Oudiz, Ronald J, Vonk-Noordegraaf, Anton, White, R. James, Blair, Christiana, Gillies, Hunter, Miller, Karen L, Harris, Julia H.N, Langley, Jonathan, Rubin, Lewis J

Volltext

The survival of patients with heart failure with preserved or reduced left ventricular ejection fraction: an individual patient data meta-analysis von Berry, C, Doughty, R.N., Granger, C, Kober, L, Massie, B, McAlister, F, McMurray, J, Pocock, S, Poppe, K, Swedberg, Karl, Andersson, Bert

Volltext

Ultrafilter logic and generic reasoning von Carnielli, W. A., Veloso, P. A. S.

Volltext

PDL for structured data: a graph-calculus approach von Veloso, P. A. S., Veloso, S. R. M., Benevides, M. R. F.

Volltext

Differing prognostic value of pulse pressure in patients with heart failure with reduced or preserved ejection fraction: results from the MAGGIC individual patient meta-analysis von Jackson, Colette E, Castagno, Davide, Maggioni, Aldo P, Køber, Lars, Squire, Iain B, Swedberg, Karl, Andersson, Bert, Richards, A Mark, Bayes-Genis, Antoni, Tribouilloy, Christophe, Dobson, Joanna, Ariti, Cono A, Poppe, Katrina K, Earle, Nikki, Whalley, Gillian, Pocock, Stuart J, Doughty, Robert N, McMurray, John J V

Volltext

Methodical specification of abstract data types via rewriting systems von Veloso, P. A. S.

Volltext

On vague notions and modalities: a modular approach von Veloso, P. A. S., Veloso, S. R. M., Viana, P., Freitas, R. d., Benevides, M., Delgado, C.

Volltext

Natural Deduction for ‘Generally’ von Vana, Leonardo B., Veloso, Paulo A. S., Veloso, Sheila R. M.

Volltext

On pushout consistency, modularity and interpolation for logical specifications von Veloso, Paulo A.S.

Volltext

On a Graph Calculus for Algebras of Relations von de Freitas, R., Veloso, P. A. S., Veloso, S. R. M., Viana, P.

Volltext

Comparing data type specifications via their normal forms von Remy, J. L., Veloso, P. A. S.

Volltext

On methods for safe introduction of operations von Veloso, Paulo A.S., Veloso, Sheila R.M.

Volltext

Review: Book Review von Veloso, P. A. S.

Volltext

On the Modularization Theorem for logical specifications von Veloso, Paulo A.S, Maibaum, Thomas S.E

Volltext

The effect of triple therapy on the mortality of catastrophic anti-phospholipid syndrome patients von Rodríguez-Pintó, Ignasi, Espinosa, Gerard, Erkan, Doruk, Shoenfeld, Yehuda, Cervera, Ricard

Volltext

Pediatric catastrophic antiphospholipid syndrome: Descriptive analysis of 45 patients from the “CAPS Registry” von Berman, Horacio, Rodríguez-Pintó, Ignasi, Cervera, Ricard, Gregory, Simone, de Meis, Ernesto, Rodrigues, Carlos Ewerton Maia, Aikawa, Nádia Emi, de Carvalho, Jozélio Freire, Springer, Janusz, Niedzwiecki, Maciej, Espinosa, Gerard

Volltext

Specification of data bases through rewriting rules von Furtado, A. L., Veloso, P. A. S.

Volltext

Logical specification and implementation von Maibaum, T S E, Sadler, M R, Veloso, P A S

Volltext

Relapsing Catastrophic Antiphospholipid Syndrome Potential Role of Microangiopathic Hemolytic Anemia in Disease Relapses von Espinosa, Gerard, MD, PhD, Rodríguez-Pintó, Ignasi, MD, Gomez-Puerta, José A., MD, Pons-Estel, Guillermo, MD, PhD, Cervera, Ricard, MD, PhD, FRCP

Volltext

Advanced CMOS device technologies for 45 nm node and below von Veloso, A., Hoffmann, T., Lauwers, A., Yu, H., Severi, S., Augendre, E., Kubicek, S., Verheyen, P., Collaert, N., Absil, P., Jurczak, M., Biesemans, S.

Volltext