Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

BFI (2015): BFI-level 1, ISI indexed (2013): ISI indexed no

Central database

Journal

  1. 2007
  2. Published

    Cryptographic Pattern Matching. / Nielsen, Christoffer Rosenkilde; Nielson, Flemming; Nielson, Hanne Riis.

    In: Electronic Notes in Theoretical Computer Science, Vol. 168, 2007, p. 91-107.

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

  3. Published

    Decidability of a Hybrid Duration Calculus. / Bolander, Thomas; Hansen, Michael Reichhardt; Hansen, Jens Ulrik.

    In: Electronic Notes in Theoretical Computer Science, Vol. 174, 2007, p. 113-133.

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

  4. Published

    Heuristics for Safety and Security Constraints. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Electronic Notes in Theoretical Computer Science, Vol. 172, 2007, p. 523-543.

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

  5. 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

  6. 2006
  7. A logic for graphs with QoS. / Ferrari, Gianluigi; Lluch Lafuente, Alberto.

    In: Electronic Notes in Theoretical Computer Science, Vol. 142, No. SPEC. ISS., 2006, p. 143-160.

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

  8. 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

  9. 2005
  10. 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

  11. Graphical encoding of a spatial logic for the pi-calculus. / Gadducci, Fabio; Lluch Lafuente, Alberto.

    In: Electronic Notes in Theoretical Computer Science, Vol. 142, 2005, p. 209-225.

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

  12. Published

    Integrated Java Bytecode Verification. / Gal, Andreas; Probst, Christian; Franz, Michael.

    In: Electronic Notes in Theoretical Computer Science, Vol. 131, 2005, p. 27-38.

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

  13. 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

Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word