Publications | Lund University Publications

1 – 8 of 8

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=issn+exact+%221571-0661%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2011
Mark A Hybrid Public Announcement Logic with Distributed Knowledge
Hansen, Jens Ulrik ^LU (2011) In Electronical Notes in Theoretical Computer Science 273. p.33-50
- Contribution to journal › Article
2010
Mark Terminating Tableaux for Dynamic Epistemic Logics
Hansen, Jens Ulrik ^LU (2010) In Electronical Notes in Theoretical Computer Science 262. p.141-156
- Contribution to journal › Article
2008
Mark Declarative intraprocedural flow analysis of Java source code
Söderberg, Emma ^LU ; Ekman, Torbjörn ^LU ; Hedin, Görel ^LU and Magnusson, Eva ^LU (2008) LDTA'08: 8th Workshop on Language Description, Tools and Applications p.155-171
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2007
Mark Decidability of a Hybrid Duration Calculus
Bolander, Thomas ; Hansen, Jens Ulrik ^LU and Hansen, Michael R. (2007) In Electronical Notes in Theoretical Computer Science 174(6). p.113-133
- Contribution to journal › Article
2005
Mark Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, LDTA 2005
(2005) In Electronical Notes in Theoretical Computer Science 141(4).
- Book/Report › Conference proceeding (editor)
2004
Mark Refactoring-aware versioning in Eclipse
Ekman, Torbjörn ^LU and Asklund, Ulf ^LU (2004) In Electronical Notes in Theoretical Computer Science 107. p.57-69
- Contribution to journal › Article
Mark Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, LDTA 2004
(2004) In Electronical Notes in Theoretical Computer Science 110.
- Book/Report › Conference proceeding (editor)
2003
Mark Circular Reference Attributed Grammars - their Evaluation and Applications
Magnusson, Eva ^LU and Hedin, Görel ^LU (2003) LDTA03 The third Workshop om Language Descriptions, Tools and Applications 82(3). p.532-554
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding