Laura Semini

Available identifiers

zbMath Open semini.lauraMaRDI QIDQ511934

List of research outcomes

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	2017-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q3601414	2009-02-10	Paper
Logic–Based Detection of Conflicts in Appel Policies	2008-07-01	Paper
Coordination Models and Languages	2006-01-10	Paper
Mark, a reasoning kit for mobility	2003-02-17	Paper
A refinement calculus for tuple spaces	1999-11-01	Paper
A proposal to merge Multiple Tuple Spaces, Object Orientation, and Logic Programming	1997-08-28	Paper

Research outcomes over time

This page was built for person: Laura Semini