Kim Solin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2006–2013
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICAART | Modal Semirings with Operators for Knowledge Representation. | Kim Solin |
| 2007 | WoLLIC | A Sketch of a Dynamic Epistemic Semiring. | Kim Solin |
| 2006 | MPC | Refinement Algebra with Operators for Enabledness and Termination. | Kim Solin, Joakim von Wright |