The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Realizability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1961-1979 (15) 1980-1989 (15) 1990-1992 (16) 1993-1994 (22) 1995-1996 (17) 1997-1998 (18) 1999 (20) 2000-2001 (24) 2002 (16) 2003-2004 (18) 2005 (15) 2006 (31) 2007 (27) 2008 (31) 2009 (21) 2010-2011 (26) 2012 (30) 2013 (26) 2014 (19) 2015 (31) 2016 (22) 2017 (22) 2018 (26) 2019 (25) 2020 (21) 2021 (29) 2022 (32) 2023 (28) 2024 (8)
Publication types (Num. hits)
article(330) book(3) incollection(1) inproceedings(302) phdthesis(14) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 111 occurrences of 77 keywords

Results
Found 651 publication records. Showing 651 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
141Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari Strong Safe Realizability of Message Sequence Chart Specifications. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Strong safe realizability, stuck states, emergent scenarios
81Rajeev Alur, Kousha Etessami, Mihalis Yannakakis Realizability and Verification of MSC Graphs. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
81Lars Birkedal A General Notion of Realizability. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
77James Lipton, Michael J. O'Donnell Intuitive Counterexamples for Constructive Fallacies. Search on Bibsonomy MFCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
73Zachary Stengel, Tevfik Bultan Analyzing singularity channel contracts. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF conversations, asynchronous communication, realizability
73Tevfik Bultan, Xiang Fu 0001 Specification of realizable service conversations using collaboration diagrams. Search on Bibsonomy Serv. Oriented Comput. Appl. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Conversations, Choreography, Realizability, Collaboration diagrams
68Laurent Doyen 0001, Gilles Geeraerts, Jean-François Raskin, Julien Reichert Realizability of Real-Time Logics. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
68Xiang Fu 0001, Tevfik Bultan, Jianwen Su Realizability of Conversation Protocols With Message Contents. Search on Bibsonomy ICWS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
68Anuchit Anuchitanukul, Zohar Manna Realizability and Synthesis of Reactive Modules. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
66Steven Awodey, Lars Birkedal, Dana S. Scott Local Realizability Toposes and a Modal Logic for Computability. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66Bernhard Reus Realizability Models for Type Theories. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66Lars Birkedal Bibliography on Realizability. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66Samson Abramsky Process Realizability. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66Martin Hyland Variations on Realizability: Simple examples realizing axioms of choice. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66Tristan Crolard A type theory which is complete for Kreisel's modified realizability. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66John Longley Matching typed and untyped realizability. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
64Alexey V. Chernov, Dmitrij P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF superintuitionistic logics, Kolmogorov complexity, realizability
60Tevfik Bultan, Jianwen Su, Xiang Fu 0001 Analyzing Conversations of Web Services. Search on Bibsonomy IEEE Internet Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF synchronizability, Web services, model checking, conversations, asynchronous communication, realizability
55Federico Aschieri, Stefano Berardi Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
55Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev Diagnostic Information for Realizability. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Raman Kazhamiakin, Marco Pistore Analysis of Realizability Conditions for Web Service Choreographies. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Markus Lohrey Safe Realizability of High-Level Message Sequence Charts. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
55Moshe Y. Vardi An Automata-Theoretic Approach to Fair Realizability and Synthesis. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Tevfik Bultan, Xiang Fu 0001 Specification of Realizable Service Conversations Using Collaboration Diagrams. Search on Bibsonomy SOCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Michael Rathjen Models of Intuitionistic Set Theories over Partial Combinatory Algebras. Search on Bibsonomy TAMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott (eds.) Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999 Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  BibTeX  RDF
49Giuseppe Rosolini, Thomas Streicher Comparing models of higher type computation. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Jaap van Oosten History and Developments. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Andrew M. Pitts Tripos Theory in Retrospect. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Ulrich Berger 0001 Effectivity and Density in Domains: A Survey. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott Preface. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Sergei N. Artëmov Uniform provability realization of intuitionistic logic, modality and lambda-terms. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
48Mircea-Dan Hernest, Paulo Oliva Hybrid Functional Interpretations. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Functional interpretations, modified realizability, Dialectica interpretation, program extraction from proofs, uniform quantifiers, linear logic
48Rajeev Alur, Kousha Etessami, Mihalis Yannakakis Inference of message sequence charts. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom
42Emmanuel Filiot, Naiyong Jin, Jean-François Raskin An Antichain Algorithm for LTL Realizability. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Gwen Salaün, Tevfik Bultan Realizability of Choreographies Using Process Algebra Encodings. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Steven Awodey, Andrej Bauer Sheaf toposes for realizability. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03G30, 03D65
42Tevfik Bultan, Xiang Fu 0001, Jianwen Su Analyzing Conversations: Realizability, Synchronizability, and Verification. Search on Bibsonomy Test and Analysis of Web Services The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Humberto Nicolás Castejón Martínez, Rolv Bræk, Gregor von Bochmann Realizability of Collaboration-based Service Specifications. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Paulo Oliva Modified Realizability Interpretation of Classical Linear Logic. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001 Formal methods for checking realizability of coalitions in 3-party systems. Search on Bibsonomy MEMOCODE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Arjan J. Mooij, Judi Romijn, Wieger Wesselink Realizability Criteria for Compositional MSC. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Edmund Robinson, Giuseppe Rosolini An Abstract Look at Realizability. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Jean H. Gallier Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract). Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
39Helmut Schwichtenberg Realizability interpretation of proofs in constructive analysis. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Continuous inverse function, Intermediate value theorem, Program extraction, Non-computational quantifier, Realizability
38Jin-yi Cai, Pinyan Lu Signature Theory in Holographic Algorithms. Search on Bibsonomy ISAAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Gérard Boudol Fair Cooperative Multithreading. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Yves Bontemps, Pierre-Yves Schobbens The Complexity of Live Sequence Charts. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Emmanuel Letier, Axel van Lamsweerde Agent-based tactics for goal-oriented requirements elaboration. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Xiang Fu 0001, Tevfik Bultan, Jianwen Su Synchronizability of Conversations among Web Services. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF synchronizability, Web services, model checking, verification, conversations, asynchronous communication, realizability
35Rajeev Alur, Kousha Etessami, Mihalis Yannakakis Inference of Message Sequence Charts. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF concurrent state machines, formal verification, synthesis, scenarios, requirements analysis, Message sequence charts, realizability, deadlock freedom
35Yohji Akama Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF partial combinatory algebra, limiting recursive functions, realizability interpretation, infinitary lambda-calculi, In the interpretation, ?-variables(=continuations) are interpreted as streams of -terms, calculus, discontinuity
35Bernhard Reus Extensional Sigma-Spaces in Type Theory. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF synthetic domain theory, type theory, realizability, domain theory, constructive logic
30Krzysztof Petelczyc, Malgorzata Prazmowska 103-configurations and projective realizability of multiplied configurations. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 51A45, 51E10, 05B30
30Alexandre Miquel Relating Classical Realizability and Negative Translation for Existential Witness Extraction. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Lars Birkedal, Kristian Støvring, Jacob Thamsborg Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Hywel R. Dunn-Davies, Jim Cunningham Verifying realizability and reachability in recursive interaction protocol specifications. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF propositional statecharts, verification, interaction protocols
30Naiqi Wu, MengChu Zhou, Feng Chu 0001 A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery. Search on Bibsonomy IEEE Trans Autom. Sci. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Melvin Fitting S4LPand Local Realizability. Search on Bibsonomy CSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Abdolmajid Mousavi, Behrouz H. Far Revisiting Safe Realizability of Message Sequence Charts Specifications. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Maria Belk Realizability of Graphs in Three Dimensions. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Jan Kyncl The Complexity of Several Realizability Problems for Abstract Topological Graphs. Search on Bibsonomy GD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Naohiko Hoshino Linear Realizability. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Manfred Broy Interaction and Realizability. Search on Bibsonomy SOFSEM (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Anthony Man-Cho So, Yinyu Ye 0001 A semidefinite programming approach to tensegrity theory and realizability of graphs. Search on Bibsonomy SODA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Henry Towsner A realizability interpretation for classical analysis. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Abdelhalim El-Aboudi, El Mostapha Aboulhamid An algorithm for the verification of timing diagrams realizability. Search on Bibsonomy ISCAS (1) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Makoto Tatsuta Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Roberto M. Amadio Domains in a Realizability Framework. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
26Jin-yi Cai, Pinyan Lu Holographic algorithms: from art to science. Search on Bibsonomy STOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF matchgates, signatures, holographic algorithms
26Matti Kääriäinen Active Learning in the Non-realizable Case. Search on Bibsonomy ALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Kirill V. Pavsky Stochastic Analysis of Solving Complex Problem on Distributed Computer. Search on Bibsonomy PARELEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Ugo Dal Lago, Martin Hofmann 0001 Quantitative Models and Implicit Complexity. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Xiang Fu 0001, Tevfik Bultan, Jianwen Su Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. Search on Bibsonomy CIAA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Jean-Louis Krivine The Curry-Howard Correspondence in Set Theory. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Martin C. Henson Safe Positive Induction in the Programming Logic TK. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
26Christine Paulin-Mohring Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF ML
22Ansuman Banerjee Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?. Search on Bibsonomy VLSI Design The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Satisfiability, LTL, Realizability, QBF
22Ulrich Berger 0001, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg Program Extraction from Normalization Proofs. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Normalization by evaluation, program extraction from proofs, realizability, typed lambda calculus
22Rosalie Iemhoff On the rules of intermediate logics. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF admissible rules, Rieger-Nishimura formulas, Medvedev logic, Independence of Premise, realizability, Intermediate logics
22Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta Test generation games from formal specifications. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF vacuity, test generation, realizability
22Rosaria Conte From Simulation to Theory (and Backward). Search on Bibsonomy EPOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Agent-based generative social simulation, bottom-up theory, top-down theory, multiple realizability, social emergence
22Jerome Vouillon, Paul-André Melliès Semantic types: a fresh look at the ideal model for types. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types
22Emmanuel Beffara, Vincent Danos Disjunctive normal forms and local exceptions. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF classical realizability, control structures, disjunctive normal forms
22Pietro Parodi, Giulia Piccioli 3D Shape Reconstruction by Using Vanishing Points. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Reconstruction of 3D shape, incidence structure, labeling, line drawing, vanishing point, realizability, spatial structure
22Rudi Penne Some nonrealizable line diagrams. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Weaving pattern, realizability, oriented matroid
17Julian Pfeifle Positive Plücker tree certificates for non-realizability. Search on Bibsonomy Exp. Math. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Roland Meyer 0001, Jakob Tepe, Sebastian Wolff 0001 Realizability in Semantics-Guided Synthesis Done Eagerly. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Dominik Dürrschnabel, Uta Priss Realizability of Rectangular Euler Diagrams. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Takayuki Kihara Many-one reducibility with realizability. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Manfred Broy Time, causality, and realizability: Engineering interactive, distributed software systems. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Ashwin Bhaskar, M. Praveen Realizability problem for constraint LTL. Search on Bibsonomy Inf. Comput. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Laura Fontanella, Guillaume Geoffroy, Richard Matthews Realizability Models for Large Cardinals. Search on Bibsonomy CSL The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Ringo Baumann, Anne-Marie Heine On Naive Labellings - Realizability, Construction and Patterns of Redundancy. Search on Bibsonomy FoIKS The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Emanuele Frittaion Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory. Search on Bibsonomy J. Symb. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Aleksandr Yu. Konovalov A Generalized Realizability and Intuitionistic Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Thomas Norddine, M. Ferrand, S. Benhamadouche Realizability-preserving time-stepping for the differential Reynolds stress turbulence models. Search on Bibsonomy J. Comput. Phys. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Manfred Broy Specification and verification of concurrent systems by causality and realizability. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Kai Wang 0017, Michael Z. Q. Chen, Fei Liu Minimal seven-element series-parallel realizability of a certain positive-real biquadratic impedance. Search on Bibsonomy Int. J. Circuit Theory Appl. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Richard Matthews A Guide to Krivine Realizability for Set Theory. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 651 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license