| Title | Author(s) | Issue date | ???itemlist.??? |
| Canonicity and Completeness Results for Many Valued Modal Logics | Nomikos, C.; Koutras, C. D.; Peppas, P. | 24-Nov-2015 | - |
| Fiber cost reduction and wavelength minimization in multifiber WDM networks | Nomikos, C.; Pagourtzis, A.; Potika, K.; Zachos, S. | 24-Nov-2015 | - |
| A game-theoretic characterization of Boolean grammars | Kountouriotis, V.; Nomikos, C.; Rondogiannis, P. | 24-Nov-2015 | - |
| A limit characterization for the number of spanning trees of graphs | Nikolopoulos, S. D.; Nomikos, C.; Rondogiannis, P. | 24-Nov-2015 | - |
| Locally stratified Boolean grammars | Nomikos, C.; Rondogiannis, P. | 24-Nov-2015 | - |
| Notions of Bisimulation for Heyting-Valued Modal Languages | Nomikos, C.; Eleftheriou. P; Koutras, C. D. | 24-Nov-2015 | - |
| On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief | Koutras, C. D.; Nomikos, C.; Peppas, P. | 24-Nov-2015 | - |
| A proof procedure for temporal logic programming | Gergatsoulis, M.; Nomikos, C. | 24-Nov-2015 | - |
| Randomized and approximation algorithms for blue-red matching | Nomikos, C.; Pagourtzis, A.; Zachos, S. | 11-Dec-2015 | - |
| Routing and path multicoloring | Nomikos, C.; Pagourtzis, A.; Zachos, S. | 24-Nov-2015 | - |
| Routing and wavelength assignment in generalized WDM tree networks of bounded degree | Ioannidis, S.; Nomikos, C.; Pagourtzis, A.; Zachos, S. | 24-Nov-2015 | - |
| Routing and wavelength assignment in multifiber WDM networks with non-uniform fiber cost | Nomikos, C.; Pagourtzis, A.; Potika, K.; Zachos, S. | 24-Nov-2015 | - |
| Satisfying a maximum number of pre-routed requests in all-optical rings | Nomikos, C.; Pagourtzis, A.; Zachos, S. | 24-Nov-2015 | - |
| Strong equivalence of logic programs under the infinite-valued semantics | Nomikos, C.; Rondogiannis, P.; Wadge, W. W. | 24-Nov-2015 | - |
| A sufficient condition for strong equivalence under the well-founded semantics | Nomikos, C.; Rondogiannis, P.; Wadge, W. W. | 24-Nov-2015 | - |
| Temporal stratification tests for linear and branching-time deductive databases | Nomikos, C.; Rondogiannis, P.; Gergatsoulis, M. | 24-Nov-2015 | - |
| Well-founded semantics for Boolean grammars | Kountouriotis, V.; Nomikos, C.; Rondogiannis, P. | 24-Nov-2015 | - |
