Search results
From MaRDI portal
- Jon Barwise (section List of research outcomes)https://portal.mardi4nfdi.de/entity/Q4875400 1996-05-01 Paper On the Logic of Information Flow 1996-02-20 Paper https://portal.mardi4nfdi.de/entity/Q4856150 1995-11-22...10 bytes (16 words) - 10:15, 13 December 2023
- Yanjing Wang (section List of research outcomes)2023-03-24 Paper A logic of knowing why 2023-03-17 Paper MEREOLOGICAL BIMODAL LOGICS 2022-11-08 Paper Inquisitive logic as an epistemic logic of knowing how 2022-09-16...10 bytes (13 words) - 03:09, 25 September 2023
- Torben Amtoft (section List of research outcomes)2017-11-03 Paper A logic for information flow in object-oriented programs 2017-08-21 Paper A Theory of Slicing for Probabilistic Control Flow Graphs 2016-06-10...10 bytes (13 words) - 11:42, 7 October 2023
- Anindya Banerjee (section List of research outcomes)object-oriented programs 2008-12-21 Paper A logic for information flow analysis with an application to forward slicing of simple imperative programs 2007-01-22...10 bytes (14 words) - 11:42, 7 October 2023
- Hanne Riis Nielson (section List of research outcomes)Disjunctive Information Flow 2016-01-08 Paper Modal abstractions of concurrent behavior 2015-09-17 Paper Discretionary Information Flow Control for Interaction-Oriented...10 bytes (17 words) - 02:32, 7 October 2023
- Flemming Nielson (section List of research outcomes)Disjunctive Information Flow 2016-01-08 Paper Modal abstractions of concurrent behavior 2015-09-17 Paper Discretionary Information Flow Control for Interaction-Oriented...10 bytes (15 words) - 23:02, 11 December 2023
- Ximeng Li (section List of research outcomes)HOL light 2021-06-09 Paper Disjunctive Information Flow for Communicating Processes 2021-04-07 Paper Formalization of camera pose estimation algorithm based...10 bytes (13 words) - 19:14, 6 October 2023
- Sruthi Bandhakavi (section List of research outcomes)Publication Date of Publication Type A logic for information flow in object-oriented programs 2017-08-21 Paper...10 bytes (13 words) - 21:11, 27 December 2023
- Compositionality of Quantitative Information Flow 2017-10-12 Paper Quantifying leakage in the presence of unreliable sources of information 2017-06-30 Paper...10 bytes (15 words) - 03:31, 12 December 2023
- Pavel Naumov (section List of research outcomes)modal logic of deductive closure 2006-08-16 Paper Logic of subtyping 2006-08-16 Paper Upper bounds on complexity of Frege proofs with limited use of certain...10 bytes (16 words) - 22:49, 10 December 2023
- Annabelle McIver (section List of research outcomes)Processing text for privacy: an information flow perspective 2021-05-04 Paper An algebraic approach for reasoning about information flow 2021-05-04 Paper Quantitative...10 bytes (14 words) - 14:42, 6 December 2023
- Didier Dubois (section List of research outcomes)possibilistic logic 2018-08-28 Paper A modal theorem-preserving translation of a class of three-valued logics of incomplete information 2018-08-28 Paper...10 bytes (15 words) - 14:52, 6 December 2023
- Ron van der Meyden (section List of research outcomes)Strategy Logic 2019-02-07 Paper Dynamic intransitive noninterference revisited 2018-01-08 Paper The complexity of synchronous notions of information flow security...10 bytes (17 words) - 13:11, 10 December 2023
- Bernd Finkbeiner (section List of research outcomes)Software Verification of Hyperproperties Beyond k-Safety 2022-12-07 Paper Information Flow Guided Synthesis 2022-12-07 Paper The Density of Linear-Time Properties...10 bytes (13 words) - 02:52, 25 September 2023
- Carroll Morgan (section List of research outcomes)Account of Quantitative Information Flow 2018-04-23 Paper A demonic lattice of information 2018-03-26 Paper Algebra for Quantitative Information Flow 2017-07-21...10 bytes (16 words) - 14:39, 6 December 2023
- Thomas Eiter (section List of research outcomes)properties of update sequences based on causal rejection 2004-03-01 Paper Using methods of declarative logic programming for intelligent information agents...10 bytes (15 words) - 11:36, 8 December 2023
- Manas K. Patra (section List of research outcomes)1998-09-13 Paper Biorheological aspects of arterial flow near bifurcations 1994-01-19 Paper Oscillatory flow of a viscous fluid through converging-diverging...10 bytes (15 words) - 12:28, 7 October 2023
- Zoran Ognjanović (section List of research outcomes)2023-07-11 Paper A logic of interactive proofs 2023-01-04 Paper Tableau for the logic ILP 2022-12-08 Paper Reasoning About Degrees of Confirmation 2022-08-30...10 bytes (13 words) - 11:12, 11 December 2023
- Axel Legay (section List of research outcomes)cryptosystems 2020-01-06 Paper Hybrid statistical estimation of mutual information for quantifying information flow 2020-01-03 Paper Computing branching distances using...10 bytes (13 words) - 08:12, 25 September 2023
- Annalisa Bossi (section List of research outcomes)Transforming Processes to Check and Ensure Information Flow Security* 2011-05-06 Paper A Proof System for Information Flow Security 2011-03-04 Paper Theoretical...10 bytes (15 words) - 07:51, 13 December 2023
