Science-advisor
REGISTER info/FAQ
Login
username
password
     
forgot password?
register here
 
Research articles
  search articles
  reviews guidelines
  reviews
  articles index
My Pages
my alerts
  my messages
  my reviews
  my favorites
 
 
Stat
Members: 3106
Articles: 2'139'002
Articles rated: 2589

29 November 2021
 
  » search

 Search for articles, messages and online reviews


Search in 2'139'002 articles.

match all words (default)
match at least one of the words
match the exact phrase
search in all fields
search in authors
search in journals

Results 1 to 14 of 14 for query "Emanuele De Angelis". (0.01 sec.)


1.
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti;
16 Apr 2020
- - -
2.
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti;
9 Jul 2019
- - -
3.
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
Emanuele De Angelis; Grigory Fedyukovich; Nikos Tzevelekos; Mattias Ulbrich;
8 Jul 2019
- - -
4.
Enhancing Predicate Pairing with Abstraction for Relational Verification
Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti;
14 Sep 2017
- - -
5.
Predicate Pairing for Program Verification
Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti;
4 Aug 2017
- - -
6.
Verification of Time-Aware Business Processes using Constrained Horn Clauses
Emanuele De Angelis; Fabio Fioravanti; Maria Chiara Meo; Alberto Pettorossi; Maurizio Proietti;
9 Aug 2016
- - -
7.
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses
Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti;
21 Jul 2015
- - -
8.
Verification of Programs by Combining Iterated Specialization with Interpolation
Emanuele De Angelis; Fabio Fioravanti; Jorge A. Navas; Maurizio Proietti;
3 Dec 2014
- - -
9.
Verification of Imperative Programs by Constraint Logic Program Transformation
Emanuele De Angelis; Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti;
20 Sep 2013
- - -
10.
Eraser morphisms and membership problem in groups and monoids
Daniele D'Angeli; Emanuele Rodaro; Pedro V. Silva; Alexander Zakharov;
4 Oct 2019
- - -
11.
On the Complexity of the Word Problem of Automaton Semigroups and Automaton Groups
Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter;
29 Nov 2016
- - -
12.
Gauss-Manin connection in disguise: Calabi-Yau threefolds
Murad Alim; Hossein Movasati; Emanuel Scheidegger; Shing-Tung Yau;
7 Oct 2014
- - -
13.
Groups and Semigroups Defined by Colorings of Synchronizing Automata
Daniele D'Angeli; Emanuele Rodaro;
19 Oct 2013
- - -
14.
A Significant Population of Red, Near-IR Selected High Redshift Galaxies
Marijn Franx; Ivo Labbe; Gregory Rudnick; Pieter G. van Dokkum; Emanuele Daddi; Natascha M. Forster Schreiber; Alan Moorwood; Hans-Walter Rix; Huub Rottgering; Arjen van de Wel; Paul van der Werf; Lottie van Starkenburg;
7 Mar 2003   /  Astrophys.J. 587 (2003) L79-L82
- - -






ScienXe.org
» my Online CV
» Free


News, job offers and information for researchers and scientists:
home  |  contact  |  terms of use  |  sitemap
Copyright © 2005-2021 - Scimetrica