Iakovos Ouranos

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Panagiotis Frangos

> Home > Persons > Iakovos Ouranos

Publications

2019
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/DeryckMASFOBV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/DeryckMASFOBV19
Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens:
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. RuleML+RR 2019: 52-66
2018
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ruleml/MitsikasASFO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/MitsikasASFO18
Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos:
Formalizing Air Traffic Control Regulations in PSOA RuleML. RuleML+RR (Supplement) 2018
2011
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1102-1547
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-1547
Nikolaos Triantafyllou, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Katerina Ksystra:
Redesigning the Open Mobile Alliance License Choice Algorithm. CoRR abs/1102.1547 (2011)
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/TriantafyllouOS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/TriantafyllouOS10
Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos:
Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm. ICETE (Selected Papers) 2010: 424-438
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sigmap/KsystraSOF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmap/KsystraSOF10
Katerina Ksystra, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos:
A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications. SIGMAP 2010: 35-38
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/winsys/TriantafyllouOSF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/winsys/TriantafyllouOSF10
Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos:
Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method. WINSYS 2010: 173-180
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/OuranosSF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/OuranosSF07
Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos:
An Algebraic Framework for Modeling of Mobile Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(9): 1986-1999 (2007)
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sofsem/OuranosSF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/OuranosSF07
Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos:
A Formal Specification Framework for Ad Hoc Mobile Communication Networks. SOFSEM (2) 2007: 91-102

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.