Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

FI (2012): 1, ISI indexed (2012): no

Central database

Journal

  1. 2011
  2. Published

    Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. / Della Monica, Dario; Goranko, Valentin; Sciavicco, Guido.

    In: Electronic Notes in Theoretical Computer Science, Vol. 273, No. 1, 2011, p. 3-19.

    Publication: Research - peer-reviewConference article – Annual report year: 2011

  3. Published

    Preface. / van Ditmarsch, Hans; Duque, David Fernández; Goranko, Valentin; Jamroga, Wojtek; Ojeda-Aciego, Manuel.

    In: Electronic Notes in Theoretical Computer Science, Vol. 278, 2011, p. 1-2.

    Publication: Research - peer-reviewEditorial – Annual report year: 2011

  4. Published

    Two-sorted Point-Interval Temporal Logics. / Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido.

    In: Electronic Notes in Theoretical Computer Science, Vol. 278, No. 1, 2011, p. 31-45.

    Publication: Research - peer-reviewConference article – Annual report year: 2011

  5. 2010
  6. Published

    Analysis for Embedded Systems: Experiments with Priced Timed Automata. / Ovatman, Tolga; Brekling, Aske Wiid; Hansen, Michael Reichhardt.

    In: Electronic Notes in Theoretical Computer Science, Vol. 238, No. 6, 2010, p. 81-95.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  7. Published

    Preface. / Bolander, Thomas; Braüner, Torben.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-2.

    Publication: ResearchConference article – Annual report year: 2011

  8. Published

    Tableau tool for testing satisfiability in LTL: Implementation and experimental analysis. / Goranko, Valentin; Kyrilov, Angelo; Shkatov, Dmitry.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 113-125.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  9. Published

    Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 65-81.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  10. 2009
  11. Published

    Terminating Tableau Calculi for Hybrid Logics extending K. / Bolander, Thomas; Blackburn, Patrick.

    In: Electronical Notes in Theoretical Computer Science, Vol. 231, No. 25 March 2009, 2009, p. 21-39.

    Publication: Research - peer-reviewConference article – Annual report year: 2009

  12. 2007
  13. Published

    Control Flow Analysis for BioAmbients. / Nielson, Flemming; Nielson, Hanne Riis; Priami, C.; Rosa, D. Schuch da.

    In: Electronic Notes in Theoretical Computer Science, Vol. 180, No. 3, 2007, p. 65-79.

    Publication: Research - peer-reviewJournal article – Annual report year: 2007

  14. Published

    Preface : For the proceedings of the International Workshop on Hybrid Logic 2006 (HyLo). / Blackburn, P.; Bolander, Thomas; Braüner, T.; de Paiva, V.; Villadsen, Jørgen.

    In: Electronic Notes in Theoretical Computer Science, Vol. 174, No. 6, 2007, p. 1–2.

    Publication: Research - peer-reviewEditorial – Annual report year: 2007

  15. 2006
  16. Published

    Trust Evolution Policies for Security in Collaborative Ad Hoc Applications. / Gray, Elizabeth; Jensen, Christian D.; Connell, Paul O; Weber, Stefan; Seigneur, Jean-Marc; Chen, Yong.

    In: Electronic Notes in Theoretical Computer Science, Vol. 157, No. 3, 2006, p. 95-111.

    Publication: Research - peer-reviewJournal article – Annual report year: 2006

  17. 2005
  18. Published

    Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. / Fränzle, Martin; Herde, Christian.

    In: Electronic Notes in Theoretical Computer Science, Vol. 133, 2005, p. 119-137.

    Publication: Research - peer-reviewJournal article – Annual report year: 2005

  19. Published

    Performance Evaluation of Security Protocols Specified in LySa. / Bodei, Chiara; Curti, Michele; Degano, Pierpaolo; Buchholtz, Mikael; Nielson, Flemming; Nielson, Hanne Riis; Priami, Corrado.

    In: Electronic Notes in Theoretical Computer Science, Vol. 112, 2005, p. 167-189.

    Publication: Research - peer-reviewJournal article – Annual report year: 2005

  20. Published

    Structural Encoding of Static Single Assignment Form. / Gal, Andreas; Probst, Christian; Franz, Michael.

    In: Electronic Notes in Theoretical Computer Science, Vol. 141, No. 2, 2005, p. 85-102.

    Publication: Research - peer-reviewJournal article – Annual report year: 2005

  21. 2004
  22. Published

    Cryptographic Analysis in Cubic Time. / Nielson, Flemming; Nielson, Hanne Riis; Seidl, H.

    In: Electronic Notes in Theoretical Computer Science, Vol. 62, No. 17, 2004, p. 1.

    Publication: Research - peer-reviewJournal article – Annual report year: 2004

  23. 2002
  24. Published

    Maximal Introspection of Agents. / Bolander, Thomas.

    In: Electronic Notes in Theoretical Computer Science, Vol. 70, No. 5, 2002, p. 1-16.

    Publication: Research - peer-reviewJournal article – Annual report year: 2002

  25. Published

    Towards a Process Algebra for Shared Processors. / Buchholtz, Mikael; Andersen, Jacob; Løvengreen, Hans Henrik.

    In: Electronic Notes in Theoretical Computer Science, Vol. 52, No. 3, 2002, p. 275–294.

    Publication: Research - peer-reviewConference article – Annual report year: 2002

  26. 1998
  27. Published

    Flow Logics and Operational Semantics. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Electronic Notes in Theoretical Computer Science, Vol. 10, 1998, p. 150-169.

    Publication: Research - peer-reviewJournal article – Annual report year: 1998

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word