The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Mu-calculus (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1936-1948 (16) 1949-1959 (16) 1960-1962 (15) 1963-1964 (17) 1965-1967 (17) 1968-1969 (25) 1970-1971 (21) 1972-1973 (25) 1974 (16) 1975 (42) 1976 (20) 1977-1978 (40) 1979 (21) 1980 (26) 1981 (29) 1982 (26) 1983 (32) 1984 (43) 1985 (48) 1986 (38) 1987 (74) 1988 (84) 1989 (103) 1990 (127) 1991 (143) 1992 (186) 1993 (203) 1994 (224) 1995 (210) 1996 (269) 1997 (245) 1998 (292) 1999 (312) 2000 (350) 2001 (393) 2002 (409) 2003 (439) 2004 (507) 2005 (571) 2006 (617) 2007 (678) 2008 (617) 2009 (524) 2010 (315) 2011 (282) 2012 (316) 2013 (313) 2014 (257) 2015 (328) 2016 (264) 2017 (288) 2018 (291) 2019 (306) 2020 (281) 2021 (308) 2022 (328) 2023 (266) 2024 (64)
Publication types (Num. hits)
article(4397) book(72) data(3) incollection(101) inproceedings(7560) phdthesis(176) proceedings(8)
Venues (Conferences, Journals, ...)
CoRR(782) Theor. Comput. Sci.(209) LICS(204) CSL(199) CONCUR(167) POPL(155) RRNR(126) CADE(116) TLCA(112) ESOP(107) FoSSaCS(107) ICALP(103) Stud Logica(100) Inf. Comput.(96) MFCS(96) TABLEAUX(95) More (+10 of total 2350)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4972 occurrences of 1938 keywords

Results
Found 12317 publication records. Showing 12317 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
84Horatiu Cirstea, Luigi Liquori, Benjamin Wack Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rewriting-calculus, Object-calculus, Pattern Mat-ching, Lambda-calculus, Type Theory, Fixpoints
71Michael R. Hansen, Dang Van Hung A Theory of Duration Calculus with Application. Search on Bibsonomy Domain Modeling and the Duration Calculus The full citation details ... 2007 DBLP  DOI  BibTeX  RDF metric-time temporal logic, Real-time systems, model-checking, application, decidability, duration calculus
67José Espírito Santo The lambda-Calculus and the Unity of Structural Proof Theory. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
67Doron Bustan, Orna Kupferman, Moshe Y. Vardi A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Alexis Saurin Separation with Streams in the lambdaµ-calculus. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Böhm Theorem, Calculus of Streams, Separation Property, Untyped ??-calculus
58Dong-Hong Xu, Yong Qi, Di Hou, Gong-Zhen Wang, Ying Chen 0004 An Improved Calculus for Secure Dynamic Services Composition. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Global calculus, Web services composition, Orchestration, Choreography, Spi calculus
55Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka A Process Calculus for Mobile Ad Hoc Networks. Search on Bibsonomy COORDINATION The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Jean-Jacques Lévy An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
52Yunfeng Wang, Bixin Li, Jun Pang 0001, Ming Zha, Guoliang Zheng A Formal Software Development Approach Based on COOZ and Refinement Calculus. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF formal development method, formal specification, object-oriented, refinement calculus
52Gérard Boudol, Carolina Lavatelli Full Abstraction for Lambda Calculus with Resources and Convergence Testing. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF intersection type systems, calculus, full abstraction
52Xian Xu 0001 Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF encoding, bisimulation, full abstraction, process calculus, higher order
51Søren B. Lassen Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Elena Machkasova, Franklyn A. Turbak A Calculus for Link-Time Compilation. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
49Hassan Aït-Kaci, Jacques Garrigue Label-Selective lambda-Calculus Syntax and Confluence. Search on Bibsonomy FSTTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF record calculus, communication, concurrency, Calculus
48Yu Zhang, David Nowak Logical Relations for Dynamic Name Creation. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Kripke logical relation, name creation, nu-calculus, categorical models of lambda calculi
48Clara Bertolissi, Horatiu Cirstea, Claude Kirchner Expressing combinatory reduction systems derivations in the rewriting calculus. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Rewriting calculus, Combinatory reduction systems, Matching
48Rong Peng, Keqing He, Xiaozhen Zhong SMA Calculus -- A Secure Mobile Agent Calculus. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF security, access control, mobile agent, Software agents, calculus, cryptographic algorithm
46Shinn-Der Lee, Daniel P. Friedman Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
46Alan Schmitt, Jean-Bernard Stefani The m-calculus: a higher-order distributed process calculus. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF mobility, distribution, type systems, process calculi, higher order
45Flemming Nielson, Helmut Seidl Control-Flow Analysis in Cubic Time. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Horn clauses with sharing, tiling of Horn clauses, 0-CFA, Program analysis, calculus, ambient calculus
45Ioan Salomie, Viorica R. Chifu, Ioana Harsa Towards automated web service composition with fluent calculus and domain ontologies. Search on Bibsonomy iiWAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fluent calculus, fluent calculus based planning, ontologies, web service composition
45Fiora Pirri, Raymond Reiter Some Contributions to the Metatheory of the Situation Calculus. Search on Bibsonomy J. ACM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF programming languages for the situation calculus, theorem-proving, regression, situation calculus
45Emmanuel Haven Quantum Calculus (q-Calculus) and Option Pricing: A Brief Introduction. Search on Bibsonomy QI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF q-calculus, h-calculus, option pricing, stochastic differential equation
44Alessandra Di Pierro A Type Theory for Probabilistic λ-calculus. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
44Reiji Nakajima Infinite normal forms for the lambda - calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
44Roel C. de Vrijer Big trees in a lambda - calculus with lambda - expressions as types. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
44Giorgio Ausiello On the description of time varying systems in lambda - calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
44Louis Nolin Les modèles informatiques des lambda-calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
44J. M. E. Hyland A survey of some useful partial order relations on terms of the lambda calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
44Luigia Carlucci Aiello, Mario Aiello Programming language semantics in a typed lambda - calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
44Herbert Egli Typed meaning in Scott's lambda - calculus models. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
44Gérard P. Huet unification in typed lambda calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
44Horatiu Cirstea, Germain Faure, Claude Kirchner A rho-calculus of explicit constraint application. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Rewriting calculus, Explicit matching, Pattern matching, Explicit substitution
44Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue MoCha-pi, an exogenous coordination calculus based on mobile channels. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF distributed mobile channels, coordination, calculus
44Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Tabled resolution, Model checking, Logic programming, calculus, Mobile processes
44Carlos Herrero, Javier Oliver 0001 Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. Search on Bibsonomy SOFSEM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Extensions of $lambda$-calculus, Concurrency, Object-Orientation, Process Algebra
42Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor Psi-calculi: Mobile Processes, Nominal Data, and Logic. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Hugo Herbelin, Silvia Ghilezan An approach to call-by-name delimited continuations. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boehm separability, delimited control, observational completeness, classical logic
42José Espírito Santo Completing Herbelin's Programme. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Daisuke Kimura Call-by-Value Is Dual to Call-by-Name, Extended. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Michel Parigot On the Computational Interpretation of Negation. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Atsushi Ohori A Compilation Method for ML-Style Polymorphic Record Calculi. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
42Robin Milner Functions as Processes. Search on Bibsonomy ICALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
42Clara Bertolissi, Claude Kirchner The Rewriting Calculus as a Combinatory Reduction System. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Lucian Wischik, Philippa Gardner Strong Bisimulation for the Explicit Fusion Calculus. Search on Bibsonomy FoSSaCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Alexander Scivos, Bernhard Nebel The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning. Search on Bibsonomy Spatial Cognition The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Luca Alberucci Strictness of the Modal µ-Calculus Hierarchy. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Cédric Fournet, Georges Gonthier The Join Calculus: A Language for Distributed Mobile Programming. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Silvano Dal-Zilio, Andrew D. Gordon 0001 Region Analysis and a pi-Calculus wiht Groups. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Lex Bijlsma 0001, Rob Nederpelt Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions. Search on Bibsonomy Acta Informatica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Philip Wadler Call-by-value is dual to call-by-name. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Curry-Howard correspondence, De Morgan dual, lambda mu calculus, logic, lambda calculus, sequent calculus, natural deduction
42Hugo Herbelin A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
42Davide Sangiorgi From pi-Calculus to Higher-Order pi-Calculus - and Back. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
42Regimantas Pliuskevicius Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus. Search on Bibsonomy Baltic Computer Science The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
41Dong-Hong Xu, Yong Qi, Di Hou, Ying Chen 0004 SpiG4WSC: A Calculus for Secure Services Composition. Search on Bibsonomy IEEE SCC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Global calculus, Orchestration, Choreography, Spi calculus
41Dang Van Hung, Zhou Chaochen Probabilistic Duration Calculus for Continuous Time. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Probabilistic duration calculus, Real-time systems, Dependability, Stochastic processes, Duration calculus, Probabilistic automata
41Abdullah Uz Tansel, Lucy Garnett On Roth, Korth, and Silberschatz's Extended Algebra and Calculus for Nested Relational Databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF equivalence of algebra and calculus, relational algebra, relational calculus, nested relations
39Orna Kupferman, Moshe Y. Vardi From linear time to branching time. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF alternation-free ?-calculus, Linear temporal logic
39Véronique Royer, Joachim Quantz On Intuitionistic Query Answering in Description Bases. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Intuitionistic Sequent Calculus, Least Fixed Point Semantics, Description Logics, Query Answering
39Luca Fossati, Daniele Varacca The Calculus of Handshake Configurations. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Petri nets, types, process calculus, Handshake protocols
39Rajeev Alur, Swarat Chaudhuri, P. Madhusudan A fixpoint calculus for local and global program flows. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
39Jing Zhang, Licui Zhang, Degui Guo Operational Semantics of the Seal Calculus. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Seal Calculus, Mobile computation, operational semantics, abstract machine
39Maria Bulinska The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Lambek, grammar, calculus, context-free
39Taolue Chen, Tingting Han 0001, Jian Lu 0001 Towards a Model Logic for p-Calculus. Search on Bibsonomy COMPSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Symbolic Transition Graph, Model Checking Algorithm, Modal Logic, ?-calculus
39Jürgen Dingel A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
39Rajiv Bagai Tuple Relational Calculus for Paraconsistent Databases. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Incomplete and inconsistent information, Tuple relational calculus, Relational data model
39Helko Lehmann, Michael Leuschel Decidability Results for the Propositional Fluent Calculus. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF reasoning about action and change, fluent calculus, model checking, petri nets, temporal logics, decidability
38Alexis Saurin On the Relations between the Syntactic Theories of lambda-mu-Calculi. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Classical ?-calculi, ??-calculi, Streams, Type Systems, Confluence, Strong Normalization
38Michele Boreale, Maria Grazia Buscemi, Ugo Montanari A General Name Binding Mechanism. Search on Bibsonomy TGC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38J. B. Wells, René Vestergaard Equational Reasoning for Linking with First-Class Primitive Modules. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Pierre-Louis Curien, Hugo Herbelin The duality of computation. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Philippa Gardner From Process Calculi to Process Frameworks. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Eduardo Bonelli Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Delia Kesner, Pablo E. Martínez López Explicit Substitutions for Objects and Functions. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Maria Grazia Buscemi, Ugo Montanari Open Bisimulation for the Concurrent Constraint Pi-Calculus. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Qiong Wang, Chenglie Du, Chunyan Ma, Gang Li Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description. Search on Bibsonomy CSSE (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Reinhold Letz, Gernot Stenz The Disconnection Tableau Calculus. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF disconnection tableaux, theorem proving
38Clara Bertolissi The Graph Rewriting Calculus: Confluence and Expressiveness. Search on Bibsonomy ICTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38William C. Rounds A Spatial Logic for the Hybrid p-Calculus. Search on Bibsonomy HSCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Kenji Taguchi 0001, Keijiro Araki A Calculus Based on the Agent-Place Model. Search on Bibsonomy ICFEM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Franck van Breugel A Labelled Transition Systems for pi-epsilon-Calculus. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
38Atsushi Ohori, Keishi Tajima A Polymorphic Calculus for Views and Object Sharing. Search on Bibsonomy PODS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
38Gérard Boudol Towards a Lambda-Calculus for Concurrent and Communicating Systems. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
37Pietro Di Gianantonio Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF cyclic linear logic, linear logic, proof theory, Lambek calculus, calculus of structures
37Wayne Citrin, Richard Hall, Benjamin G. Zorn Programming with Visual Expressions. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF visual expressions, formal symbolic term rewriting system, VEX, expression-oriented component, VIPR, computer science education, visual programming, visual languages, teaching, teaching, lambda calculus, lambda calculus, programming theory, binding, rewriting systems, substitution, visual programming language, programming language semantics, functional programming languages, free variables
36Kentaro Kikuchi Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution
36Roberto Bruni, Ugo Montanari Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF double categories, mobile calculi, higher-order communications, lambda-calculus, pi-calculus, cartesian closed categories
36Gultekin Özsoyoglu, Huaqing Wang A Relational Calculus with Set Operators, Its Safety and Equivalent Graphical Languages. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF set comparison, set manipulation, Codd relational calculus, RC/S queries, RC query, evaluable formulas, allowed formulas, RC/S* query, algorithms, relational databases, computer graphics, query languages, safety, database theory, Query-by-Example, relational calculus, graphical languages, set operators, QBE
36Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.) From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
36Sebastian Hunt, David Sands 0001 New Program Abstractions for Privacy. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
36Andrew Fielder Modelling the Impact of Threat Intelligence on Advanced Persistent Threat Using Games. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
36Flemming Nielson, Hanne Riis Nielson Secure Guarded Commands. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
36Torben Amtoft, Kelly Androutsopoulos, David Clark 0001 Correctly Slicing Extended Finite State Machines. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
36Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski Galois Connections for Recursive Types. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
36Simon J. Gay Cables, Trains and Types. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
36Sakshyam Panda, Emmanouil Panaousis, George Loukas, Christos Laoudias Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
36Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta Security Metrics at Work on the Things in IoT Systems. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
36Helmut Seidl, Julian Erhard, Ralf Vogler Incremental Abstract Interpretation. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
36Richard Prideaux Evans, Martin Berger 0001 Cathoristic Logic. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 12317 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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