Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Zlatan Damnjanovic |
Elementary realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 26(3), pp. 311-339, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Anatoly Petrovich Beltiukov |
Intuitionistic Formal Theories with Realizability in Subrecursive Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 89(1), pp. 3-15, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Jaap van Oosten |
Extensional Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 84(3), pp. 317-349, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Jaap van Oosten |
Two Remarks on the Lifschitz Realizability Topos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 61(1), pp. 70-79, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | James Lipton, Michael J. O'Donnell |
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 81(1-3), pp. 187-239, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Michael B. Dillencourt, Warren D. Smith |
Graph-theoretical conditions for inscribability and Delaunay realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 161(1-3), pp. 63-77, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Zlatan Damnjanovic |
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 60(4), pp. 1208-1241, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Jean H. Gallier |
Proving Properties of Typed lambda-Terms Using Realizability, Covers, and Sheaves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 142(2), pp. 299-368, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | S. C. Leung, Hon Fung Li |
On the realizability and synthesis of delay-insensitive behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(7), pp. 833-848, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Ludo M. G. M. Tolhuizen, Henk D. L. Hollmann, Antonius A. C. M. Kalker |
On the realizability of biorthogonal, m-dimensional two-band filter banks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 43(3), pp. 640-648, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Peter Eades, Sue Whitesides |
Nearest Neighbour Graph Realizability is NP-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 245-256, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | John R. Longley |
Realizability toposes and language semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
17 | Kokichi Sugihara |
Simpler Proof of a Realizability Theorem on Delaunay Triangulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 50(4), pp. 173-176, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Zlatan Damnjanovic |
Strictly Primitive Recursive Realizability, I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 59(4), pp. 1210-1227, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Satoshi Kobayashi, Makoto Tatsuta |
Realizability Interpretation of Generalized Inductive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 131(1), pp. 121-138, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Makoto Tatsuta |
Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 122(1&2), pp. 119-136, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | John N. Crossley, Gerald L. Mathai, Robert A. G. Seely |
A logical calculus for polynomial-time realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods Log. Comput. Sci. ![In: Methods Log. Comput. Sci. 1(3), pp. 279-298, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Duen-Jeng Wang, Yu Hen Hu |
Fully static multiprocessor array realizability criteria for real-time recurrent DSP applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 42(5), pp. 1288-1292, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Makoto Tatsuta |
Two Realizability Interpretations of Monotone Inductive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 5(1), pp. 1-21, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Jaap van Oosten |
Axiomatizing Higher-Order Kleene Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 70(1), pp. 87-111, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Martin Aigner 0001, Eberhard Triesch |
Realizability and uniqueness in graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 136(1-3), pp. 3-20, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Franco Barbanera, Simone Martini 0001 |
Proof-functional connectives and realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 33(3), pp. 189-211, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Michael B. Dillencourt, Warren D. Smith |
Graph-Theoretical Conditions for Inscribability and Delaunay Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 6th Canadian Conference on Computational Geometry, Saskatoon, SK, Canada, August 1994, pp. 287-292, 1994, University of Saskatchewan. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Hon Fung Li, S. C. Leung |
An efficient algorithm for the realizability analysis of signal transition graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: Fourth Great Lakes Symposium on Design Automation of High Performance VLSI Systems, GLSV '94, Notre Dame, IN, USA, March 4-5, 1994, pp. 174-179, 1994, IEEE, 0-8186-5610-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | J. M. E. Hyland, C.-H. Luke Ong |
Modified Realizability Toposes and Strong Normalization Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings, pp. 179-194, 1993, Springer, 3-540-56517-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay G. Dhande, K. P. Karunakaran |
Realizability in Computer Aided Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCG ![In: Graphics, Design and Visualization, Proceedings of the IFIP TC5/WG5.2/WG5.10 CSI International Conference on Computer Graphics - ICCG93, Bombay, India, 24-26 February, 1993, pp. 259-270, 1993, North-Holland, 0-444-81564-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
17 | Thorsten Altenkirch |
Proving Strong Normalization of CC by Modifying Realizability Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers, pp. 3-18, 1993, Springer, 3-540-58085-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Victor Harnik, Michael Makkai |
Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 57(1), pp. 200-230, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Makoto Tatsuta |
Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan., pp. 666-673, 1992, IOS Press, 90-5199-099-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
17 | Ali Hamie |
Realizability and partiality in constructive set theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
17 | Jaap van Oosten |
Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 56(3), pp. 964-973, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Makoto Tatsuta |
Program Synthesis Using Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 90(2), pp. 309-353, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
17 | Roberto M. Amadio |
Recursion over Realizability Structures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 91(1), pp. 55-85, March 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | James Lipton |
Kripke Semantics for Dependent Type Theory and Realizability Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 22-32, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Makoto Tatsuta |
Monotone Recursive Definition of Predicates and Its Realizability Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings, pp. 38-52, 1991, Springer, 3-540-54415-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir Batagelj, Tomaz Pisanski, J. M. S. Simões-Pereira |
An algorithm for tree-realizability of distance matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 34(3-4), pp. 171-176, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Michael B. Dillencourt |
Realizability of Delaunay Triangulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 33(6), pp. 283-287, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Jaap van Oosten |
Lifschitz' Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 55(2), pp. 805-821, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Grigori Mints |
The Completeness of Provable Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 30(3), pp. 420-441, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Martin C. Henson |
Realizability Models for Program Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings, pp. 256-272, 1989, Springer, 3-540-51305-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Aurelio Carboni, Peter J. Freyd, Andre Scedrov |
A Categorical Approach to Realizability and Polymorphic Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 23-42, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas D. Goodman |
Flagg Realizability in Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 51(2), pp. 387-392, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Charles McCarty |
Subcountability under realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 27(2), pp. 210-220, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Charles McCarty |
Realizability and recursive set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 32, pp. 153-183, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Manfred E. Szabo |
The Continuous Realizability of Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 29(4), pp. 219-233, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Charles McCarty |
Information Systems, Continuity and Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic of Programs ![In: Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings, pp. 341-259, 1983, Springer, 3-540-12896-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Francis T. Boesch, Charles L. Suffel |
Realizability of p-point, q-line graphs with prescribed point connectivity, line connectivity, or minimum degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networks ![In: Networks 12(3), pp. 341-350, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Francis T. Boesch, Charles L. Suffel |
Realizability of p-point graphs with prescribed minimum degree, maximum degree, and point-connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 3(1), pp. 9-18, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
17 | Masato Inagaki, Yasuyuki Funahashi |
Nonisomorphic classes of inhomogeneous bilinear realizations: Realizability and existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 16(1), pp. 105-108, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
17 | Francis T. Boesch, Charles L. Suffel |
Realizability of p-point graphs with prescribed minimum degree, maximum degree, and line connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 4(4), pp. 363-370, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
17 | B. I. Strom |
Proof of the Equivalent Realizability of a Time-Bound Arbiter and a Runt-Free Inertail Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 6th Annual Symposium on Computer Architecture, Philadelphia, PA, USA, April 1979, pp. 178-181, 1979, ACM, 978-1-4503-7397-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas D. Goodman |
Relativized Realizability in Intuitionistic Arithmetic of All Finite Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 43(1), pp. 23-44, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Francis T. Boesch, Frank Harary |
Unicyclic realizability of a degree list. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networks ![In: Networks 8(2), pp. 93-96, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Bruno Scarpellini |
A New Realizability Notion for Intuitionistic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 23(7-12), pp. 137-167, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
17 | Yasuhiko Takahara, Mihajlo D. Mesarovic |
Realizability and general dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 8(2), pp. 109-121, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
17 | Subir Bandyopadhyay, A. Pal, Arun K. Choudhury |
Characterization of Unate Cascade Realizability Using Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 24(2), pp. 218-219, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
17 | John Staples |
Combinator Realizability of a Constructive Morse Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 39(2), pp. 226-234, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
17 | Robert R. Tompkins |
On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 9(4), pp. 289-293, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
17 | Leo Hellerman, William L. Duda, Shmuel Winograd |
Continuity and Realizability of Sequence Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 15(4), pp. 560-569, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
17 | Wesley W. Chu |
Correction [to "On the realizability of special classes of autonomous sequential networks"]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 15(3), pp. 327, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
17 | Vladimír Strejc |
The physical realizability of an optimum Ν-parameter, discrete, linear control system determined in Wiener's sense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 1(5), pp. 399-409, 1965. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP BibTeX RDF |
|
17 | Franco P. Preparata |
On the Realizability of Special Classes of Autonomous Sequential Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 14(6), pp. 791-797, 1965. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
|
17 | Robert O. Winder |
Bounds on Threshold Gate Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 12(5), pp. 561-564, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|
17 | Manohar Lal |
On Physical Realizability of Signal Flow Graphs and Realization Techniques ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1963 |
RDF |
|
17 | Saburo Muroga |
Functional forms of majority functions and a necessary and sufficient condition for their realizability ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWCT ![In: 2nd Annual Symposium on Switching Circuit Theory and Logical Design, Detroit, Michigan, USA, October 17-20, 1961, pp. 39-46, 1961, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
|
13 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
From liveness to promptness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 34(2), pp. 83-103, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Verification, Temporal logic, Liveness |
13 | Tevfik Bultan, Chris Ferguson, Xiang Fu 0001 |
A Tool for Choreography Analysis Using Collaboration Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 856-863, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Thierry Coquand |
Forcing and Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 2, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Hillel Kugler, Cory Plock, Amir Pnueli |
Controller Synthesis from LSC Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 79-93, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Felsner, Sarah Kappes |
Orthogonal Surfaces and Their CP-Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(1), pp. 19-47, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 05C62, 52B05, 68R10, 06A07 |
13 | Sumanta Chaudhuri, Jean-Luc Danger, Philippe Hoogvorst, Sylvain Guilley |
Efficient tiling patterns for reconfigurable gate arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 16th International Symposium on Field Programmable Gate Arrays, FPGA 2008, Monterey, California, USA, February 24-26, 2008, pp. 257, 2008, ACM, 978-1-59593-934-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FPGA hexagonal octagonal, tiling interconnect |
13 | Kevin M. Lillis, Sriram V. Pemmaraju |
On the Efficiency of a Local Iterative Algorithm to Compute Delaunay Realizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEA ![In: Experimental Algorithms, 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30-June 1, 2008, Proceedings, pp. 69-86, 2008, Springer, 978-3-540-68548-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Sylvain Lebresne |
A System F with Call-by-Name Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 323-335, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Kun Liu 0001, Evimaria Terzi |
Towards identity anonymization on graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, pp. 93-106, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
degree sequence, dynamic programming, anonymity |
13 | K. Yang, Michael R. Frater, Elanor H. Huntington, Mark R. Pickering, John F. Arnold |
Generalized framework for reduced precision global motion estimation between digital images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMSP ![In: International Workshop on Multimedia Signal Processing, MMSP 2008, October 8-10, 2008, Shangri-la Hotel, Cairns, Queensland, Australia, pp. 76-81, 2008, IEEE Signal Processing Society, 978-1-4244-2295-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Werner Damm |
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 3, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi |
A Framework for Inherent Vacuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 7-22, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Yang Cheung, Dah-Ming Chiu, Jianwei Huang 0001 |
Can Bilateral ISP Peering Lead to Network-Wide Cooperative Settlement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 17th International Conference on Computer Communications and Networks, IEEE ICCCN 2008, St. Thomas, U.S. Virgin Islands, August 3-7, 2008, pp. 163-168, 2008, IEEE, 978-1-4244-2390-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Environment Assumptions for Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 147-161, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Berardi, Ugo de'Liguoro |
A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 215-229, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Manoj Prabhakaran 0001, Mike Rosulek |
Cryptographic Complexity of Multi-Party Computation Problems: Classifications and Separations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2008, 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings, pp. 262-279, 2008, Springer, 978-3-540-85173-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | K. Yang, Michael R. Frater, Elanor H. Huntington, Mark R. Pickering, John F. Arnold |
Low Precision Global Motion Estimation for Video Compression- A Generalized Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, DICTA 2008, Canberra, ACT, Australia, 1-3 December 2008, pp. 405-411, 2008, IEEE Computer Society, 978-0-7695-3456-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Paulo Oliva |
Computational Interpretations of Classical Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, pp. 285-296, 2007, Springer, 978-3-540-73443-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev |
RAT: A Tool for the Formal Analysis of Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 263-267, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
From Liveness to Promptness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 406-419, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Marc Herbstritt, Vanessa Struve, Bernd Becker 0001 |
Application of Lifting in Partial Design Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA, pp. 33-38, 2007, IEEE Computer Society, 978-0-7695-3241-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Mikhail M. Svinin, Shigeyuki Hosoe |
On the dynamics and motion planning for a rolling system With variable inertia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 3315-3320, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Wojciech Moczydlowski |
A Dependent Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 23-34, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Liang Chang 0003, Fen Lin, Zhongzhi Shi |
A Dynamic Description Logic for Representation and Reasoning About Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 115-127, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Brian F. Redmond |
Multiplexor Categories and Models of Soft Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 472-485, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Categorical semantics, Soft Linear Logic, Polynomial time, Game semantics |
13 | Andrej Bauer, Christopher A. Stone |
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 28-42, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Vandana Gunupudi, Stephen R. Tate |
Random Oracle Instantiation in Distributed Protocols Using Trusted Platform Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops (1) ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Workshops Proceedings, Volume 1, May 21-23, 2007, Niagara Falls, Canada, pp. 463-469, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Pier Francesco Cortese, Giuseppe Di Battista, Fabrizio Frati, Luca Grilli 0001, Katharina Anna Lehmann, Giuseppe Liotta, Maurizio Patrignani, Ioannis G. Tollis, Francesco Trotta |
On the Topologies of Local Minimum Spanning Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAN ![In: Combinatorial and Algorithmic Aspects of Networking, Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers, pp. 31-44, 2006, Springer, 3-540-48822-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Lars Schewe |
Generation of Oriented Matroids Using Satisfiability Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 216-218, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Thilo Streichert, Christian Strengert, Christian Haubelt, Jürgen Teich |
Dynamic task binding for hardware/software reconfigurable networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2006, Ouro Preto, MG, Brazil, August 28 - September 1, 2006, pp. 38-43, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
online hardware/software partitioning, fault-tolerance, reconfigurable system |
13 | Elisabeth Gassner, Michael Jünger, Merijam Percan, Marcus Schaefer 0001, Michael Schulz 0001 |
Simultaneous Graph Embeddings with Fixed Edges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006, Revised Papers, pp. 325-335, 2006, Springer, 3-540-48381-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Valery Plisko |
On Primitive Recursive Realizabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pp. 304-312, 2006, Springer, 3-540-34166-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Robert L. Constable, Wojciech Moczydlowski |
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 162-176, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Ulrik Brandes, Barbara Schlieper |
Angle and Distance Constraints on Tree Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers, pp. 54-65, 2006, Springer, 978-3-540-70903-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Claire Monteleoni |
Efficient Algorithms for General Active Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Learning Theory, 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings, pp. 650-652, 2006, Springer, 3-540-35294-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|