Juliana Küster-Filipe
From MaRDI portal
Person:820133
Available identifiers
zbMath Open kuster-filipe-bowles.julianaMaRDI QIDQ820133
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 |
|---|---|---|
| A verified algorithm enumerating event structures | 2017-07-21 | Paper |
| On Distributed Stochastic Logics for Mobile Systems | 2015-01-13 | Paper |
| Decomposing Interactions | 2009-04-28 | Paper |
| Modelling concurrent interactions | 2006-04-06 | Paper |
| Objects, Agents, and Features | 2005-12-27 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738326 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723915 | 2001-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4506387 | 2000-09-18 | Paper |
Research outcomes over time
This page was built for person: Juliana Küster-Filipe
