iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/00/3131-1.rss
dblp: Yanjing Wang https://dblp.org/pid/00/3131-1.html dblp person page RSS feed Thu, 05 Dec 2024 20:46:12 +0100 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Yanjing Wanghttps://dblp.org/pid/00/3131-1.html14451 Knowing how to plan about planning: Higher-order and meta-level epistemic planning.https://doi.org/10.1016/j.artint.2024.104233, :
Knowing how to plan about planning: Higher-order and meta-level epistemic planning. Artif. Intell. 337: 104233 ()]]>https://dblp.org/rec/journals/ai/LiW24Mon, 01 Jan 2024 00:00:00 +0100 Point-Set Neighborhood Logic.https://dblp.org/pid/00/3131-1.html, :
Point-Set Neighborhood Logic. AiML : 697-718]]>https://dblp.org/rec/conf/aiml/0001Y24Mon, 01 Jan 2024 00:00:00 +0100 Are bundles good deals for first-order modal logic?https://doi.org/10.1016/j.ic.2023.105062, , , :
Are bundles good deals for first-order modal logic? Inf. Comput. 293: 105062 ()]]>https://dblp.org/rec/journals/iandc/LiuPRW23Tue, 01 Aug 2023 01:00:00 +0200 Strong Permission Bundled: First Steps.https://dblp.org/pid/00/3131-1.html, :
Strong Permission Bundled: First Steps. DEON : 217-234]]>https://dblp.org/rec/conf/deon/WangW23Sun, 01 Jan 2023 00:00:00 +0100 Epistemic Syllogistic: First Steps.https://doi.org/10.4204/EPTCS.379.31, :
Epistemic Syllogistic: First Steps. TARK : 392-406]]>https://dblp.org/rec/journals/corr/abs-2307-05043Sun, 01 Jan 2023 00:00:00 +0100 Quantifier-free epistemic term-modal logic with assignment operator.https://doi.org/10.1016/j.apal.2021.103071, , :
Quantifier-free epistemic term-modal logic with assignment operator. Ann. Pure Appl. Log. 173(3): 103071 ()]]>https://dblp.org/rec/journals/apal/WangWS22Sat, 01 Jan 2022 00:00:00 +0100 Inquisitive logic as an epistemic logic of knowing how.https://doi.org/10.1016/j.apal.2022.103145, , :
Inquisitive logic as an epistemic logic of knowing how. Ann. Pure Appl. Log. 173(10): 103145 ()]]>https://dblp.org/rec/journals/apal/WangWW22Sat, 01 Jan 2022 00:00:00 +0100 Model Theoretical Aspects of Weakly Aggregative Modal Logic.https://doi.org/10.1007/s10849-022-09366-x, , :
Model Theoretical Aspects of Weakly Aggregative Modal Logic. J. Log. Lang. Inf. 31(2): 261-286 ()]]>https://dblp.org/rec/journals/jolli/LiuDW22Sat, 01 Jan 2022 00:00:00 +0100 Bisimulations for Knowing How Logics.https://doi.org/10.1017/S1755020321000101, , :
Bisimulations for Knowing How Logics. Rev. Symb. Log. 15(2): 450-486 ()]]>https://dblp.org/rec/journals/rsl/FervariVW22Sat, 01 Jan 2022 00:00:00 +0100 Mereological Bimodal Logics.https://doi.org/10.1017/S175502032200003X, :
Mereological Bimodal Logics. Rev. Symb. Log. 15(4): 823-858 ()]]>https://dblp.org/rec/journals/rsl/LiW22Sat, 01 Jan 2022 00:00:00 +0100 An Epistemic Interpretation of Tensor Disjunction.http://www.aiml.net/volumes/volume14/40-Wang-Wang-Wang.pdf, , :
An Epistemic Interpretation of Tensor Disjunction. AiML : 719-739]]>https://dblp.org/rec/conf/aiml/0001WW22Sat, 01 Jan 2022 00:00:00 +0100 Generalized Bundled Fragments for First-Order Modal Logic.https://doi.org/10.4230/LIPIcs.MFCS.2022.70, , , :
Generalized Bundled Fragments for First-Order Modal Logic. MFCS : 70:1-70:14]]>https://dblp.org/rec/conf/mfcs/LiuPRW22Sat, 01 Jan 2022 00:00:00 +0100 Tense Logics over Lattices.https://doi.org/10.1007/978-3-031-15298-6_5, :
Tense Logics over Lattices. WoLLIC : 70-87]]>https://dblp.org/rec/conf/wollic/WangW22Sat, 01 Jan 2022 00:00:00 +0100 Are Bundles Good Deals for FOML?https://arxiv.org/abs/2202.01581, , , :
Are Bundles Good Deals for FOML? CoRR abs/2202.01581 ()]]>https://dblp.org/rec/journals/corr/abs-2202-01581Sat, 01 Jan 2022 00:00:00 +0100 Inquisitive Logic as an Epistemic Logic of Knowing How.https://doi.org/10.48550/arXiv.2203.12253, , :
Inquisitive Logic as an Epistemic Logic of Knowing How. CoRR abs/2203.12253 ()]]>https://dblp.org/rec/journals/corr/abs-2203-12253Sat, 01 Jan 2022 00:00:00 +0100 An Epistemic Interpretation of Tensor Disjunction.https://doi.org/10.48550/arXiv.2203.13970, , :
An Epistemic Interpretation of Tensor Disjunction. CoRR abs/2203.13970 ()]]>https://dblp.org/rec/journals/corr/abs-2203-13970Sat, 01 Jan 2022 00:00:00 +0100 Planning-based knowing how: A unified approach.https://doi.org/10.1016/j.artint.2021.103487, :
Planning-based knowing how: A unified approach. Artif. Intell. 296: 103487 ()]]>https://dblp.org/rec/journals/ai/LiW21Fri, 01 Jan 2021 00:00:00 +0100 A logic of knowing why.https://doi.org/10.1007/s11229-019-02104-0, , :
A logic of knowing why. Synth. 198(2): 1259-1285 ()]]>https://dblp.org/rec/journals/synthese/XuWS21Fri, 01 Jan 2021 00:00:00 +0100 Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic.https://doi.org/10.1007/978-3-030-88708-7_5, , :
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic. LORI : 58-72]]>https://dblp.org/rec/conf/lori/DingLW21Fri, 01 Jan 2021 00:00:00 +0100 De Re Updates.https://doi.org/10.4204/EPTCS.335.9, , :
De Re Updates. TARK : 103-117]]>https://dblp.org/rec/journals/corr/abs-2106-11497Fri, 01 Jan 2021 00:00:00 +0100 Knowing How to Plan.https://doi.org/10.4204/EPTCS.335.22, :
Knowing How to Plan. TARK : 233-247]]>https://dblp.org/rec/journals/corr/abs-2106-11504Fri, 01 Jan 2021 00:00:00 +0100 A dynamic epistemic framework for reasoning about conformant probabilistic plans.https://doi.org/10.1016/j.artint.2018.12.001, , :
A dynamic epistemic framework for reasoning about conformant probabilistic plans. Artif. Intell. 268: 54-84 ()]]>https://dblp.org/rec/journals/ai/LiKW19Tue, 01 Jan 2019 00:00:00 +0100 Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach.https://doi.org/10.1007/978-3-662-60292-8_10, :
Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach. LORI : 126-139]]>https://dblp.org/rec/conf/lori/LiW19Tue, 01 Jan 2019 00:00:00 +0100 Weakly Aggregative Modal Logic: Characterization and Interpolation.https://doi.org/10.1007/978-3-662-60292-8_12, , :
Weakly Aggregative Modal Logic: Characterization and Interpolation. LORI : 153-167]]>https://dblp.org/rec/conf/lori/LiuWD19Tue, 01 Jan 2019 00:00:00 +0100 Knowledge-Now and Knowledge-All.https://doi.org/10.1007/978-3-662-60292-8_29, :
Knowledge-Now and Knowledge-All. LORI : 399-412]]>https://dblp.org/rec/conf/lori/WangW19Tue, 01 Jan 2019 00:00:00 +0100 How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions.https://doi.org/10.4204/EPTCS.297.14, :
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. TARK : 206-220]]>https://dblp.org/rec/journals/corr/abs-1907-09105Tue, 01 Jan 2019 00:00:00 +0100 A logic of goal-directed knowing how.https://doi.org/10.1007/s11229-016-1272-0:
A logic of goal-directed knowing how. Synth. 195(10): 4419-4439 ()]]>https://dblp.org/rec/journals/synthese/Wang18Mon, 01 Jan 2018 00:00:00 +0100 True lies.https://doi.org/10.1007/s11229-017-1423-y, , :
True lies. Synth. 195(10): 4581-4615 ()]]>https://dblp.org/rec/journals/synthese/AgotnesDW18Mon, 01 Jan 2018 00:00:00 +0100 When Names Are Not Commonly Known: Epistemic Logic with Assignments.http://www.aiml.net/volumes/volume12/Wang-Seligman.pdf, :
When Names Are Not Commonly Known: Epistemic Logic with Assignments. Advances in Modal Logic : 611-628]]>https://dblp.org/rec/conf/aiml/WangS18Mon, 01 Jan 2018 00:00:00 +0100 Bundled Fragments of First-Order Modal Logic: (Un)Decidability.https://doi.org/10.4230/LIPIcs.FSTTCS.2018.43, , :
Bundled Fragments of First-Order Modal Logic: (Un)Decidability. FSTTCS : 43:1-43:20]]>https://dblp.org/rec/conf/fsttcs/PadmanabhaRW18Mon, 01 Jan 2018 00:00:00 +0100 Bundled fragments of first-order modal logic: (un)decidability.http://arxiv.org/abs/1803.10508, , :
Bundled fragments of first-order modal logic: (un)decidability. CoRR abs/1803.10508 ()]]>https://dblp.org/rec/journals/corr/abs-1803-10508Mon, 01 Jan 2018 00:00:00 +0100 Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names.http://arxiv.org/abs/1805.03852, :
Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names. CoRR abs/1805.03852 ()]]>https://dblp.org/rec/journals/corr/abs-1805-03852Mon, 01 Jan 2018 00:00:00 +0100 More for free: a dynamic epistemic framework for conformant planning over transition systems.https://doi.org/10.1093/logcom/exx020, , :
More for free: a dynamic epistemic framework for conformant planning over transition systems. J. Log. Comput. 27(8): 2383-2410 ()]]>https://dblp.org/rec/journals/logcom/LiYW17Sun, 01 Jan 2017 00:00:00 +0100 Knowing Values and Public Inspection.https://doi.org/10.1007/978-3-662-54069-5_7, , :
Knowing Values and Public Inspection. ICLA : 77-90]]>https://dblp.org/rec/conf/icla/EijckGW17Sun, 01 Jan 2017 00:00:00 +0100 Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints.https://doi.org/10.1007/978-3-662-54069-5_12, :
Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints. ICLA : 154-167]]>https://dblp.org/rec/conf/icla/LiW17Sun, 01 Jan 2017 00:00:00 +0100 Strategically knowing how.https://doi.org/10.24963/ijcai.2017/143, , , :
Strategically knowing how. IJCAI : 1031-1038]]>https://dblp.org/rec/conf/ijcai/FervariHLW17Sun, 01 Jan 2017 00:00:00 +0100 A New Modal Framework for Epistemic Logic.https://doi.org/10.4204/EPTCS.251.38:
A New Modal Framework for Epistemic Logic. TARK : 515-534]]>https://dblp.org/rec/journals/corr/Wang17dSun, 01 Jan 2017 00:00:00 +0100 Strategically knowing how.http://arxiv.org/abs/1705.05254, , , :
Strategically knowing how. CoRR abs/1705.05254 ()]]>https://dblp.org/rec/journals/corr/FervariHLW17Sun, 01 Jan 2017 00:00:00 +0100 A New Modal Framework for Epistemic Logic.http://arxiv.org/abs/1707.08764:
A New Modal Framework for Epistemic Logic. CoRR abs/1707.08764 ()]]>https://dblp.org/rec/journals/corr/Wang17aeSun, 01 Jan 2017 00:00:00 +0100 "Knowing value'' logic as a normal modal logic.http://www.aiml.net/volumes/volume11/Gu-Wang.pdf, :
"Knowing value'' logic as a normal modal logic. Advances in Modal Logic : 362-381]]>https://dblp.org/rec/conf/aiml/GuW16Fri, 01 Jan 2016 00:00:00 +0100 "Knowing value" logic as a normal modal logic.http://arxiv.org/abs/1604.08709, :
"Knowing value" logic as a normal modal logic. CoRR abs/1604.08709 ()]]>https://dblp.org/rec/journals/corr/GuW16Fri, 01 Jan 2016 00:00:00 +0100 Beyond knowing that: a new generation of epistemic logics.http://arxiv.org/abs/1605.01995:
Beyond knowing that: a new generation of epistemic logics. CoRR abs/1605.01995 ()]]>https://dblp.org/rec/journals/corr/Wang16jFri, 01 Jan 2016 00:00:00 +0100 True Lies.http://arxiv.org/abs/1606.08333, , :
True Lies. CoRR abs/1606.08333 ()]]>https://dblp.org/rec/journals/corr/AgotnesDW16Fri, 01 Jan 2016 00:00:00 +0100 Knowing Values and Public Inspection.http://arxiv.org/abs/1609.03338, , :
Knowing Values and Public Inspection. CoRR abs/1609.03338 ()]]>https://dblp.org/rec/journals/corr/EijckGW16Fri, 01 Jan 2016 00:00:00 +0100 A Logic of Knowing Why.http://arxiv.org/abs/1609.06405, :
A Logic of Knowing Why. CoRR abs/1609.06405 ()]]>https://dblp.org/rec/journals/corr/XuW16Fri, 01 Jan 2016 00:00:00 +0100 Achieving while maintaining: A logic of knowing how with intermediate constraints.http://arxiv.org/abs/1610.05064, :
Achieving while maintaining: A logic of knowing how with intermediate constraints. CoRR abs/1610.05064 ()]]>https://dblp.org/rec/journals/corr/LiW16fFri, 01 Jan 2016 00:00:00 +0100 Contingency and Knowing Whether.https://doi.org/10.1017/S1755020314000343, , :
Contingency and Knowing Whether. Rev. Symb. Log. 8(1): 75-107 ()]]>https://dblp.org/rec/journals/rsl/FanWD15Thu, 01 Jan 2015 00:00:00 +0100 Representing Imperfect Information of Procedures with Hyper Models.https://doi.org/10.1007/978-3-662-45824-2_16:
Representing Imperfect Information of Procedures with Hyper Models. ICLA : 218-231]]>https://dblp.org/rec/conf/icla/Wang15Thu, 01 Jan 2015 00:00:00 +0100 A Logic of Knowing How.https://doi.org/10.1007/978-3-662-48561-3_32:
A Logic of Knowing How. LORI : 392-405]]>https://dblp.org/rec/conf/lori/Wang15aThu, 01 Jan 2015 00:00:00 +0100 A Dynamic Epistemic Framework for Conformant Planning.https://doi.org/10.4204/EPTCS.215.21, , :
A Dynamic Epistemic Framework for Conformant Planning. TARK : 298-318]]>https://dblp.org/rec/journals/corr/YuLW16Thu, 01 Jan 2015 00:00:00 +0100 A Logic of Knowing How.http://arxiv.org/abs/1505.06651:
A Logic of Knowing How. CoRR abs/1505.06651 ()]]>https://dblp.org/rec/journals/corr/Wang15gThu, 01 Jan 2015 00:00:00 +0100 From rules to runs: A dynamic epistemic take on imperfect information games.http://arxiv.org/abs/1512.02078, :
From rules to runs: A dynamic epistemic take on imperfect information games. CoRR abs/1512.02078 ()]]>https://dblp.org/rec/journals/corr/LiW15bThu, 01 Jan 2015 00:00:00 +0100 Hidden protocols: Modifying our expectations in an evolving world.https://doi.org/10.1016/j.artint.2013.12.001, , , :
Hidden protocols: Modifying our expectations in an evolving world. Artif. Intell. 208: 18-40 ()]]>https://dblp.org/rec/journals/ai/DitmarschGVW14Wed, 01 Jan 2014 00:00:00 +0100 Book Reviews.https://doi.org/10.1007/s11225-014-9554-3:
Book Reviews. Stud Logica 102(3): 647-654 ()]]>https://dblp.org/rec/journals/sLogica/Wang14Wed, 01 Jan 2014 00:00:00 +0100 Almost Necessary.http://www.aiml.net/volumes/volume10/Fan-Wang-Ditmarsch.pdf, , :
Almost Necessary. Advances in Modal Logic : 178-196]]>https://dblp.org/rec/conf/aiml/FanWD14Wed, 01 Jan 2014 00:00:00 +0100 Conditionally Knowing What.http://www.aiml.net/volumes/volume10/Wang-Fan.pdf, :
Conditionally Knowing What. Advances in Modal Logic : 569-587]]>https://dblp.org/rec/conf/aiml/WangF14Wed, 01 Jan 2014 00:00:00 +0100 Reasoning About Agent Types and the Hardest Logic Puzzle Ever.https://doi.org/10.1007/s11023-012-9287-x, :
Reasoning About Agent Types and the Hardest Logic Puzzle Ever. Minds Mach. 23(1): 123-161 ()]]>https://dblp.org/rec/journals/mima/LiuW13Tue, 01 Jan 2013 00:00:00 +0100 On axiomatizations of public announcement logic.https://doi.org/10.1007/s11229-012-0233-5, :
On axiomatizations of public announcement logic. Synth. 190(Supplement-1): 103-134 ()]]>https://dblp.org/rec/journals/synthese/WangC13Tue, 01 Jan 2013 00:00:00 +0100 An Alternative Axiomatization of DEL and Its Applications.http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6802, :
An Alternative Axiomatization of DEL and Its Applications. IJCAI : 1139-1146]]>https://dblp.org/rec/conf/ijcai/WangA13Tue, 01 Jan 2013 00:00:00 +0100 Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators.http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6742, :
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators. IJCAI : 1147-1154]]>https://dblp.org/rec/conf/ijcai/WangF13Tue, 01 Jan 2013 00:00:00 +0100 Knowing Whether.http://arxiv.org/abs/1312.0144, , :
Knowing Whether. CoRR abs/1312.0144 ()]]>https://dblp.org/rec/journals/corr/FanWD13Tue, 01 Jan 2013 00:00:00 +0100 Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.http://www.aiml.net/volumes/volume9/Wang-Li.pdf, :
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation. Advances in Modal Logic : 559-580]]>https://dblp.org/rec/conf/aiml/WangL12Sun, 01 Jan 2012 00:00:00 +0100 On the Logic of Lying.https://doi.org/10.1007/978-3-642-29326-9_4, , , :
On the Logic of Lying. Games, Actions and Social Software : 41-72]]>https://dblp.org/rec/series/lncs/DitmarschESW12Sun, 01 Jan 2012 00:00:00 +0100 Composing models.https://doi.org/10.3166/jancl.21.397-425, , :
Composing models. J. Appl. Non Class. Logics 21(3-4): 397-425 ()]]>https://dblp.org/rec/journals/jancl/EijckSW11Sat, 01 Jan 2011 00:00:00 +0100 Reasoning about Protocol Change and Knowledge.https://doi.org/10.1007/978-3-642-18026-2_16:
Reasoning about Protocol Change and Knowledge. ICLA : 189-203]]>https://dblp.org/rec/conf/icla/Wang11Sat, 01 Jan 2011 00:00:00 +0100 Risk Balance in Optimistic Non-repudiation Protocols.https://doi.org/10.1007/978-3-642-29420-4_17, , :
Risk Balance in Optimistic Non-repudiation Protocols. Formal Aspects in Security and Trust : 263-277]]>https://dblp.org/rec/conf/ifip1-7/DashtiCW11Sat, 01 Jan 2011 00:00:00 +0100 On Axiomatizations of PAL.https://doi.org/10.1007/978-3-642-24130-7_23:
On Axiomatizations of PAL. LORI : 314-327]]>https://dblp.org/rec/conf/lori/Wang11Sat, 01 Jan 2011 00:00:00 +0100 Hidden protocols.https://doi.org/10.1145/2000378.2000386, , , :
Hidden protocols. TARK : 65-74]]>https://dblp.org/rec/conf/tark/DitmarschGVW11Sat, 01 Jan 2011 00:00:00 +0100 Epistemic Modelling and Protocol Dynamics.https://tel.archives-ouvertes.fr/tel-00535885:
Epistemic Modelling and Protocol Dynamics. University of Amsterdam, Netherlands, ]]>https://dblp.org/rec/phd/hal/Yanjing10Fri, 01 Jan 2010 00:00:00 +0100 To know or not to know: epistemic approaches to security protocol verification.https://doi.org/10.1007/s11229-010-9765-8, :
To know or not to know: epistemic approaches to security protocol verification. Synth. 177(Supplement-1): 51-76 ()]]>https://dblp.org/rec/journals/synthese/DechesneW10Fri, 01 Jan 2010 00:00:00 +0100 Logic of information flow on communication channels.https://dl.acm.org/citation.cfm?id=1838425, , :
Logic of information flow on communication channels. AAMAS : 1447-1448]]>https://dblp.org/rec/conf/atal/WangSE10Fri, 01 Jan 2010 00:00:00 +0100 Logic of Information Flow on Communication Channels.https://doi.org/10.1007/978-3-642-20715-0_8, , :
Logic of Information Flow on Communication Channels. DALT : 130-147]]>https://dblp.org/rec/conf/dalt/WangSE10Fri, 01 Jan 2010 00:00:00 +0100 Feature extraction and classifier evaluation of EEG for imaginary hand movements.https://doi.org/10.1109/ICNC.2010.5582453, , , :
Feature extraction and classifier evaluation of EEG for imaginary hand movements. ICNC : 2112-2116]]>https://dblp.org/rec/conf/icnc/QiaoWLT10Fri, 01 Jan 2010 00:00:00 +0100 Verifying epistemic protocols under common knowledge.https://doi.org/10.1145/1562814.1562848, , :
Verifying epistemic protocols under common knowledge. TARK : 257-266]]>https://dblp.org/rec/conf/tark/WangKE09Thu, 01 Jan 2009 00:00:00 +0100 On expressive power and class invariance.http://arxiv.org/abs/0905.4332, :
On expressive power and class invariance. CoRR abs/0905.4332 ()]]>https://dblp.org/rec/journals/corr/abs-0905-4332Thu, 01 Jan 2009 00:00:00 +0100 Refinement of Kripke Models for Dynamics.https://doi.org/10.1007/978-3-540-85762-4_8, , :
Refinement of Kripke Models for Dynamics. ICTAC : 111-125]]>https://dblp.org/rec/conf/ictac/DechesneOW08Tue, 01 Jan 2008 00:00:00 +0100 PDL over Accelerated Labeled Transition Systems.https://doi.org/10.1109/TASE.2008.42, , :
PDL over Accelerated Labeled Transition Systems. TASE : 193-200]]>https://dblp.org/rec/conf/tase/ChenPW08Tue, 01 Jan 2008 00:00:00 +0100 Propositional Dynamic Logic as a Logic of Belief Revision.https://doi.org/10.1007/978-3-540-69937-8_13, :
Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC : 136-148]]>https://dblp.org/rec/conf/wollic/EijckW08Tue, 01 Jan 2008 00:00:00 +0100 Risk Balance in Exchange Protocols.https://doi.org/10.1007/978-3-540-76929-3_8, :
Risk Balance in Exchange Protocols. ASIAN : 70-77]]>https://dblp.org/rec/conf/asian/DashtiW07Mon, 01 Jan 2007 00:00:00 +0100