Skip to content

George Baryannis

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

7

Active years

2009–2025

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2025VTCAn Enhanced Multi-Target Collision-Free Path Planning Algorithm for UAV Networks.Paul Zeman, George Baryannis, Soufiene Djahel, Richard Hill
2022LPNMRModal Logic S5 in Answer Set Programming with Lazy Creation of Worlds.Mario Alviano, Sotiris Batsakis, George Baryannis
2018JURIXLegal Representation and Reasoning in Practice: A Critical Comparison.Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou
2013CaiSEWSSL: A Fluent Calculus-Based Language for Web Service Specifications.George Baryannis, Dimitris Plexousakis
2013ICSOCFluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL.George Baryannis, Dimitris Plexousakis
2012COMPSACDeriving Specifications for Composite Web Services.George Baryannis, Manuel Carro, Dimitris Plexousakis
2009COMPSACAlertMe: A Semantics-Based Context-Aware Notification System.Asterios Leonidis, George Baryannis, Xenofon Fafoutis, Maria Korozi, Niki Gazoni, Michail Dimitriou, Maria Koutsogiannaki, Aikaterini Boutsika, Myron Papadakis, Haridimos Papagiannakis, George Tesseris, Emmanouil Voskakis, Antonis Bikakis, Grigoris Antoniou
2009ICSEThe frame problem in Web service specifications.George Baryannis, Dimitris Plexousakis