|
СТ |
Declarative Semantics of Input Consuming Logic Programs |
2004 |
Bossi A., Cocco N., Etalle S., Rossi S. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
CoPS - Checker of Persistent Security |
2004 |
Piazza C., Pivato E., Rossi S. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
|
СТ |
Bisimulation and Unwinding for Verifying Possibilistic Security Properties |
2003 |
Bossi A., Focardi R., Piazza C., Rossi S. |
|
|
|
Lecture Notes in Computer Science |
31.01.2003 |
|
СТ |
Reexecution-Based Analysis of Logic Programs with Delay Declarations |
2001 |
Cortesi A., Le Charlier B., Rossi S. |
|
|
|
Lecture Notes in Computer Science |
08.02.2002 |
|
СТ |
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling |
2001 |
Bossi A., Etalle S., Rossi S., Smaus J. -G. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Specialising Logic Programs with Respect to Call/Post Specifications |
1999 |
Bossi A., Rossi S. |
|
|
|
Lecture Notes in Computer Science |
16.04.1999 |
|
СТ |
A Practical Approach to Software Process Modeling Language Engineering |
1998 |
Rossi S., Sillander T. |
|
|
|
Lecture Notes in Computer Science |
09.10.1998 |
|
СТ |
Automated Verification of Behavioural Properties of Prolog Programs |
1997 |
Le Charlier B., Leclere C., Rossi S., Cortesi A. |
|
|
|
Lecture Notes in Computer Science |
20.12.1997 |
|
СТ |
Specification-Based Automatic Verification of Prolog Programs |
1997 |
Cortesi A., Le Charlier B., Rossi S. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut |
1994 |
Le Charlier B., Rossi S., Van Hentenryck P. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
30.01.1996 |
|
СТ |
Static Analysis of Prolog with Cut |
1993 |
File G., Rossi S. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.08.1993 |
