|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1396 occurrences of 841 keywords
|
|
|
Results
Found 1741 publication records. Showing 1741 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Yuhong Yan, Alex Bejan |
Modeling Workflow within Distributed Systems. |
CSCWD |
2001 |
DBLP DOI BibTeX RDF |
|
14 | François Pottier, Sylvain Conchon |
Information flow inference for free. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Krzysztof R. Apt |
A Denotational Semantics for First-Order Logic. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie |
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ravi S. Sandhu, Fang Chen |
The Multilevel Relational (MLR) Data Model. |
ACM Trans. Inf. Syst. Secur. |
1998 |
DBLP DOI BibTeX RDF |
conidentiality, polyinstantiation, access control, multilevel security |
14 | Oukseh Lee, Kwangkeun Yi |
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
type inference algorithm, type error |
14 | Thomas Kleymann |
Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter? |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Geneviève Simonet |
Two FOL Semantics for Simple and Nested Conceptual Graphs. |
ICCS |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Peter V. Homeier, David F. Martin |
Mechanical Verification of Mutually Recursive Procedures. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Joe Kilian |
Improved Efficient Arguments (Preliminary Version). |
CRYPTO |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Roberto M. Amadio, Luca Cardelli |
Subtyping Recursive Types. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions |
14 | Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
Denotational Versus Declarative Semantics for Functional Programming. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Roland N. Bol |
Loop Checking and Negation. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop |
On the Power of Subsumption and Context Checks. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Karl-Hans Bläsius, Ulrich Hedtstück |
Resolution with Feature Unification. |
CSL |
1987 |
DBLP DOI BibTeX RDF |
|
7 | Corneliu Popeea, Wei-Ngan Chin |
Dual analysis for proving safety and finding bugs. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
numerical domains, static analysis |
7 | Andrzej Filinski |
Monads in action. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
modular semantics, monads, computational effects |
7 | Michael Greenberg 0002, Benjamin C. Pierce, Stephanie Weirich |
Contracts made manifest. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
blame, dynamic checking, refinement type, contract, translation, precondition, postcondition |
7 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001 |
Modular verification of security protocol code by typing. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
f7, refinement type |
7 | Jean-Phillipe Martin, Michael Hicks 0001, Manuel Costa, Periklis Akritidis, Miguel Castro 0001 |
Dynamically checking ownership policies in concurrent c/c++ programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
security, testing, concurrency, debugging, tools, dynamic analysis |
7 | Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean |
Safe compositional network sketches: formal framework. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
modeling, design, verification, typing, compositionality |
7 | Matthias Felleisen |
Adding types to untyped languages. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
software contracts, type systems, scheme |
7 | Karl Mazurak, Jianzhou Zhao, Steve Zdancewic |
Lightweight linear types in system fdegree. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
type systems, polymorphism, linear logic |
7 | Andreas Rossberg, Claudio V. Russo, Derek Dreyer |
F-ing modules. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration |
7 | Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi |
GAMBIT: effective unit testing for concurrency libraries. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
preemption bound, model checking, concurrency, software testing, multithreading, partial-order reduction |
7 | Dongwon Jung, Jayant Ratti, Panagiotis Tsiotras |
Real-time Implementation and Validation of a New Hierarchical Path Planning Scheme of UAVs via Hardware-in-the-Loop Simulation. |
J. Intell. Robotic Syst. |
2009 |
DBLP DOI BibTeX RDF |
Path planning and control, Hardware-in-the-loop simulation (HILS), UAV |
7 | Ugo Dal Lago |
Context semantics, linear logic, and computational complexity. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
linear logic, implicit computational complexity, Geometry of interaction |
7 | Elizabeth Black, Anthony Hunter |
An inquiry dialogue system. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Cooperation, Argumentation, Dialogue, Agent interaction, Inquiry |
7 | Long Li, Yu Zhang 0086, Yiyun Chen, Yong Li |
Certifying Concurrent Programs Using Transactional Memory. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
concurrent program safety, program verification, transactional memory, proof-carrying code |
7 | Xian Xu 0001 |
Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
encoding, bisimulation, full abstraction, process calculus, higher order |
7 | Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, Thomas Vidick |
Using Entanglement in Quantum Multi-Prover Interactive Proofs. |
Comput. Complex. |
2009 |
DBLP DOI BibTeX RDF |
Subject classification. 03D15, 81P68, 68Q15, 68Q10 |
7 | Chung-Wen Cho, Yi-Hung Wu, Arbee L. P. Chen |
Effective database transformation and efficient support computation for mining sequential patterns. |
J. Intell. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Database transformation, Support computation, Database projection, Data mining, Sequential patterns |
7 | Andreas Lochbihler, Gregor Snelting |
On temporal path conditions in dependence graphs. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Temporal logic, Security analysis, Program dependence graph, Path condition |
7 | Yixin Jing, Dongwon Jeong, Doo-Kwon Baik |
SPARQL graph pattern rewriting for OWL-DL inference queries. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Graph pattern, Ontology inference, Semantic web, SPARQL, Query rewriting, OWL-DL |
7 | Julia Chuzhoy, Sanjeev Khanna |
Polynomial flow-cut gaps and hardness of directed cut problems. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
Directed multicut, hardness of approximation, sparsest cut |
7 | Guoping Wang, Sheng Li 0008, ShaoRong Wang, Bin Lu, WenHang Li |
ViWoSG: A distributed scene graph of ultramassive distributed virtual environments. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
ultra-massive, distributed scene graph, distributed system, VR, scene graph |
7 | Jinpeng Huai, Ting Deng, Xianxian Li, Zongxia Du, Huipeng Guo |
AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
correctness constraints, L* algorithm, synthesis, composite service, business protocol |
7 | Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata |
Meta-Argumentation Modelling I: Methodology and Techniques. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Abstract Argumentation, Modelling, Artificial Intelligence, Reasoning |
7 | Luc Schneider |
The Logic of the Ontological Square. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
particulars, substances, Universals, predication, modes, copula, formal ontology |
7 | Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente |
Partial-order reduction for general state exploring algorithms. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Frank Puhlmann, Mathias Weske |
A Look Around the Corner: The Pi-Calculus. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Karsten Wolf |
Does My Service Have Partners?. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
7 | María-del-Mar Gallardo, Pedro Merino 0001, David Sanán |
Model Checking Dynamic Memory Allocation in Operating Systems. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Operating systems, Dynamic memory allocation |
7 | Magnus Björk |
First Order Stålmarck. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Stålmarck’s method, Universal lemmas, First order logic, Automated theorem proving, Intersections |
7 | Liang Zhao 0022, Xiaojian Liu, Zhiming Liu 0001, Zongyan Qiu |
Graph transformations for object-oriented refinement. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph |
7 | Jacob Matthews, Robert Bruce Findler |
Operational semantics for multi-language programs. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
interoperability, Operational semantics |
7 | Fermín Galán Márquez, David Fernández 0002, Walter Fuertes, Miguel Gómez, Jorge E. López de Vergara |
Scenario-based virtual network infrastructure management in research and educational testbeds with VNUML. |
Ann. des Télécommunications |
2009 |
DBLP DOI BibTeX RDF |
Virtual networking infrastructure, Scenario-based management, VNUML, Testbeds, User Mode Linux |
7 | Garrett Wolf, Aravind Kalavagattu, Hemal Khatri, Raju Balakrishnan, Bhaumik Chokshi, Jianchun Fan, Yi Chen 0001, Subbarao Kambhampati |
Query processing over incomplete autonomous databases: query rewriting using learned data dependencies. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
Incomplete databases, Uncertainty, Query rewriting |
7 | Martin Rimnac, Roman Spanek |
Automated Incremental Building of Weighted Semantic Web Repository. |
Foundations of Computational Intelligence (6) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Emiliano Lorini, François Schwarzentruber, Andreas Herzig |
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Christian Rathgeb, Andreas Uhl |
Systematic Construction of Iris-Based Fuzzy Commitment Schemes. |
ICB |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Ren-June Wang |
Knowledge, Time, and Logical Omniscience. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Hugo Herbelin, Gyesik Lee |
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics |
7 | Cédric Fournet, Gurvan Le Guernic, Tamara Rezk |
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. |
CCS |
2009 |
DBLP DOI BibTeX RDF |
cryptography, compilers, computational model |
7 | Vineet Kahlon, Chao Wang 0001, Aarti Gupta |
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies |
Intra-module Inference. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Maria João Frade, Ando Saabas, Tarmo Uustalu |
Bidirectional data-flow analyses, type-systematically. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics |
7 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Shifting the stage: staging with delimited control. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects |
7 | Guy A. Boy, Nadja Riedel |
Participatory Human-Centered Design: User Involvement and Design Cross-Fertilization. |
HCI (10) |
2009 |
DBLP DOI BibTeX RDF |
HCI design, Human factors, user involvement |
7 | Nick Benton, Andrew Kennedy, Carsten Varming |
Some Domain Theory and Denotational Semantics in Coq. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
7 | John Harrison 0001 |
HOL Light: An Overview. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Brian Huffman |
A Purely Definitional Universal Domain. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf |
Compositional Service Trees. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Misook Choi, Injoo J. Kim, Jiman Hong, Jung-Yeop Kim |
Component-based metrics applying the strength of dependency between classes. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
class-based metrics, component-based metrics, strength of dependency between classes, component-based system |
7 | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
Automatic Conflict Detection on Contracts. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Ning Li, Jinqiang Hu |
Scientific Workflow Model for Provenance Analysis Based on Many-sorted High-Level Nets. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Andreas Abel 0001, Thierry Coquand, Miguel Pagano |
A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Ugo Dal Lago, Martin Hofmann 0001 |
Bounded Linear Logic, Revisited. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Eckart Michaelsen, Michael Arens, Leo J. Doktorski |
Interaction of Control and Knowledge in a Structural Recognition System. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Serge Autexier, Dominik Dietrich |
Atomic Metadeduction. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Bernd Schattenberg, Julien Bidot, Sascha Geßler, Susanne Biundo |
A Framework for Interactive Hybrid Planning. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer |
Consistency Checking for Workflows with an Ontology-Based Data Perspective. |
DEXA |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Iftach Haitner, Alon Rosen, Ronen Shaltiel |
On the (Im)Possibility of Arthur-Merlin Witness Hiding Protocols. |
TCC |
2009 |
DBLP DOI BibTeX RDF |
Witness-Hiding, Arthur Merlin protocols, Zero-Knowledge, Black-box reductions |
7 | James Brotherston, Cristiano Calcagno |
Classical BI: a logic for reasoning about dualising resources. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
bunched implications, classical bi, display logic, semantics, completeness, cut-elimination, resource models |
7 | Emilia Katz, Shmuel Katz |
Modular Verification of Strongly Invasive Aspects. |
Languages: From Formal to Natural |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
CLAN: A Tool for Contract Analysis and Conflict Discovery. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Jules Villard, Étienne Lozes, Cristiano Calcagno |
Proving Copyless Message Passing. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Vincent Laviron, Francesco Logozzo |
Refining Abstract Interpretation-Based Static Analyses with Hints. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Gang Tan, Zhong Shao, Xinyu Feng 0001, Hongxu Cai |
Weak updates and separation logic. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang |
Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Robert Dockins, Aquinas Hobor, Andrew W. Appel |
A Fresh Look at Separation Algebras and Share Accounting. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Nicholas Cameron 0001, Sophia Drossopoulou |
Existential Quantification for Variant Ownership. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Aditi Barthwal, Michael Norrish |
Verified, Executable Parsing. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Philip Wadler, Robert Bruce Findler |
Well-Typed Programs Can't Be Blamed. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis |
Deny-Guarantee Reasoning. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Jin Zeng, Jinpeng Huai, Hailong Sun 0001, Ting Deng, Xiang Li |
LiveMig: An Approach to Live Instance Migration in Composite Service Evolution. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Babak Khosravifar, Jamal Bentahar, Philippe Thiran, Ahmad Moazin, Adrien Guiot |
An Approach to Incentive-Based Reputation for Communities of Web Services. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Fred Cohen |
Analysis of Redundant Traces for Consistency: With Examples from Electronic Messaging and Graphical Images. |
COMPSAC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang |
Modular Certification of Low-Level Intermediate Representation Programs. |
COMPSAC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Bruno Marnette |
Generalized schema-mappings: from termination to tractability. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
weak acyclicity, data exchange, core, universal solution |
7 | Ciera Jaspan, Jonathan Aldrich |
Checking Framework Interactions with Relationships. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Youssef Hanna, Samik Basu 0001, Hridesh Rajan |
Behavioral automata composition for automatic topology independent verification of parameterized systems. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
parameterized model checking |
7 | Mahesh V. Tripunitara, Bogdan Carbunar |
Efficient access enforcement in distributed role-based access control (RBAC) deployments. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
access control, efficiency, bloom filter, enforcement |
7 | Lan Zhang 0001, Ullrich Hustadt, Clare Dixon |
A Refined Resolution Calculus for CTL. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Aslan Askarov, Andrei Sabelfeld |
Catch me if you can: permissive yet secure error handling. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
exception handling, security type system |
7 | Niklas Broberg, David Sands 0001 |
Flow-sensitive semantics for dynamic information flow policies. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
information flow control, declassification, security type system |
7 | Bianca Boretti, Sara Negri |
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera |
Tableaux and Model Checking for Memory Logics. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Rajeev Goré, Florian Widmann |
Sound Global State Caching for ALC with Inverse Roles. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
Incremental Reasoning for Multiple Inheritance. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
|
|