Sjögren's syndrome: An underdiagnosed condition in mixed connective tissue disease von Usuba, Fany Solange, Lopes, Jaqueline Barros, Fuller, Ricardo, Yamamoto, Joyce Hisae, Alves, Milton Ruiz, Pasoto, Sandra Gofinet, Caleiro, Maria Teresa C.

Volltext

Esophageal involvement and interstitial lung disease in mixed connective tissue disease von Fagundes, M.N, Caleiro, M.T.C, Navarro-Rodriguez, T, Baldi, B.G, Kavakama, J, Salge, J.M, Kairalla, R, Carvalho, C.R.R

Volltext

Immunogenicity of influenza H1N1 vaccination in mixed connective tissue disease: effect of disease and therapy von Miossi, Renata, Fuller, Ricardo, Moraes, Júlio C.B., Ribeiro, Ana Cristina M., Saad, Carla G.S., Aikawa, Nadia E., Miraglia, João L, Ishida, Maria A, Bonfá, Eloisa, Caleiro, M Teresa C.

Volltext

Completeness results for fibred parchments: Beyond the propositional base von CALEIRO, C, GOUVEIA, P, RAMOS, J

Volltext

Radionuclide imaging for the assessment of esophageal motility disorders in mixed connective tissue disease patients: relation to pulmonary impairment von Caleiro, M. T. C., Lage, L. V., Navarro-Rodriguez, T., Bresser, A., Da Costa, P. A., Yoshinari, N. H.

Volltext

Myositis in mixed connective tissue disease: a unique syndrome characterized by immunohistopathologic elements of both polymyositis and dermatomyositis von Vianna, Maria Angela A G, Borges, Claudia T L, Borba, Eduardo F, Caleiro, Maria Teresa C, Bonfá, Eloisa, Marie, Suely K N

Volltext

Proposed disease activity criteria for mixed connective tissue disease von Lage, LV, Caleiro, MTC, Carvalho, JF

Volltext

Abstract Valuation Semantics von Caleiro, C., Gonçalves, R.

Volltext

Anti-liver and antiendomysial autoantibodies in primary antiphospholipid (Hughes’) syndrome von Rodrigues, CEM, Caleiro, MTC, de Carvalho, JF

Volltext

Labelled Tableaux for Distributed Temporal Logic von Basin, David, Caleiro, Carlos, Ramos, Jaime, Viganò, Luca

Volltext

Fluctuation of anti-endothelial cell antibody titers in " mixed connective tissue disease von Lage, Laís V, de Carvalho, Jozélio F, Caleiro, Maria T C, Yoshinari, Natalino H, da Mota, Licia M H, Khamashta, Munther A, Cossermelli, Wilson

Volltext

Behavioral Algebraization of Logics von Caleiro, Carlos, Gonçalves, Ricardo, Martins, Manuel

Volltext

Cryptomorphisms at Work von Caleiro, Carlos, Ramos, Jaime

Volltext

Hierarchical logical consequence von Caleiro, C., Gouveia, P., Ramos, J.

Volltext

Deriving Liveness Goals from Temporal Logic Specifications von CALEIRO, C., SAAKE, G., SERNADAS, A.

Volltext

Combining Logics: Parchments Revisited von Caleiro, C., Mateus, P., Ramos, J., Sernadas, A.

Volltext

Fibring of logics as a categorial construction von Sernadas, A, Sernadas, C, Caleiro, C

Volltext

A Labeled Tableaux System for the Distributed Temporal Logic DTL von Basin, D., Caleiro, C., Ramos, J., Vigano, L.

Volltext

Parameterisation of Logics von Caleiro, Carlos, Sernadas, Cristina, Sernadas, Amílcar

Volltext

A linear temporal logic approach to objects with transactions von Denker, Grit, Ramos, Jaime, Caleiro, Carlos, Sernadas, Amílcar

Volltext