Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
141 | Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari |
Strong Safe Realizability of Message Sequence Chart Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 334-349, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Strong safe realizability, stuck states, emergent scenarios |
81 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Realizability and Verification of MSC Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 797-808, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
81 | Lars Birkedal |
A General Notion of Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 7-17, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
77 | James Lipton, Michael J. O'Donnell |
Intuitive Counterexamples for Constructive Fallacies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings, pp. 87-111, 1994, Springer, 3-540-58338-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
73 | Zachary Stengel, Tevfik Bultan |
Analyzing singularity channel contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009, pp. 13-24, 2009, ACM, 978-1-60558-338-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
conversations, asynchronous communication, realizability |
73 | Tevfik Bultan, Xiang Fu 0001 |
Specification of realizable service conversations using collaboration diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 2(1), pp. 27-39, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Conversations, Choreography, Realizability, Collaboration diagrams |
68 | Laurent Doyen 0001, Gilles Geeraerts, Jean-François Raskin, Julien Reichert |
Realizability of Real-Time Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, pp. 133-148, 2009, Springer, 978-3-642-04367-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
68 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Realizability of Conversation Protocols With Message Contents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 96-, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
68 | Anuchit Anuchitanukul, Zohar Manna |
Realizability and Synthesis of Reactive Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings, pp. 156-168, 1994, Springer, 3-540-58179-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
66 | Steven Awodey, Lars Birkedal, Dana S. Scott |
Local Realizability Toposes and a Modal Logic for Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 13-26, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
66 | Bernhard Reus |
Realizability Models for Type Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 128-158, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
66 | Lars Birkedal |
Bibliography on Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 40-57, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
66 | Samson Abramsky |
Process Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 1-2, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
66 | Martin Hyland |
Variations on Realizability: Simple examples realizing axioms of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 166-188, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
66 | Tristan Crolard |
A type theory which is complete for Kreisel's modified realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 58-73, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
66 | John Longley |
Matching typed and untyped realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 74-100, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
64 | Alexey 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](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 74-88, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
superintuitionistic logics, Kolmogorov complexity, realizability |
60 | Tevfik Bultan, Jianwen Su, Xiang Fu 0001 |
Analyzing Conversations of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 10(1), pp. 18-25, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
synchronizability, Web services, model checking, conversations, asynchronous communication, realizability |
55 | Federico Aschieri, Stefano Berardi |
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 20-34, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
55 | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev |
Diagnostic Information for Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 52-67, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Raman Kazhamiakin, Marco Pistore |
Analysis of Realizability Conditions for Web Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006., pp. 61-76, 2006, Springer, 3-540-46219-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
55 | Markus Lohrey |
Safe Realizability of High-Level Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 177-192, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
55 | Moshe Y. Vardi |
An Automata-Theoretic Approach to Fair Realizability and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 267-278, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
51 | Tevfik Bultan, Xiang Fu 0001 |
Specification of Realizable Service Conversations Using Collaboration Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2007, 19-20 June 2007, Newport Beach, California, USA, pp. 122-132, 2007, IEEE Computer Society, 978-0-7695-2861-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Michael Rathjen |
Models of Intuitionistic Set Theories over Partial Combinatory Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings, pp. 68-78, 2006, Springer, 3-540-34021-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Lars 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](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![Elsevier The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
49 | Giuseppe Rosolini, Thomas Streicher |
Comparing models of higher type computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 159-165, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Jaap van Oosten |
History and Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 101-110, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Andrew M. Pitts |
Tripos Theory in Retrospect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 111-127, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Ulrich Berger 0001 |
Effectivity and Density in Domains: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 27-39, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 189-190, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Sergei N. Artëmov |
Uniform provability realization of intuitionistic logic, modality and lambda-terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 3-12, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Mircea-Dan Hernest, Paulo Oliva |
Hybrid Functional Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 251-260, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Functional interpretations, modified realizability, Dialectica interpretation, program extraction from proofs, uniform quantifiers, linear logic |
48 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Inference of message sequence charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 304-313, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom |
42 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
An Antichain Algorithm for LTL Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 263-277, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Gwen Salaün, Tevfik Bultan |
Realizability of Choreographies Using Process Algebra Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 167-182, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Steven Awodey, Andrej Bauer |
Sheaf toposes for realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(5), pp. 465-478, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03G30, 03D65 |
42 | Tevfik Bultan, Xiang Fu 0001, Jianwen Su |
Analyzing Conversations: Realizability, Synchronizability, and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Test and Analysis of Web Services ![In: Test and Analysis of Web Services, pp. 57-85, 2007, Springer, 978-3-540-72912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Humberto Nicolás Castejón Martínez, Rolv Bræk, Gregor von Bochmann |
Realizability of Collaboration-based Service Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 73-80, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Paulo Oliva |
Modified Realizability Interpretation of Classical Linear Logic. ![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. 431-442, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001 |
Formal methods for checking realizability of coalitions in 3-party systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA, pp. 198, 2006, IEEE Computer Society, 1-4244-0421-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Arjan J. Mooij, Judi Romijn, Wieger Wesselink |
Realizability Criteria for Compositional MSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, pp. 248-262, 2006, Springer, 3-540-35633-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Edmund Robinson, Giuseppe Rosolini |
An Abstract Look at Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 173-187, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Jean H. Gallier |
Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings, pp. 136, 1993, Springer, 3-540-56868-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
39 | Helmut Schwichtenberg |
Realizability interpretation of proofs in constructive analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 583-602, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Continuous inverse function, Intermediate value theorem, Program extraction, Non-computational quantifier, Realizability |
38 | Jin-yi Cai, Pinyan Lu |
Signature Theory in Holographic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings, pp. 568-579, 2008, Springer, 978-3-540-92181-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Gérard Boudol |
Fair Cooperative Multithreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 272-286, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Yves Bontemps, Pierre-Yves Schobbens |
The Complexity of Live Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 364-378, 2005, Springer, 3-540-25388-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Emmanuel Letier, Axel van Lamsweerde |
Agent-based tactics for goal-oriented requirements elaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 83-93, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Synchronizability of Conversations among Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(12), pp. 1042-1055, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
synchronizability, Web services, model checking, verification, conversations, asynchronous communication, realizability |
35 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Inference of Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(7), pp. 623-633, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
concurrent state machines, formal verification, synthesis, scenarios, requirements analysis, Message sequence charts, realizability, deadlock freedom |
35 | Yohji Akama |
Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 399-413, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Bernhard Reus |
Extensional Sigma-Spaces in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(1-2), pp. 159-183, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
synthetic domain theory, type theory, realizability, domain theory, constructive logic |
30 | Krzysztof Petelczyc, Malgorzata Prazmowska |
103-configurations and projective realizability of multiplied configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 51(1), pp. 45-54, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 51A45, 51E10, 05B30 |
30 | Alexandre Miquel |
Relating Classical Realizability and Negative Translation for Existential Witness Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 188-202, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 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. 456-470, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Hywel R. Dunn-Davies, Jim Cunningham |
Verifying realizability and reachability in recursive interaction protocol specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1233-1234, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
propositional statecharts, verification, interaction protocols |
30 | Naiqi Wu, MengChu Zhou, Feng Chu 0001 |
A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 5(4), pp. 661-676, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Melvin Fitting |
S4LPand Local Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, pp. 168-179, 2008, Springer, 978-3-540-79708-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Abdolmajid Mousavi, Behrouz H. Far |
Revisiting Safe Realizability of Message Sequence Charts Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 37-45, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Maria Belk |
Realizability of Graphs in Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 37(2), pp. 139-162, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Jan Kyncl |
The Complexity of Several Realizability Problems for Abstract Topological Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers, pp. 137-158, 2007, Springer, 978-3-540-77536-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Naohiko Hoshino |
Linear Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 420-434, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Manfred Broy |
Interaction and Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM (1) ![In: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings, pp. 29-50, 2007, Springer, 978-3-540-69506-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Anthony Man-Cho So, Yinyu Ye 0001 |
A semidefinite programming approach to tensegrity theory and realizability of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2006, Miami, Florida, USA, January 22-26, 2006, pp. 766-775, 2006, ACM Press, 0-89871-605-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Henry Towsner |
A realizability interpretation for classical analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(7), pp. 891-900, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Abdelhalim El-Aboudi, El Mostapha Aboulhamid |
An algorithm for the verification of timing diagrams realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 314-317, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Makoto Tatsuta |
Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings, pp. 338-364, 1998, Springer, 3-540-64591-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Roberto M. Amadio |
Domains in a Realizability Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91), pp. 241-263, 1991, Springer, 3-540-53982-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Jin-yi Cai, Pinyan Lu |
Holographic algorithms: from art to science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007, pp. 401-410, 2007, ACM, 978-1-59593-631-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
matchgates, signatures, holographic algorithms |
26 | Matti Kääriäinen |
Active Learning in the Non-realizable Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings, pp. 63-77, 2006, Springer, 3-540-46649-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Kirill V. Pavsky |
Stochastic Analysis of Solving Complex Problem on Distributed Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: Fifth International Conference on Parallel Computing in Electrical Engineering (PARELEC 2006), 13-17 September 2006, Bialystok, Poland, pp. 271-274, 2006, IEEE Computer Society, 0-7695-2554-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Ugo Dal Lago, Martin Hofmann 0001 |
Quantitative Models and Implicit Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, pp. 189-200, 2005, Springer, 3-540-30495-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings, pp. 188-200, 2003, Springer, 3-540-40561-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Jean-Louis Krivine |
The Curry-Howard Correspondence in Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 307-308, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Martin C. Henson |
Safe Positive Induction in the Programming Logic TK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 215-231, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Christine Paulin-Mohring |
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 89-104, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
ML |
22 | Ansuman Banerjee |
Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2010: 23rd International Conference on VLSI Design, 9th International Conference on Embedded Systems, Bangalore, India, 3-7 January 2010, pp. 81-86, 2010, IEEE Computer Society, 978-0-7695-3928-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Satisfiability, LTL, Realizability, QBF |
22 | Ulrich Berger 0001, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg |
Program Extraction from Normalization Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 25-49, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Normalization by evaluation, program extraction from proofs, realizability, typed lambda calculus |
22 | Rosalie Iemhoff |
On the rules of intermediate logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(5), pp. 581-599, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
admissible rules, Rieger-Nishimura formulas, Medvedev logic, Independence of Premise, realizability, Intermediate logics |
22 | Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta |
Test generation games from formal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 827-832, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
vacuity, test generation, realizability |
22 | Rosaria Conte |
From Simulation to Theory (and Backward). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPOS ![In: Epistemological Aspects of Computer Simulation in the Social Sciences, Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers, pp. 29-47, 2006, Springer, 978-3-642-01108-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Agent-based generative social simulation, bottom-up theory, top-down theory, multiple realizability, social emergence |
22 | Jerome Vouillon, Paul-André Melliès |
Semantic types: a fresh look at the ideal model for types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 52-63, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types |
22 | Emmanuel Beffara, Vincent Danos |
Disjunctive normal forms and local exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 203-211, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
classical realizability, control structures, disjunctive normal forms |
22 | Pietro Parodi, Giulia Piccioli |
3D Shape Reconstruction by Using Vanishing Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(2), pp. 211-217, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Reconstruction of 3D shape, incidence structure, labeling, line drawing, vanishing point, realizability, spatial structure |
22 | Rudi Penne |
Some nonrealizable line diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 11(1-2), pp. 193-207, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Weaving pattern, realizability, oriented matroid |
17 | Julian Pfeifle |
Positive Plücker tree certificates for non-realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 33(1), pp. 69-85, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Roland Meyer 0001, Jakob Tepe, Sebastian Wolff 0001 |
Realizability in Semantics-Guided Synthesis Done Eagerly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.05607, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Dominik Dürrschnabel, Uta Priss |
Realizability of Rectangular Euler Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.03801, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Takayuki Kihara |
Many-one reducibility with realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16027, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Broy |
Time, causality, and realizability: Engineering interactive, distributed software systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 210, pp. 111940, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Ashwin Bhaskar, M. Praveen |
Realizability problem for constraint LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 296, pp. 105126, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Laura Fontanella, Guillaume Geoffroy, Richard Matthews |
Realizability Models for Large Cardinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy, pp. 28:1-28:18, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-310-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Ringo Baumann, Anne-Marie Heine |
On Naive Labellings - Realizability, Construction and Patterns of Redundancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings, pp. 125-143, 2024, Springer, 978-3-031-56939-5. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Emanuele Frittaion |
Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 88(3), pp. 1138-1169, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Aleksandr Yu. Konovalov |
A Generalized Realizability and Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 24(2), pp. 11:1-11:15, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Norddine, M. Ferrand, S. Benhamadouche |
Realizability-preserving time-stepping for the differential Reynolds stress turbulence models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 494, pp. 112511, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Broy |
Specification and verification of concurrent systems by causality and realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 974, pp. 114106, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Kai Wang 0017, Michael Z. Q. Chen, Fei Liu |
Minimal seven-element series-parallel realizability of a certain positive-real biquadratic impedance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Circuit Theory Appl. ![In: Int. J. Circuit Theory Appl. 51(9), pp. 4043-4070, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Richard Matthews |
A Guide to Krivine Realizability for Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.13563, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|