|
|
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 |
7 | Limin Jia 0001, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic |
AURA: a programming language for authorization and audit. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
access control, type systems, audit, authorization logic |
7 | Rui Qiao 0003, Yuan Wang, Xinyan Gao, Jinzhao Wu |
Operational semantics of probabilistic Kleene algebra with tests. |
ISCC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Van Hung Le 0001, Fei Liu 0003, Dinh Khang Tran |
Fuzzy Linguistic Logic Programming. |
ICIC (2) |
2008 |
DBLP DOI BibTeX RDF |
hedge algebra, linguistic value, fuzzy logic programming, linguistic hedge |
7 | Sergei N. Artëmov, Elena Nogina |
Topological Semantics of Justification Logic. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
Justification Logic, Logic of Proofs, topological semantics, Tarski, modal logic |
7 | Vivek Nigam, Dale Miller 0001 |
Focusing in Linear Meta-logic. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Lantian Zheng, Andrew C. Myers |
Securing nonintrusive web encryption through information flow. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
encryption, type system, information flow control |
7 | James Cheney, Morten Dahl |
Resource bound analysis for database queries. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
resource bounds, databases, query languages |
7 | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani |
A type system for data-flow integrity on windows vista. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
data-flow integrity, hybrid type system, explicit substitution, dynamic access control |
7 | Yukiyoshi Kameyama, Takuo Yonezawa |
Typed Dynamic Control Operators for Delimited Continuations. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation |
7 | Simon Perdrix |
Quantum Entanglement Analysis Based on Abstract Interpretation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Belaid Saad, Francine Herrmann, Yann Lanuel, Thomas Tamisier |
Mixing Protocol based on the Cooperation and the Parallelism for the Distributed Environment. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Multi-agent system, Parallelism, Cooperation, Distributed Constraint Satisfaction |
7 | Andrea Masini, Luca Viganò 0001, Margherita Zorzi |
A Qualitative Modal Representation of Quantum Register Transformations. |
ISMVL |
2008 |
DBLP DOI BibTeX RDF |
quantum registers, modal logic, quantum logic |
7 | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Michal Moskal |
Rocket-Fast Proof Checking for SMT Solvers. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001 |
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Olaf Chitil, Thomas Davie |
Comprehending finite maps for algorithmic debugging of higher-order functional programs. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
tracing, declarative debugging |
7 | Wang Ge, Ren Nan |
Modeling and Research of the E-government System Based on Petri net. |
CSSE (4) |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
A Theoretical Framework for the Declarative Debugging of Datalog Programs. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Stephen H. Muggleton, Jianzhong Chen |
A Behavioral Comparison of Some Probabilistic Logic Models. |
Probabilistic Inductive Logic Programming |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Michele Turitto, Carsten Tietje, Svetan M. Ratchev |
Pneumatic Contactless Microfeeder, Design Optimisation and Experimental Validation. |
IPAS |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Zhengqin Luo |
Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups. |
ProvSec |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Yu Cao, Steve Read, Sachin Raka, Revanth Nandamuri |
A Theoretic Framework for Object Class Tracking. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Giovanni Di Crescenzo, Helger Lipmaa |
Succinct NP Proofs from an Extractability Assumption. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Viviana Bono, Ferruccio Damiani, Elena Giachino |
On Traits and Types in a Java-like Setting. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
Composition, Type System, Inheritance, Flattening |
7 | Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum |
Delegating computation: interactive proofs for muggles. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
muggles, delegation, interactive proofs |
7 | Sylvain Sicard, Fabienne Boyer, Noel De Palma |
Using components for architecture-based management: the self-repair case. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
architecture, component, self-healing |
7 | Piero A. Bonatti, Fabio Mogavero |
Comparing Rule-Based Policies. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
Rule-based policies, Policy comparison, Policy-aware service selection, Policy compliance, Datalog query containment, Policy verification |
7 | Sven R. Schmidt-Rohr, Steffen Knoop, Martin Lösch, Rüdiger Dillmann |
Reasoning for a multi-modal service robot considering uncertainty in human-robot interaction. |
HRI |
2008 |
DBLP DOI BibTeX RDF |
robot decision making, pomdp, HRI |
7 | Engelbert Mephu Nguifo, Norbert Tsopzé, Gilbert Tindo |
M-CLANN: Multi-class Concept Lattice-Based Artificial Neural Network for Supervised Classification. |
ICANN (2) |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, Thomas Vidick |
Using Entanglement in Quantum Multi-prover Interactive Proofs. |
CCC |
2008 |
DBLP DOI BibTeX RDF |
quantum interactive proofs, public-coin, parallelization, entanglement |
7 | Scott Aaronson, Salman Beigi, Andrew Drucker, Bill Fefferman, Peter W. Shor |
The Power of Unentanglement. |
CCC |
2008 |
DBLP DOI BibTeX RDF |
QMA, 3SAT, PCP Theorem, quantum computing, additivity, entanglement |
7 | Karl-Heinz Pennemann |
Resolution-Like Theorem Proving for High-Level Conditions. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
first-order tautology problem, high-level conditions, weak adhesive HLR categories, theorem proving, resolution |
7 | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov |
On Correctness of Mathematical Texts from a Logical and Practical Point of View. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Fen Xia, Tie-Yan Liu, Jue Wang 0004, Wensheng Zhang 0002, Hang Li 0001 |
Listwise approach to learning to rank: theory and algorithm. |
ICML |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Taolue Chen, Jaco van de Pol, Yanjing Wang 0001 |
PDL over Accelerated Labeled Transition Systems. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
PDL, Accelerated Labeled Transition Systems |
7 | Zhenhua Duan, Nan Zhang 0001 |
A Complete Axiomatization of Propositional Projection Temporal Logic. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
temporal logic, completeness, projection, inference rules, axiom |
7 | Shuling Wang, Zongyan Qiu |
A Generic Model for Confinement and its Application. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
confined types, object orientation, ownership, confinement |
7 | Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler |
Approximate OWL-Reasoning with Screech. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler |
What Is Approximate Reasoning?. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Luís Paquete, Tommaso Schiavinotto, Thomas Stützle |
On local optima in multiobjective combinatorial optimization problems. |
Ann. Oper. Res. |
2007 |
DBLP DOI BibTeX RDF |
Local search, Multiobjective combinatorial optimization, Local optima |
7 | Mirco Musolesi, Cecilia Mascolo |
Designing mobility models based on social network theory. |
ACM SIGMOBILE Mob. Comput. Commun. Rev. |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Karl Crary |
Sound and complete elimination of singleton kinds. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
singleton kinds, Type systems |
7 | Shuvendu K. Lahiri, Randal E. Bryant |
Predicate abstraction with indexed predicates. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction |
7 | Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont |
Probabilistic abstraction for model checking: An approach based on property testing. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Approximate verification, probabilistic abstraction, model checking, property testing, probabilistic verification |
7 | Renate A. Schmidt, Ullrich Hustadt |
The axiomatic translation principle for modal logic. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Translation approach, small model property, completeness, decidability |
7 | Yuyue Du, Changjun Jiang, MengChu Zhou |
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Giacomo Bonanno |
Temporal Interaction of Information and Belief. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
iterated belief revision, qualitative Bayes rule, plausibility ordering, information |
7 | Xuefeng Wen |
A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
relative identity, paradox of analysis, hyperintensional logic, context |
7 | Gary Wassermann, Carl Gould 0001, Zhendong Su 0001, Premkumar T. Devanbu |
Static checking of dynamically generated queries in database applications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
database queries, JDBC, Static checking, context-free language reachability |
7 | John Nolt |
Reference and perspective in intuitionistic logics. |
J. Log. Lang. Inf. |
2007 |
DBLP DOI BibTeX RDF |
Intuitionism, Constructivism, Intuitionistic logic, Reference, Kripke semantics |
7 | Domenico Cantone, Marianna Nicolosi Asmundo |
A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
free-variable semantic tableaux, ?-rule, Skolemization |
7 | Reinhold Letz, Gernot Stenz |
The Disconnection Tableau Calculus. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
disconnection tableaux, theorem proving |
7 | Hui Wei |
A hierarchical model for structure learning based on the physiological characteristics of neurons. |
Frontiers Comput. Sci. China |
2007 |
DBLP DOI BibTeX RDF |
representation, associative memory, structure learning, computational neuroscience |
7 | Richard Khoury, Fakhri Karray, Yu Sun, Mohamed Kamel, Otman A. Basir |
Semantic Understanding of General Linguistic Items by Means of Fuzzy Set Theory. |
IEEE Trans. Fuzzy Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Benjamin Grégoire, Jorge Luis Sacchini |
Combining a Verification Condition Generator for a Bytecode Language with Static Analyses. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Therrezinha Fernandes |
A Kleene Algebra Framework for Data Flow Analysis. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson |
Uniqueness Typing Simplified. |
IFL |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Michael Backes 0001, Agostino Cortesi, Riccardo Focardi, Matteo Maffei |
A calculus of challenges and responses. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
static analysis, authentication protocols, process calculi |
7 | Hemal Khatri, Jianchun Fan, Yi Chen 0001, Subbarao Kambhampati |
QPIAD: Query Processing over Incomplete Autonomous Databases. |
ICDE |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Vaidas Gasiunas, Mira Mezini, Klaus Ostermann |
Dependent classes. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
dependent classes, variability, dynamic dispatch, multimethods, multiple dispatch, virtual classes |
7 | Nicholas Robert Cameron, Sophia Drossopoulou, James Noble 0001, Matthew J. Smith |
Multiple ownership. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
effects, ownership types, type and effect systems |
7 | Rok Strnisa, Peter Sewell, Matthew J. Parkinson |
The java module system: core design and semantic definition. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
LJAM, superpackage, java, module, JAM |
7 | Andrew W. Appel, Sandrine Blazy |
Separation Logic for Small-Step cminor. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
7 | José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina |
A Formally Verified Prover for the ALC Description Logic. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Zining Cao |
Towards an Epistemic Logic for Uncertain Agents. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Yi Feng 0002, Zhigang Zhu, Jizhong Xiao |
Self-localization of a heterogeneous multi-robot team in constrained 3D space. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Jun Liu 0001, Luis Martínez-López 0001, Yang Xu 0001, Zhirui Lu |
Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework. |
IFSA (2) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Martin Kero, Johan Nordlander, Per Lindgren |
A correct and useful incremental copying garbage collector. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
incremental copying garbage collection, labeled transition system |
7 | David Gay, Robert Ennals, Eric A. Brewer |
Safe manual memory management. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
C, safety, memory management, reference counting |
7 | Pablo F. Castro, T. S. E. Maibaum |
A Complete and Compact Propositional Deontic Logic. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Fault tolerance, Temporal Logic, Modal Logic, Software Specification, Deontic Logic |
7 | Andreas Abel 0001 |
Strong Normalization and Equi-(Co)Inductive Types. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Dimitris Mostrous, Nobuko Yoshida |
Two Session Typing Systems for Higher-Order Mobile Processes. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Krzysztof Pietrzak, Douglas Wikström |
Parallel Repetition of Computationally Sound Protocols Revisited. |
TCC |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Gurvan Le Guernic |
Automaton-based Confidentiality Monitoring of Concurrent Programs. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Patrick Baillot, Paolo Coppola 0001, Ugo Dal Lago |
Light Logics and Optimal Reduction: Completeness and Complexity. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
7 | James Brotherston, Alex Simpson |
Complete Sequent Calculi for Induction and Infinite Descent. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Mika Cohen, Mads Dam |
A Complete Axiomatization of Knowledge and Cryptography. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang |
Local Action and Abstract Separation Logic. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
A semantics-based approach to malware detection. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
abstract interpretation, obfuscation, malware detection, trace semantics |
7 | Dan R. Ghica |
Geometry of synthesis: a structured approach to VLSI design. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
syntactic control of interference, synthesis, game semantics, geometry of interaction |
7 | James Laird |
A Fully Abstract Trace Semantics for General References. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue |
Towards a Logical Reconstruction of CF-Induction. |
JSAI |
2007 |
DBLP DOI BibTeX RDF |
inverse entailment, CF-induction, generalisation operator |
7 | Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez |
A Brief Introduction to THOTL. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Bernd Braßel, Frank Huch |
On a Tighter Integration of Functional and Logic Programming. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Kenichi Asai, Yukiyoshi Kameyama |
Polymorphic Delimited Continuations. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator |
7 | Haiyang Sun, Jian Yang 0001 |
Exploiting CoBTx-Net to Verify the Reliability of Collaborative Business Transactions. |
APSCC |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Wilfred Ng |
Prioritized Preferences and Choice Constraints. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Stefan Monnier |
The swiss coercion. |
PLPV |
2007 |
DBLP DOI BibTeX RDF |
type based security, formal methods, compilation, coercions |
7 | Heiko Mantel, Alexander Reinhard |
Controlling the What and Where of Declassification in Language-Based Security. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
7 | K. Rustan M. Leino, Wolfram Schulte |
Using History Invariants to Verify Observers. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Gilles Barthe, David Pichardie, Tamara Rezk |
A Certified Lightweight Non-interference Java Bytecode Verifier. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Christian Hoareau, Ichiro Satoh |
A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments. |
OTM Workshops (2) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar |
On Context-Specific Substitutability of Web Services. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Frank Raiser |
Graph Transformation Systems in CHR. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Hongwei Xi |
Attributive Types for Proof Erasure. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
7 | José Espírito Santo, Silvia Ghilezan, Jelena Ivetic |
Characterising Strongly Normalising Intuitionistic Sequent Terms. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Haiyang Sun, Jian Yang 0001 |
CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction. |
Business Process Management Workshops |
2007 |
DBLP DOI BibTeX RDF |
Collaborative Business Transaction, Reliability Verification, Peer Based Collaboration, Hierarchical Colored Petri Net(HCPN) |
7 | Ping Hou, Johan Wittocx, Marc Denecker |
A Deductive System for PC(ID). |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Mandy Northover, Alan Northover, Stefan Gruner, Derrick G. Kourie, Andrew Boake |
Agile software development: a contemporary philosophical perspective. |
SAICSIT |
2007 |
DBLP DOI BibTeX RDF |
critical rationalism, evolutionary change, scientific revolutions, extreme programming, paradigm shift |
7 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. |
INAP/WLP |
2007 |
DBLP DOI BibTeX RDF |
|
|
|