Concepedia

Annalisa Bossi

AB

22

Publications

741

Citations

16

H-Index

1979

Active since

Affiliations

Ca' Foscari University of Venice(Current)

University of Padua

Centrum Wiskunde & Informatica

Maastricht University

Annalisa Bossi is an author at Ca' Foscari University of Venice specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceProgram AnalysisAutomated ReasoningSoftware AnalysisLogic ProgrammingVerificationSemantics

Publications per year

1979–2011

22

Publications

22

The s-semantics approach: Theory and applications

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi et al. · The Journal of Logic Programming · 1994 · 129 citations

Formal Semantics, Engineering, Semantic Analysis (Linguistics) +8

Norms on terms and their use in proving universal termination of a logic program

Annalisa Bossi, Nicoletta Cocco, Massimo Fabris · Theoretical Computer Science · 1994 · 60 citations

Computational Logic, Engineering, Automated Reasoning +10

A compositional semantics for logic programs

Annalisa Bossi, M. Gabrielli, Giorgio Levi et al. · Theoretical Computer Science · 1994 · 58 citations

Engineering, Automated Reasoning, Description Logic +5

PAB (Parabolic and Backwater) an unconditionally stable flood routing scheme particularly suited for real time forecasting and control

E. Todini, Annalisa Bossi · Journal of Hydraulic Research · 1986 · 57 citations

Real Time Forecasting, Engineering, Flood Control +16

A method for specializing logic programs

Annalisa Bossi, Nicoletta Cocco, Susi Dulli · ACM Transactions on Programming Languages and Systems · 1990 · 48 citations · Full text

Applied Logic, Computational Logic, Constraint Solving +15

Rows per page

1–5 of 22