Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

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

Central database

Journal

  1. 2006
  2. 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

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

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

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

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

  8. Quantitative μ-calculus and CTL Based on Constraint Semirings. / Montanari, Ugo; Lluch Lafuente, Alberto.

    In: Electronic Notes in Theoretical Computer Science, Vol. 112, No. SPEC. ISS., 2005, p. 37-59.

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

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

  10. 2004
  11. 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

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

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

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