yoriyuki's copy [52 articles] Export

Recent papers added to yoriyuki's library classified by the tag copy. You can also see everyone's copy.

	Verifying the SET registration protocols [My Copy] IEEE J. of Selected Areas in Communications, Vol. 21 (2003) by Giampaolo Bella, Fabio, Lawrence C. Paulson posted to copy formal-method security theorem-proving by yoriyuki on 2009-01-07 02:57:31 as
	Automated analysis of cryptographic protocols using Murφ [My Copy] Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on In Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on (1997), pp. 141-151. by J. C. Mitchell, M. Mitchell, U. Stern posted to copy cryptography model-checking security by yoriyuki on 2009-01-07 02:50:57 as
	1 Implementing a Model Checker for LEGO [My Copy] by Shenwei Yu, Zhaohui Luo posted to agdaspin copy model-checking print theorem-proving by yoriyuki on 2008-12-22 02:35:47 as
	Proof rules for automated compositional verification through learning [My Copy] In In Proc. SAVCBS Workshop (2003), pp. 14-21. by Howard Barringer posted to agdaspin assume-gurantee-reasoning copy model-checking by yoriyuki on 2008-10-27 08:27:47 as
	Towards a Compositional SPIN [My Copy] by Corina Păsăreanu, Dimitra Giannakopoulou posted to agdaspin assume-gurantee-reasoning copy model-checking model-checkingspin by yoriyuki on 2008-10-27 07:54:36 as
	Routing Information Protocol in HOL/SPIN [My Copy] In TPHOLs '00: Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics (2000), pp. 53-72. by Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic posted to agdaspin copy model-checking print spin theorem-proving by yoriyuki on 2008-10-07 06:26:29 as
	Bounded Arithmetic, Proof Complexity and TwoPapers of Parikh [My Copy] by Samuel R. Buss posted to bounded-arithmetic copy print by yoriyuki on 2008-10-01 07:25:27 as
	Forcing in Proof Theory [My Copy] The Bulletin of Symbolic Logic, Vol. 10, No. 3. (2004), pp. 305-333. by Jeremy Avigad posted to copy forcing kripke-model print by yoriyuki on 2008-09-30 15:55:25 as along with 2 people and 1 group rzach greg_restall LogicPhilMath
	Logical Foundations of Proof Complexity [My Copy] by Stephen Cook, Phuong Nguyen posted to bounded-arithmetic complexity copy implicit-complexity print by yoriyuki on 2008-09-14 14:16:06 as
	The design of a pretty-printing library [My Copy] Advanced Functional Programming (1995), pp. 53-96. by John Hughes posted to agda copy haskell by yoriyuki on 2008-08-04 02:58:46 as along with 3 people msakai draganigajic pedagand
	An incremental formal semantics for promela [My Copy] (1997) by C. Weise posted to copy model-checking print spin by yoriyuki on 2008-07-30 03:18:08 as
	Naming proofs in classical propositional logic [My Copy] (2005) by F. Lamarche, L. Straburger posted to classical-logic copy proof-theoretical-semantics by yoriyuki on 2008-07-18 08:52:19 as
	Proof theoretical coherence [My Copy] by Kosta Dosen, Zoran Petric posted to copy proof-theoretical-semantics by yoriyuki on 2008-07-18 08:51:41 as
	Compositional Reasoning in Model Checking [My Copy] Lecture Notes in Computer Science, Vol. 1536 (1998), pp. 81-102. by Sergey Berezin, Sérgio Campos, Edmund M. Clarke posted to copy model-checking theorem-proving by yoriyuki on 2008-07-17 04:01:21 as along with 1 person msakai
	The Differential Lambda-Calculus [My Copy] by Thomas Ehrhard, Laurent Regnier posted to copy lambda-calculus by yoriyuki on 2008-07-17 02:49:02 as
	Predicative Arithmetic [My Copy] by Edward Nelson posted to copy predicative-arithmetic by yoriyuki on 2008-07-09 09:39:20 as
	Functional Interpretation of feasibly constructive arithmetic [My Copy] by S. A. Cook, A. Urquhart posted to complexity copy print implicit-complexity by yoriyuki on 2008-07-07 09:41:48 as
	Evans のvague object について [My Copy] by Shunsuke Yatabe, Hiroyuki Inaoka posted to copy philosophy print vaguness set-theory by yoriyuki on 2008-07-04 09:50:33 as along with 1 person msakai
	The view from the left [My Copy] by Conor Mcbride posted to agda copy by yoriyuki on 2008-07-01 05:53:14 as along with 1 person msakai
	A generic type system for the Pi-calculus [My Copy] Theoretical Computer Science, Vol. 311, No. 1-3. (23 January 2004), pp. 121-163. by Atsushi Igarashi, Naoki Kobayashi posted to copy pi-calculus type-theory by yoriyuki on 2008-07-01 03:59:09 as along with 2 people and 1 group keigoi janschaefer TU-KL-SoftwareTechnologyGroup
	Type Systems for Concurrent Programs [My Copy] Formal Methods at the Crossroads: From Panacea to Foundational Support (2003), pp. 439-453. by Naoki Kobayashi posted to concurrency copy type-theory by yoriyuki on 2008-07-01 03:56:05 as along with 2 people olegus msakai
	Types as models: model checking message-passing programs [My Copy] SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 45-57. by Sagar Chaki, Sriram K. Rajamani, Jakob Rehof posted to copy message-passing model-checking type-theory by yoriyuki on 2008-07-01 03:50:08 as along with 1 person streetlightios
	Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR [My Copy] In TACAs '96: Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1996), pp. 147-166. by Gavin Lowe posted to copy fdr network protocol security model-checking by yoriyuki on 2008-07-01 03:44:10 as
	ONLamp.com -- VPNs and Public Key Infrastructure [My Copy] posted to copy network pki security vpn by yoriyuki on 2008-07-01 03:40:55 as
	Deploying a VPN with PKI [My Copy] posted to copy network pki security vpn by yoriyuki on 2008-07-01 03:38:33 as
	Protocol verification as a hardware design aid [My Copy] Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on In Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on (1992), pp. 522-525. by D. L. Dill, A. J. Drexler, A. J. Hu, C. H. Yang posted to copy protocol formal-method model-checking by yoriyuki on 2008-07-01 03:29:31 as
	Automated analysis of cryptographic protocols using Mur/spl phi/ [My Copy] In SP '97: Proceedings of the 1997 IEEE Symposium on Security and Privacy (1997) by J. C. Mitchell, M. Mitchell, U. Stern posted to copy cryptography network security model-checking by yoriyuki on 2008-07-01 03:27:15 as along with 1 person AnneB
	Finite-State Analysis of SSL 3.0 [My Copy] by John C. Mitchell, Shmatikov Vitaly, Ulrich Stern posted to copy network security formal-method model-checking by yoriyuki on 2008-07-01 03:23:13 as
	Verifying the SET registration protocols [My Copy] Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 77-87. by G. Bella, F. Massacci, L. C. Paulson posted to copy formal-method network security theorem-proving by yoriyuki on 2008-07-01 03:20:41 as
	Alternating Tree Automata and Parity Games [My Copy] Automata Logics, and Infinite Games (2002), pp. 405-411. by Daniel Kirsten posted to automata copy game-semantics by yoriyuki on 2008-07-01 03:09:51 as
	Infinite Games [My Copy] Automata Logics, and Infinite Games (2002), pp. 197-204. by René Mazala posted to automata copy game-semantics by yoriyuki on 2008-07-01 03:08:33 as
	Modal $μ$-calculus and alternating tree automata [My Copy] (2002), pp. 171-184. by Júlia Zappe posted to automata copy modal-mu tree-automata by yoriyuki on 2008-07-01 03:02:20 as along with 1 person sgwyj
	Completeness in the Theory of Types [My Copy] The Journal of Symbolic Logic, Vol. 15, No. 2. (1950), pp. 81-91. by Leon Henkin posted to copy by yoriyuki on 2008-07-01 02:57:17 as
	A Formulation of the Simple Theory of Types [My Copy] The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68. by Alonzo Church posted to copy lambda-calculus type-theory by yoriyuki on 2008-07-01 02:55:15 as along with 5 people Benja ajk calvins varming d23
	Dependently Typed Programming in Agda [My Copy] by Ulf Norell posted to agda copy print by yoriyuki on 2008-06-25 02:35:30 as along with 2 people msakai shimomura
	The constructive completion of the space D(R) [My Copy] by Satoru Yoshida posted to copy constructive-mathematics by yoriyuki on 2008-06-06 10:21:13 as
	The Banach-Steinhaus theorem for the space D(R) in constructive analysis [My Copy] by Satoru Yhoshida posted to copy constructive-mathematics by yoriyuki on 2008-06-06 10:19:33 as
	Science Links Japan \| Structure Change of the Poincare Section due to the Mass Change in the Rectilinear Three-body Problem [My Copy] by Masayoshi Saito, Tanikawa Kiyotaka posted to copy dynamics by yoriyuki on 2008-06-06 10:10:23 as
	Generalized functions with pseudobounded support in constructive mathematics [My Copy] J. Complex., Vol. 22, No. 6. (December 2006), pp. 783-802. by Satoru Yoshida posted to copy constructive-mathematics by yoriyuki on 2008-06-06 10:02:59 as
	Collinear Three-Body Problem with Non-Equal Masses by Symbolic Dynamics [My Copy] In Order and Chaos in Stellar and Planetary Systems, Vol. 316 (November 2004), 63. by M. M. Saito, K. Tanikawa edited by G. G. Byrd, K. V. Kholshevnikov, A. A. Myllri, I. I. Nikiforov, V. V. Orlov posted to copy dynamics by yoriyuki on 2008-06-06 10:00:44 as
	A Constructive Look at the Completeness of the Space <tex-math>$\mathcalD (\mathbbR)$</tex-math> [My Copy] The Journal of Symbolic Logic, Vol. 67, No. 4. (2002), pp. 1511-1519. by Hajime Ishihara, Satoru Yoshida posted to copy constructive-mathematics by yoriyuki on 2008-06-06 09:53:18 as
	Practical Threat Analysis and Risk Management [My Copy] posted to copy security by yoriyuki on 2008-06-06 09:06:57 as
	Disjunctive Normal Forms and Local Exceptions [My Copy] In ICPP'03 (2003) by Emmanuel Beffara, Vincent Danos posted to copy classical-logic control-operator by yoriyuki on 2008-06-06 09:03:42 as
	Functional Programming with Overloading and Higher-Order Polymorphism [My Copy] In Advanced Functional Programming (1995), pp. 97-136. by Mark P. Jones posted to copy overloading polymorphism functional-programming by yoriyuki on 2008-06-06 09:02:14 as along with 5 people tautologico bunge ds americovargas pedagand
	Arithmetical Proofs of Strong Normalization Results for Symmetric $λ$-calculi [My Copy] Fundam. Inf., Vol. 77, No. 4. (December 2007), pp. 489-510. by René David, Karim Nour posted to copy lambda-mu classical-logic lambda-calculus by yoriyuki on 2008-06-06 08:57:32 as
	Using Model Checking with Symbolic Execution for the Verification of Data- Dependent Properties of MPI-Based Parallel Scientific Software [My Copy] by Anastasia Mironova posted to copy mpi formal-method by yoriyuki on 2008-06-06 08:50:53 as
	Checking Memory Safety with Blast [My Copy] Fundamental Approaches to Software Engineering (2005), pp. 2-18. by Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar posted to copy formal-method by yoriyuki on 2008-06-06 08:42:37 as along with 2 people shimomura msakai
	AstrÉe: Verification of Absence of Runtime Error [My Copy] Building the Information Society (2004), pp. 385-392. by Laurent Mauborgne posted to copy formal-method by yoriyuki on 2008-06-06 08:38:49 as
	The Logic of Authentication Protocols ? [My Copy] by Paul Syverson, Iliano Cervesato posted to copy security by yoriyuki on 2008-06-06 08:37:14 as
	AnZenMail: A Secure and Certified E-mail System [My Copy] Software Security — Theories and Systems (2003), pp. 307-312. by Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-Ya Nishizaki, Kenjiro Taura, Takuo Watanabe posted to copy security by yoriyuki on 2008-06-06 08:32:35 as

Note: You may cite this page as: http://www.citeulike.org/user/yoriyuki/tag/copy

Result page: 1 2 Next

copy	52
model-checking	27
print	16
bounded-arithmetic	15
security	15
agdaspin	13
lambda-calculus	10
network	10
complexity	9
set-theory	9
theorem-proving	9
type-theory	9
formal-method	8
java	7
assume-gurantee-reasoning	6
control-operator	6
implicit-complexity	6
classical-logic	5
constructive-mathematics	5
library	5
model-checkingspin	5
pki	5
presburger-arithmetic	5
spin	5
ssl	5
agda	4
automata	4
functional-programming	4
game-semantics	4
mypaper	4
proof-theoretical-semantics	4
quantum-computing	4
design-pattern	3
philosophy	3
truth-theory	3
category	2
cps	2
cryptography	2
cs	2
dynamics	2
economics	2
ethic	2
forcing	2
formal-semantics	2
free-logic	2
kripke-model	2
lambda-mu	2
learning-theory	2
linear-logic	2
modal-mu	2
nlp	2
nonstandard-analysis	2
ordinal-analysis	2
physics	2
pi-calculus	2
political-science	2
predicative-arithmetic	2
protocol	2
reverse-mathematics	2
tree-automata	2
vaguness	2
vpn	2
ai	1
algorithm	1
combinatorics	1
comprehension	1
concurrency	1
continuation	1
cut-elimination	1
dependent-type	1
dialgebra	1
exact-real-arithmetic	1
fdr	1
haskell	1
history-of-logic	1
hoare-logic	1
incompletenss-theorem	1
information-theory	1
introduction-to-logic	1
intuitionism	1
lcm	1
message-passing	1
ml	1
mpi	1
muchnik-degree	1
natural-language	1
normalization	1
observational-equivalence	1
ontology	1
oop	1
optimization	1
overloading	1
parsing	1
philosophy-of-mathematics	1
philosophy-of-mind	1
poincare-conjecture	1
polymorphism	1
power-law	1
program-analysis	1
programming-language	1
program-semantics	1
proof-theory	1
quantum-mechanics	1
randomness	1
recommendation	1
reversible-computing	1
ruby	1
semantics	1
situation-theory	1
software-engineering	1
term-rewriting	1
theorem-for-free	1
thermodynamics-of-computation	1
timed-automata	1
type-inference	1
weak	1
x509	1

yoriyuki's copy [52 articles] Export

yoriyuki's tags