Electronic Notes in Theoretical Computer Science
ISSNs: 1571-0661
Elsevier BV, Netherlands
FI (2012): 1, ISI indexed (2012): no
Central database
Journal
- 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-review › Journal article – Annual report year: 2010
- 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-review › Journal article – Annual report year: 2007
- 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-review › Journal article – Annual report year: 2004
- 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-review › Journal article – Annual report year: 2005
- 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-review › Journal article – Annual report year: 1998
- 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-review › Conference article – Annual report year: 2011
- 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-review › Journal article – Annual report year: 2002
- 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-review › Journal article – Annual report year: 2005
- Published
Preface. / Bolander, Thomas; Braüner, Torben.
In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-2.Publication: Research › Conference article – Annual report year: 2011
- 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-review › Editorial – Annual report year: 2011