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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 Next
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