|
СТ |
Timed Automata with Urgent Transitions |
2004 |
Barbuti R., Tesei L. |
|
|
|
Acta Informatica |
28.04.2004 |
|
М |
Programming Environments: Deriving Language Dependent Tools from Structured Denotational Semantics |
1982 |
Barbuti R., Bellina M., Degano P., Levi G., Martelli A. |
|
|
Istituto di Scienze dell Informazione |
|
02.08.2000 |
|
П |
Towards the Derivation of an Experimental Programming Environment from Language Formal Specifications |
1981 |
Barbuti R., Bellia M., Martelli A., Dameri E., Simonelli C., Degano P., Levi G. |
|
|
Progetto Finalizzato Informatica |
|
02.08.2000 |
|
СТ |
Formula Based Abstractions of Transition Systems for Real-Time Model Checking |
1999 |
Barbuti R., De Francesco N., Santone A., Vaglini G. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
|
СТ |
Algebraic Computational Models of OR-parallel Execution of Prolog |
1997 |
Barbuti R., De Francesco N., Santone A. |
|
|
|
Acta Informatica |
09.07.1997 |
|
СТ |
A Multiple-Valued Logical Semantics for Prolog |
1996 |
Barbuti R., Mancarella P. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Modeling OR-parallel Execution of Prolog using CHOCS |
1995 |
Barbuti R., De Francesco N., Santone A. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs |
1993 |
Barbuti R., Giacobazzi R., Levi G. |
|
|
|
ACM Trans. Programming Languages and Systems |
16.03.1993 |
|
СТ |
Modelling Prolog Control |
1991 |
Barbuti R., Codish M., Giacobazzi R., Levi G. |
|
|
|
BIGRE |
11.12.1991 |
