Pubblicazioni

Synthesis for LTL and LDL on Finite Traces

2015 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015

De Giacomo, Giuseppe; Vardi, Moshe Y.

On the undecidability of the situation calculus extended with description logic ontologies

2015 - Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015

Calvanese, Diego; DE GIACOMO, Giuseppe; Soutchanski, Mikhail

Adding DL-Lite TBoxes to Proper Knowledge Bases

2015 - The Semantic Web - ISWC 2015

DE GIACOMO, Giuseppe; Levesque, Hector J.

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis

2015 - Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015

Calvanese, Diego; Montali, Marco; Patrizi, Fabio; DE GIACOMO, Giuseppe

L'essenziale anatomia patologica: 2

2015 - L'essenziale anatomia patologica: 2

Rugge, M.; Pennelli, G.; DI CRISTOFANO, Claudio

La diaspora australiana degli ebrei dell'Europa centro-orientale (1914-1938)

2015 - La diaspora australiana degli ebrei dell'Europa centro-orientale

Motta, Giuseppe

The Internal Front. Some Testimonies on the situation of Russian Jews during the Great War

2015 - Features of the Great War.IdentitÃ e volti del mutamento sociale nel primo conflitto mondiale

Motta, Giuseppe

Downward migration credit risk problem: a non-homogeneous backward semi-Markov reliability approach

2015 - JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY

DâAmico, Guglielmo; Janssen, Jacques; Manca, Raimondo

Asset and Liability Management for Banks and Insurance Companies

2015 - Asset and Liability Management for Banks and Insurance Companies

Corlosquet Habart, Marine; Gehin, William; Janssen, Jacques; Manca, Raimondo

Basic Stochastic Processes

2015 - Basic Stochastic Processes

Devolder, Pierre; Janssen, Jacques; Manca, Raimondo

On the peritidal cycles and their diagenetic evolution in the Lower Jurassic carbonates of the Calcare Massiccio Formation (Central Apennines)

2015 - GEOLOGICA CARPATHICA

Brandano, Marco; Corda, Laura; Tomassetti, Laura; Testa, Davide

La salute tra conoscenza e partecipazione. Il percorso del modello sindacale per il controllo dell'ambiente di lavoro

2015 - MEDICINA & STORIA

Rufo, Fabrizio

Michel Corajoud and Parc DÃ©partemental du Sausset

2015 - JOURNAL OF LANDSCAPE ARCHITECTURE

DI CARLO, Fabio

Using SVM to combine global heuristics for the Standard Quadratic Problem

2015 - EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Dellepiane, Umberto; Palagi, Laura

A fast branch-and-bound algorithm for non-convex quadratic integer optimization subject to linear constraints using ellipsoidal relaxations

2015 - OPERATIONS RESEARCH LETTERS

Buchheim, Christoph; DE SANTIS, Marianna; Palagi, Laura

LibertÃ e responsabilitÃ della scienza. Lâeterodossia marxista di Giovanni Berlinguer

2015 - BIOETICA

Rufo, Fabrizio

Delamination detection in composite laminates using high-frequency P- and S-waves - Part I: Theory and analysis

2015 - COMPOSITE STRUCTURES

Pasquali, Michele; Lacarbonara, Walter

The European Banking Union as a New Model of Administrative Integration?

2015 - The Administrative Architecture of Financial Integration. Institutional Design, Legal Issues, Perspectives

Giglioni, Fabio

La tutela cautelare "europea" della vittima di reato

2015 - DIRITTO PENALE E PROCESSO

Bronzo, Pasquale

Interrogativi sull'archiviazione per particolare tenuitÃ del fatto

2015 - LA LEGISLAZIONE PENALE

Bronzo, Pasquale

L'archiviazione per particolare tenuitÃ del fatto

2015 - Procedura penale. Teoria e pratica del processo. Volume 2. Misure cautelari. Indagini preliminari. Giudizio

Bronzo, Pasquale

Conservation and modern architecture. Fortune and misfortune of the School of Mathematics at Rome University (G. Ponti, 1932-1935)

2015 - FRONTIERS OF ARCHITECTURAL RESEARCH

Salvo, Simona Maria Carmela

Ricerc@Sapienza

Pubblicazioni

Synthesis for LTL and LDL on Finite Traces

On the undecidability of the situation calculus extended with description logic ontologies

Adding DL-Lite TBoxes to Proper Knowledge Bases

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis

L'essenziale anatomia patologica: 2

La diaspora australiana degli ebrei dell'Europa centro-orientale (1914-1938)

The Internal Front. Some Testimonies on the situation of Russian Jews during the Great War

Downward migration credit risk problem: a non-homogeneous backward semi-Markov reliability approach

Asset and Liability Management for Banks and Insurance Companies

Basic Stochastic Processes

On the peritidal cycles and their diagenetic evolution in the Lower Jurassic carbonates of the Calcare Massiccio Formation (Central Apennines)

La salute tra conoscenza e partecipazione. Il percorso del modello sindacale per il controllo dell'ambiente di lavoro

Michel Corajoud and Parc DÃ©partemental du Sausset

Using SVM to combine global heuristics for the Standard Quadratic Problem

A fast branch-and-bound algorithm for non-convex quadratic integer optimization subject to linear constraints using ellipsoidal relaxations

LibertÃ e responsabilitÃ della scienza. Lâeterodossia marxista di Giovanni Berlinguer

Delamination detection in composite laminates using high-frequency P- and S-waves - Part I: Theory and analysis

The European Banking Union as a New Model of Administrative Integration?

La tutela cautelare "europea" della vittima di reato

Interrogativi sull'archiviazione per particolare tenuitÃ del fatto

L'archiviazione per particolare tenuitÃ del fatto

Conservation and modern architecture. Fortune and misfortune of the School of Mathematics at Rome University (G. Ponti, 1932-1935)

Duse e Novelli nelle Glossen zum Wiener Theater (1903-1906) di Hermann Bahr

Insigth. A+Voci

A special section on nanodiamonds for biomedical applications