Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

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

Central database

Journal

All
|Research

1 - 10 out of 17Page size: 10

RSS feed of this list

Sort by: Year, type and 1st author

2011
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-review › Conference article – Annual report year: 2011
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
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
2010
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-review › Journal article – Annual report year: 2010
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-review › Journal article – Annual report year: 2010
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
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
2009
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-review › Conference article – Annual report year: 2009
2007
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
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-review › Editorial – Annual report year: 2007

Previous 1 2 Next