en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Kfoury
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(65)
tags
dblp
metamodelling
targeting
Inflation
thesis
No matching items.
Type theory and rewriting theory for expressive, efficient and reliable programming languages.
A. J. Kfoury
.
ACM SIGSOFT Software Engineering Notes
25(1):61-62
(
2000
)
A. J. Kfoury
.
ACM SIGSOFT Software Engineering Notes
25(1):61-62
(
2000
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A User-friendly Interface for a Lightweight Verification System.
Andrei Lapets
, and
Assaf J. Kfoury
.
Electr. Notes Theor. Comput. Sci.
(
2012
)
Andrei Lapets
, and
Assaf J. Kfoury
.
Electr. Notes Theor. Comput. Sci.
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Principality and Decidable Type Inference for Finite-Rank Intersection Types.
A. J. Kfoury
, and
J. B. Wells
.
POPL,
page 161-174.
ACM,
(
1999
)
A. J. Kfoury
, and
J. B. Wells
.
POPL,
page 161-174.
ACM,
(
1999
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Proper Extension of ML with an Effective Type-Assignment.
A. J. Kfoury
,
Jerzy Tiuryn
, and
Pawel Urzyczyn
.
POPL,
page 58-69.
ACM Press,
(
1988
)
A. J. Kfoury
,
Jerzy Tiuryn
, and
Pawel Urzyczyn
.
POPL,
page 58-69.
ACM Press,
(
1988
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Analysis of Simple Programs Over Different Sets of Primitives.
A. J. Kfoury
.
POPL,
page 56-61.
ACM Press,
(
1980
)
A. J. Kfoury
.
POPL,
page 56-61.
ACM Press,
(
1980
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems Extended Abstract.
Assaf J. Kfoury
,
Harry G. Mairson
,
Franklyn A. Turbak
, and
J. B. Wells
.
ICFP,
page 90-101.
ACM,
(
1999
)
Assaf J. Kfoury
,
Harry G. Mairson
,
Franklyn A. Turbak
, and
J. B. Wells
.
ICFP,
page 90-101.
ACM,
(
1999
)
a year and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Safe Compositional Equation-based Modeling of Constrained Flow Networks.
Nate Soule
,
Azer Bestavros
,
Assaf J. Kfoury
, and
Andrei Lapets
.
EOOLT,
volume 56 of Linköping Electronic Conference Proceedings,
page 35-44.
Linköping University Electronic Press,
(
2011
)
Nate Soule
,
Azer Bestavros
,
Assaf J. Kfoury
, and
Andrei Lapets
.
EOOLT,
volume 56 of Linköping Electronic Conference Proceedings,
page 35-44.
Linköping University Electronic Press,
(
2011
)
a year and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus Extended Summary
A. J. Kfoury
, and
Jerzy Tiuryn
.
LICS,
page 2-11.
IEEE Computer Society,
(
1990
)
A. J. Kfoury
, and
Jerzy Tiuryn
.
LICS,
page 2-11.
IEEE Computer Society,
(
1990
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Type Inference for Recursive Definitions.
A. J. Kfoury
, and
Santiago M. Pericás-Geertsen
.
LICS,
page 119-128.
IEEE Computer Society,
(
1999
)
A. J. Kfoury
, and
Santiago M. Pericás-Geertsen
.
LICS,
page 119-128.
IEEE Computer Society,
(
1999
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On the Computational Power of Universally Polymorphic Recursion
A. J. Kfoury
,
Jerzy Tiuryn
, and
Pawel Urzyczyn
.
LICS,
page 72-81.
IEEE Computer Society,
(
1988
)
A. J. Kfoury
,
Jerzy Tiuryn
, and
Pawel Urzyczyn
.
LICS,
page 72-81.
IEEE Computer Society,
(
1988
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi
A. J. Kfoury
, and
J. B. Wells
.
LICS,
page 311-321.
IEEE Computer Society,
(
1995
)
A. J. Kfoury
, and
J. B. Wells
.
LICS,
page 311-321.
IEEE Computer Society,
(
1995
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Computational Consequences and Partial Solutions of a Generalized Unification Problem Partial Report
A. J. Kfoury
,
Jerzy Tiuryn
, and
Pawel Urzyczyn
.
LICS,
page 98-105.
IEEE Computer Society,
(
1989
)
A. J. Kfoury
,
Jerzy Tiuryn
, and
Pawel Urzyczyn
.
LICS,
page 98-105.
IEEE Computer Society,
(
1989
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs Partial Report
A. J. Kfoury
.
FOCS,
page 173-184.
IEEE Computer Society,
(
1980
)
A. J. Kfoury
.
FOCS,
page 173-184.
IEEE Computer Society,
(
1980
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Definite Stochastic Sequential Machines and Definite Stochastic Matrices
Denis J. Kfoury
, and
Chung L. Liu
.
SWAT FOCS,
page 100-105.
IEEE Computer Society,
(
1969
)
Denis J. Kfoury
, and
Chung L. Liu
.
SWAT FOCS,
page 100-105.
IEEE Computer Society,
(
1969
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Effective Computability in Algebraic Structures A Schematology Approach
Denis J. Kfoury
.
SWAT FOCS,
page 19-26.
IEEE Computer Society,
(
1972
)
Denis J. Kfoury
.
SWAT FOCS,
page 19-26.
IEEE Computer Society,
(
1972
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Domain-Specific Language for
Azer Bestavros
, and
Assaf J. Kfoury
.
DSL,
volume 66 of EPTCS,
page 24-47.
(
2011
)
Azer Bestavros
, and
Assaf J. Kfoury
.
DSL,
volume 66 of EPTCS,
page 24-47.
(
2011
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Undecidability of the Semi-Unification Problem Preliminary Report
A. J. Kfoury
,
Jerzy Tiuryn
, and
Pawel Urzyczyn
.
STOC,
page 468-476.
ACM,
(
1990
)
A. J. Kfoury
,
Jerzy Tiuryn
, and
Pawel Urzyczyn
.
STOC,
page 468-476.
ACM,
(
1990
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Formal Verification of SLA Transformations.
Vatche Ishakian
,
Andrei Lapets
,
Azer Bestavros
, and
Assaf J. Kfoury
.
SERVICES,
page 540-547.
IEEE Computer Society,
(
2011
)
Vatche Ishakian
,
Andrei Lapets
,
Azer Bestavros
, and
Assaf J. Kfoury
.
SERVICES,
page 540-547.
IEEE Computer Society,
(
2011
)
a year and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Definability by Programs in First-Order Structures.
A. J. Kfoury
.
Theor. Comput. Sci.
(
1983
)
A. J. Kfoury
.
Theor. Comput. Sci.
(
1983
)
a year and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures.
A. J. Kfoury
,
Jerzy Tiuryn
, and
Pawel Urzyczyn
.
Theor. Comput. Sci.
93(1):1-41
(
1992
)
A. J. Kfoury
,
Jerzy Tiuryn
, and
Pawel Urzyczyn
.
Theor. Comput. Sci.
93(1):1-41
(
1992
)
a year and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact