|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26213 occurrences of 9204 keywords
|
|
|
Results
Found 38991 publication records. Showing 38991 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Allaa Kamil, Gavin Lowe |
Specifying and Modelling Secure Channels in Strand Spaces. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Alessandro Armando, Serena Elisa Ponta |
Model Checking of Security-Sensitive Business Processes. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Josef Svenningsson, David Sands 0001 |
Specification and Verification of Side Channel Declassification. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Liqun Chen 0002, Mark Ryan 0001 |
Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen |
HMM-Based Trust Model. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Rafael Alpízar, Geoffrey Smith 0001 |
Secure Information Flow for Distributed Systems. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan Heusser, Pasquale Malacaria |
Applied Quantitative Information Flow and Statistical Databases. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Cirillo, James Riely |
Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny |
Probable Innocence in the Presence of Independent Knowledge. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner (eds.) |
Topological and Game-Theoretic Aspects of Infinite Computations, 29.06. - 04.07.2008 |
Topological and Game-Theoretic Aspects of Infinite Computations |
2008 |
DBLP BibTeX RDF |
|
21 | Chrysida Galanaki, Panos Rondogiannis, William W. Wadge |
General Logic Programs as Infinite Games. |
Topological and Game-Theoretic Aspects of Infinite Computations |
2008 |
DBLP BibTeX RDF |
|
21 | Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis |
On the Semantic Approaches to Boolean Grammars. |
Topological and Game-Theoretic Aspects of Infinite Computations |
2008 |
DBLP BibTeX RDF |
|
21 | Blanca Mancilla, John Plaice |
Declarative Synchronous Multithreaded Programming. |
Topological and Game-Theoretic Aspects of Infinite Computations |
2008 |
DBLP BibTeX RDF |
|
21 | John Plaice, Blanca Mancilla |
Cartesian Programming: The TransLucid Programming Language. |
Topological and Game-Theoretic Aspects of Infinite Computations |
2008 |
DBLP BibTeX RDF |
|
21 | Olivier Finkel, Dominique Lecomte |
Topological Complexity of omega-Powers: Extended Abstract. |
Topological and Game-Theoretic Aspects of Infinite Computations |
2008 |
DBLP BibTeX RDF |
|
21 | Fred Spiessens, Jerry den Hartog, Sandro Etalle |
Know What You Trust. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Rob Verhoeven, Francien Dechesne |
Verifying Multi-party Authentication Using Rank Functions and PVS. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Dusko Pavlovic |
Dynamics, Robustness and Fragility of Trust. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Gérard Boudol |
Secure Information Flow as a Safety Property. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Heiko Mantel, Henning Sudbrock |
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Dominic Duggan, Ye Wu 0006 |
Causality and Accountability. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Wiebren de Jonge, Bart Jacobs 0001 |
Privacy-Friendly Electronic Traffic Pricing via Commits. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Emiliano Lorini, Rino Falcone, Cristiano Castelfranchi |
Trust within the Context of Organizations: A Formal Approach. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Ariel Cohen 0002, Ron van der Meyden, Lenore D. Zuck |
Access Control and Information Flow in Transactional Memory. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Simone Frau, Roberto Gorrieri, Carlo Ferigato |
Petri Net Security Checker: Structural Non-interference at Work. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Elsa L. Gunter, Ayesha Yasmeen |
Secure Broadcast Ambients. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
Ambient calculi, security, broadcast, bisimulations, process calculi, congruence |
21 | Nataliia Bielova, Fabio Massacci |
Do You Really Mean What You Actually Enforced?. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
Formal models for security, Resource and Access Control, Validation/Analysis tools and techniques, trust and reputation |
21 | James Heather, David Lundin |
The Append-Only Web Bulletin Board. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Isaac Agudo, M. Carmen Fernández Gago, Javier López 0001 |
Delegating Privileges over Finite Resources: A Quota Based Delegation Approach. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Le Métayer |
A Formal Privacy Management Framework. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Lux, Heiko Mantel |
Who Can Declassify?. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jan Friso Groote, Simona Orzan |
Parameterised Anonymity. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Francis Klay, Laurent Vigneron |
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
AVISPA Tool, authentication, fairness, Cryptographic protocols, non-repudiation, automatic analysis |
21 | David Clark 0001, Sebastian Hunt |
Non-Interference for Deterministic Interactive Programs. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin |
Formal Certification of ElGamal Encryption. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Matthew Collinson, David J. Pym, Chris M. N. Tofts |
Errata for Formal Aspects of Computing (2006) 18: 495-517 and their consequences. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Siobhán Clarke, Leon Moonen, Ganesan Ramalingam (eds.) |
Aspects For Legacy Applications, 26.07. - 29.07.2006 |
Aspects For Legacy Applications |
2007 |
DBLP BibTeX RDF |
|
21 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele (eds.) |
Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007 |
Quantitative Aspects of Embedded Systems |
2007 |
DBLP BibTeX RDF |
|
21 | Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (eds.) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (eds.) |
Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers |
Formal Aspects in Security and Trust |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Winfried Lenders |
The Surface of Argumentation and the Role of Subordinating Conjunctions. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Mehler, Reinhard Köhler |
Introduction: Machine Learning in a Semiotic Perspective. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Reinhard Köhler |
Quantitative Analysis of Syntactic Structures in the Framework of Synergetic Linguistics. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jürgen Rolshoven |
Licensing Strategies in Natural Language Processing. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Gert Rickheit, Hans Strohner |
A Cognitive Systems Approach to Automatic Text Analysis. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Mehler |
Compositionality in Quantitative Semantics. A Theoretical Perspective on Text Mining. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Leonid I. Perlovsky |
Neural Networks, Fuzzy Models and Dynamic Logic. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | George J. Klir, Kari Sentz |
On the Issue of Linguistic Approximation. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Lotfi A. Zadeh |
Precisiated Natural Language. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Arne Ziegler, Gabriel Altmann |
Latent Connotative Text Structure. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Harald Atmanspacher |
A Semiotic Approach to Complex Systems. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Janusz Kacprzyk, Slawomir Zadrozny |
Computing with Words for Text Categorization. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Dieter Metzing, Jens Pönninghaus |
Linguistic Information Modeling: From Kilivila Verb Morphology to RelaxNG. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Wolfgang Wildgen |
The Dimensionality of Text and Picture and the Cross-Cultural Organization of Semiotic Complexes. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Hans-Jürgen Eikmeyer, Walther Kindt, Hans Strohner |
System Theoretical Research on Language and Communication: The Extended Experimental-Simulative Method. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alfonso Medina Urrea |
Affix Discovery by Means of Corpora: Experiments for Spanish, Czech, Ralámuli and Chuj. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Peter Gritzmann |
On the Mathematics of Semantic Spaces. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Michael Stubbs |
Inferring Meaning: Text, Technology and Questions of Induction. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Edda Leopold |
Models of Semantic Spaces. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Bordag, Gerhard Heyer |
A Structuralist Framework for Quantitative Linguistics. |
Aspects of Automatic Text Analysis |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han 0001, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang 0001 |
07101 Working Group Report -- Performance Measures Other Than Time. |
Quantitative Aspects of Embedded Systems |
2007 |
DBLP BibTeX RDF |
|
21 | Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit, Johann L. Hurink |
Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). |
Quantitative Aspects of Embedded Systems |
2007 |
DBLP BibTeX RDF |
|
21 | Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly |
Formal Aspects of Correctness and Optimality of Interval Computations. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Interval representations, Optimality, Correctness, Continuity, Interval analysis |
21 | Stefano Leonardi 0001, Friedhelm Meyer auf der Heide, Dorothea Wagner (eds.) |
Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005 |
Algorithmic Aspects of Large and Complex Networks |
2006 |
DBLP BibTeX RDF |
|
21 | Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (eds.) |
Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Kris De Schutter, Bram Adams |
Face-off: AOP+LMP vs. legacy software. |
Aspects For Legacy Applications |
2006 |
DBLP BibTeX RDF |
|
21 | Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Reiko Heckel |
Rule-based Model Extraction from Source Code. |
Aspects For Legacy Applications |
2006 |
DBLP BibTeX RDF |
|
21 | Silvia Breu, Thomas Zimmermann 0001, Christian Lindig |
HAM: Cross-cutting Concerns in Eclipse. |
Aspects For Legacy Applications |
2006 |
DBLP BibTeX RDF |
|
21 | Marius Marin, Leon Moonen, Arie van Deursen |
A common framework for aspect mining based on crosscutting concern sorts. |
Aspects For Legacy Applications |
2006 |
DBLP BibTeX RDF |
|
21 | Silvia Breu, Thomas Zimmermann 0001, Christian Lindig |
Mining Eclipse for CrossCutting. |
Aspects For Legacy Applications |
2006 |
DBLP BibTeX RDF |
|
21 | Silvia Breu, Thomas Zimmermann 0001, Christian Lindig, V. Benjamin Livshits |
Mining Additions of Method Calls in ArgoUML. |
Aspects For Legacy Applications |
2006 |
DBLP BibTeX RDF |
|
21 | Stefan Hetzl, Alexander Leitsch |
Proof Transformations and Structural Invariance. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Francesc Esteva, Lluís Godo |
Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini |
Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Franco Montagna |
Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Beloslav Riecan |
Probability Theory on IF Events. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Tobias Gedell, Reiner Hähnle |
Verification by Parallelization of Parametric Code. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Arnon Avron, Anna Zamansky |
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Antonio Di Nola, Mirko Navara |
Cantor-Bernstein Property for MV-Algebras. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Matthias Baaz |
Note on Conditional Constructivity. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Giovanni Panti |
The Automorphism Group of Falsum-Free Product Logic. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Xavier Caicedo |
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Lawrence Peter Belluce, Antonio Di Nola, Ada Lettieri |
Symmetric MV-Algebras. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Sándor Jenei, Franco Montagna |
Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Cignoli |
The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Andrew M. W. Glass, Françoise Point |
Finitely Presented Abelian Lattice-Ordered Groups. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Petr Hájek 0001 |
On Fuzzy Theories with Crisp Sentences. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Christian W. Probst, René Rydhof Hansen, Flemming Nielson |
Where Can an Insider Attack? |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Danièle Beauquier, Ruggero Lanotte |
Hiding Information in Multi Level Security Systems. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Stefano Bistarelli, Marco Dall'Aglio, Pamela Peretti |
Strategic Games on Defense Trees. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
Security, Game Theory, Risk Analysis |
21 | Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna 0001 |
A Formal Specification of the MIDP 2.0 Security Model. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Karl Krukow, Mogens Nielsen |
From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Yuxin Deng, Jun Pang 0001, Peng Wu 0002 |
Measuring Anonymity with Relative Entropy. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Kun Wei, James Heather |
A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò 0001, David A. Basin |
Formalizing and Analyzing Sender Invariance. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen |
Program Partitioning Using Dynamic Trust Models. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen |
Locality-Based Security Policies. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Chunqi Tian, Shihong Zou, Wendong Wang, Shiduan Cheng |
A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Ron van der Meyden, Chenyi Zhang |
A Comparison of Semantic Models for Noninterference. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Fredrik Seehusen, Ketil Stølen |
Maintaining Information Flow Security Under Refinement and Transformation. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 38991 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|