The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of A. J. Kfoury Assaf J. Kfoury ( http://dblp.L3S.de/Authors/A._J._Kfoury )

URL (Homepage):  http://www.cs.bu.edu/faculty/kfoury/  Author page on DBLP  Author page in RDF  Community of A. J. Kfoury in ASPL-2

Publication years (Num. hits)
1974-1988 (18) 1989-1997 (15) 1999-2005 (16) 2006-2013 (16) 2014-2018 (13)
Publication types (Num. hits)
article(40) book(3) inproceedings(34) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 24 keywords

Results
Found 79 publication records. Showing 78 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Assaf J. Kfoury, Benjamin Sisson Efficient Reassembling of Three-Regular Planar Graphs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Assaf J. Kfoury A Fixed-Parameter Linear-Time Algorithm to Compute Principal Typings of Planar Flow Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Assaf J. Kfoury Mathematical Logic in Computer Science. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Assaf J. Kfoury A Compositional Approach to Network Algorithms. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Assaf J. Kfoury A Fixed-Parameter Linear-Time Algorithm for Maximum Flow in Planar Flow Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Assaf J. Kfoury, Saber Mirzaei Efficient reassembling of graphs, part 1: the linear case. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saber Mirzaei, Assaf J. Kfoury Shortest path and maximum flow problems in planar flow networks with additive gains and losses. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Saber Mirzaei, Assaf J. Kfoury Efficient Reassembling of Graphs, Part 2: The Balanced Case. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Saber Mirzaei, Sanaz Bahargam, Richard Skowyra, Assaf J. Kfoury, Azer Bestavros Using Alloy to Formally Model and Reason About an OpenFlow Network Switch. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Assaf J. Kfoury, Saber Mirzaei Efficient Reassembling of Graphs, Part 1: The Linear Case. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Saber Mirzaei, Assaf J. Kfoury Linear Arrangement of Halin Graphs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Assaf J. Kfoury The syntax and semantics of a domain-specific language for flow-network design. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Richard Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury A Verification Platform for SDN-Enabled Applications. Search on Bibsonomy IC2E The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Azer Bestavros, Assaf J. Kfoury Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Azer Bestavros, Assaf J. Kfoury, Andrei Lapets Postlude: seamless composition and integration - a perspective on formal methods research. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Richard Lazarus, Assaf J. Kfoury, Jacob Beal (eds.) Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013 Search on Bibsonomy FPCDSL@ICFP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Richard William Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury Verifiably-safe software-defined networks for CPS. Search on Bibsonomy HiCoNS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrei Lapets, Richard Skowyra, Azer Bestavros, Assaf J. Kfoury Towards accessible integration and deployment of formal tools and techniques. Search on Bibsonomy TOPI@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrei Lapets, Assaf J. Kfoury A User-friendly Interface for a Lightweight Verification System. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Azer Bestavros, Assaf J. Kfoury A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report). Search on Bibsonomy DSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury Formal Verification of SLA Transformations. Search on Bibsonomy SERVICES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Formal Verification, Cloud Computing, Service Level Agreements
1Nate Soule, Azer Bestavros, Assaf J. Kfoury, Andrei Lapets Safe Compositional Equation-based Modeling of Constrained Flow Networks. Search on Bibsonomy EOOLT The full citation details ... 2011 DBLP  BibTeX  RDF
1Kevin Donnelly, Assaf J. Kfoury, Andrei Lapets The Complexity of Restricted Variants of the Stable Paths Problem. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean Safe compositional network sketches: formal framework. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF modeling, design, verification, typing, compositionality
1Vatche Ishakian, Azer Bestavros, Assaf J. Kfoury A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems. Search on Bibsonomy RTCSA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF colocation, Type-Theoretic, Real-Time
1Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. Search on Bibsonomy MOMPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yarom Gabay, Assaf J. Kfoury A calculus for java's reference objects. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF java reference objects, weak references, garbage collection, formal languages
1Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury Formal semantics of weak references. Search on Bibsonomy ISMM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF weak references, garbage collection, formal semantics
1Michael J. Ocean, Azer Bestavros, Assaf J. Kfoury snBench: programming and virtualization framework for distributed multitasking sensor networks. Search on Bibsonomy VEE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF sensor networks, programming environments, domain specific languages, distributed resource management
1J. J. Hallett, Assaf J. Kfoury Programming Examples Needing Polymorphic Recursion. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta Typed Abstraction of Complex Network Compositions. Search on Bibsonomy ICNP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, J. B. Wells Principality and type inference for intersection types using expansion variables. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta Safe compositional specification of networking systems. Search on Bibsonomy Computer Communication Review The full citation details ... 2004 DBLP  DOI  BibTeX  RDF QoS theory, service composition, type systems, control theory
1Adam Bradley, Azer Bestavros, Assaf J. Kfoury A Typed Model for Encoding-Based Protocol Interoperability. Search on Bibsonomy ICNP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Adam Bradley, Azer Bestavros, Assaf J. Kfoury Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. Search on Bibsonomy ICNP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen Orderly communication in the Ambient Calculus. Search on Bibsonomy Comput. Lang. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells Implementing Compositional Analysis Using Intersection Types With Expansion Variables. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen What Are Polymorphically-Typed Ambients? Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury Type theory and rewriting theory for expressive, efficient and reliable programming languages. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury A linearization of the Lambda-calculus and consequences. Search on Bibsonomy J. Log. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn Alpha-Conversion and Typability. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Santiago M. Pericás-Geertsen Type Inference for Recursive Definitions. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF type systems, type inference, lambda calculus, unification, software specification
1A. J. Kfoury, J. B. Wells Principality and Decidable Type Inference for Finite-Rank Intersection Types. Search on Bibsonomy POPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Alexei P. Stolboushkin An Infinite Pebble Game and Applications. Search on Bibsonomy Inf. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury Recursion Versus Iteration at Higher-Orders. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, J. B. Wells New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn An Analysis of ML Typability. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF acyclic semi-unification, semi-unification, ML
1A. J. Kfoury, J. B. Wells A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF ML
1A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn Type Reconstruction in the Presence of Polymorphic Recursion. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF fixpoint operator, polymorphic abstraction, polymorphic recursion, semiunification
1A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn The Undecidability of the Semi-unification Problem Search on Bibsonomy Inf. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Jerzy Tiuryn Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus Search on Bibsonomy Inf. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Jerzy Tiuryn Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary) Search on Bibsonomy LICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn ML Typability is DEXTIME-Complete. Search on Bibsonomy CAAP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn The Undecidability of the Semi-Unification Problem (Preliminary Report) Search on Bibsonomy STOC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1William M. Farmer, A. J. Kfoury Minutes of the 4th annual LICS business meeting. Search on Bibsonomy SIGACT News The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Pawel Urzyczyn Algo-Like Languages with Higher-Order Procedures and Their Expressive Power. Search on Bibsonomy Logic at Botik The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) Search on Bibsonomy LICS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury A Linear-Time Algorithm to Decide Whether A Binary Word Contains An Overlap. Search on Bibsonomy ITA The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Robert N. Moll, Michael A. Arbib, A. J. Kfoury An Introduction to Formal Language Theory Search on Bibsonomy 1988   DOI  RDF
1A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn On the Computational Power of Universally Polymorphic Recursion Search on Bibsonomy LICS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn A Proper Extension of ML with an Effective Type-Assignment. Search on Bibsonomy POPL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF ML
1A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn The Hierarchy of Finitely Typed Functional Programs (Short Version) Search on Bibsonomy LICS The full citation details ... 1987 DBLP  BibTeX  RDF
1A. J. Kfoury A linear-time algorithm to decide whether a binary word contains an overlap. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 1986 DBLP  BibTeX  RDF
1A. J. Kfoury The Unwind Property for Programs with Bounded Memory. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Pawel Urzyczyn Necessary and Sufficient Conditions for the Universality of Programming Formalisms. Search on Bibsonomy Acta Inf. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury Definability by Deterministic and Non-deterministic Programs (with Applications to First-Order Dynamic Logic) Search on Bibsonomy Information and Control The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury Definability by Programs in First-Order Structures. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Pawel Urzyczyn Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report). Search on Bibsonomy Logic of Programs The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Assaf J. Kfoury, Robert N. Moll, Michael A. Arbib A Programming Approach to Computability Search on Bibsonomy 1982   DOI  RDF
1A. J. Kfoury Some Connections Between iterative Programs, Recursive Programs, and First-Order Logic. Search on Bibsonomy Logic of Programs The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Michael A. Arbib, Assaf J. Kfoury, Robert N. Moll A Basis for Theoretical Computer Science. Search on Bibsonomy 1981   DOI  RDF
1A. J. Kfoury Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report) Search on Bibsonomy FOCS The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury Analysis of Simple Programs Over Different Sets of Primitives. Search on Bibsonomy POPL The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, David Michael Ritchie Park On the Termination of Program Schemas Search on Bibsonomy Information and Control The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury Translatability of Schemas over Restricted Interpretations. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #78 of 78 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license