Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(46)
David Scott Warren
23
Terrance Swift
22
Bart Demoen
11
Mikael Pettersson
9
Prasad Subba Rao
7
Conferences
(21)
ERLANG
10
PADL
8
PPDP
8
ICLP(JICSLP)
6
ISMM
4
Journals
(15)
STTT
3
CORR
3
JFLP
2
TOPLAS
2
Sigmod Record
2
Keywords
(133)
Embed
Subscribe
Academic
Authors
Konstantinos Sagonas
Edit
Konstantinos Sagonas
National Technical University of Athens, Greece
Publications: 101
|
Citations: 1231
|
G-Index: 31
|
H-Index: 17
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Software Engineering
,
Databases
View FAQ about top research area and research interests
Collaborated with
46 co-authors
from 1993 to 2011
; Cited by
814 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(101)
BibTeX
|
RIS
|
RefWorks
Download
Detection of Asynchronous Message Passing Errors Using Static Analysis
(
Citations: 1
)
Maria Christakis
,
Konstantinos F. Sagonas
Conference:
Practical Aspects of Declarative Languages - PADL
, pp. 5-18, 2011
A type and effect system for deadlock avoidance in low-level languages
(
Citations: 1
)
Prodromos Gerakios
,
Nikolaos Papaspyrou
,
Konstantinos F. Sagonas
Conference:
Types In Languages Design And Implementation - TLDI
, pp. 15-28, 2011
Static Detection of Race Conditions in Erlang
(
Citations: 2
)
Maria Christakis
,
Konstantinos F. Sagonas
Conference:
Practical Aspects of Declarative Languages - PADL
, pp. 119-133, 2010
Race-free and memory-safe multithreading: design and implementation in cyclone
(
Citations: 3
)
Prodromos Gerakios
,
Nikolaos Papaspyrou
,
Konstantinos F. Sagonas
Conference:
Types In Languages Design And Implementation - TLDI
, pp. 15-26, 2010
A Concurrent Language with a Uniform Treatment of Regions and Locks
(
Citations: 2
)
Prodromos Gerakios
,
Nikolaos Papaspyrou
,
Konstantinos F. Sagonas
Journal:
Computing Research Repository - CORR
, vol. abs/1002.0, 2010
Order by:
Citations
(1231 times by 765 publications)
MWeb: A principled framework for modular web rule bases and its semantics
(
Citations: 3
)
Anastasia Analyti
,
Grigoris Antoniou
,
Carlos Viegas Damasio
Published in 2011.
Detection of Asynchronous Message Passing Errors Using Static Analysis
(
Citations: 1
)
Maria Christakis
,
Konstantinos F. Sagonas
Conference:
Practical Aspects of Declarative Languages - PADL
, pp. 5-18, 2011
A type and effect system for deadlock avoidance in low-level languages
(
Citations: 1
)
Prodromos Gerakios
,
Nikolaos Papaspyrou
,
Konstantinos F. Sagonas
Conference:
Types In Languages Design And Implementation - TLDI
, pp. 15-28, 2011
On the Portability of Prolog Applications
Jan Wielemaker
,
Vítor Santos Costa
Conference:
Practical Aspects of Declarative Languages - PADL
, pp. 69-83, 2011
The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines
Paul Tarau
Journal:
Computing Research Repository - CORR
, vol. abs/1102.1, 2011
Comments