Laura Semini
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Language and communication problems in formalization: a natural language approach | 2022-03-22 | Paper |
| An experience in using machine learning for short-term predictions in smart transportation systems Journal of Logical and Algebraic Methods in Programming | 2017-02-22 | Paper |
| scientific article; zbMATH DE number 5506106 (Why is no real title available?) | 2009-02-10 | Paper |
| Logic–Based Detection of Conflicts in Appel Policies Lecture Notes in Computer Science | 2008-07-01 | Paper |
| Coordination Models and Languages Lecture Notes in Computer Science | 2006-01-10 | Paper |
| Mark, a reasoning kit for mobility Automated Software Engineering | 2003-02-17 | Paper |
| A refinement calculus for tuple spaces Science of Computer Programming | 1999-11-01 | Paper |
| A proposal to merge Multiple Tuple Spaces, Object Orientation, and Logic Programming Computer Languages | 1997-08-28 | Paper |
Research outcomes over time
This page was built for person: Laura Semini
