Register | Log in | FAQ      [?] 

msakai's watchlist [619 articles]

Recent papers matching msakai's watchlist criteria
  • Flap jax: Functional Reactive Web Programming
    (2006)
    by Leo Meyerovich
    posted to haskell 2006 by shimomura on 2008-08-20 16:21:40 as **
  • Directing JavaScript with Arrows
    (2008)
    by Khoo Y Phang, Michael Hicks, Jeffrey S Foster, Vibha Sazawal
    posted to javascript arrow 2008 by shimomura on 2008-08-20 16:18:48 as read
  • Do we Need Dependent Types?
    (2001)
    by Daniel Fridlender, Mia Indrika
    posted to dependenttype 2001 by shimomura on 2008-08-20 16:14:52 as read
  • Introducing categories to the practicing physicist
    by Bob Coecke
    posted to quantum-computing category by yoriyuki on 2008-08-14 03:40:23 as **
  • Timed Automata
    (1999)
    by Rajeev Alur
    posted to verification timed modelchecking automata 1999 by shimomura on 2008-08-10 15:11:48 as **
  • Comparing the Complexity of Cut-Elimination Methods
    Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings (2001), 49.
    by Matthias Baaz, Alexander Leitsch
    posted to cut-elimination complexity by yoriyuki on 2008-08-08 18:49:03 as ** along with 1 person rzach
  • The theory of timed automata
    Real-Time: Theory in Practice (1992), pp. 45-73.
    by Rajeev Alur, David Dill
    posted to timed read modelchecking automata 1992 by shimomura on 2008-08-08 03:47:18 as read
  • The design of a pretty-printing library
    Advanced Functional Programming (1995), pp. 53-96.
    by John Hughes
    posted to haskell copy agda by yoriyuki on 2008-08-04 02:58:46 as **
  • リファクタリング―プログラムの体質改善テクニック (Object Technology Series)
    by マーチン ファウラー, Martin Fowler, 児玉 公信, 平澤, 友野 晶夫, 梅沢 真史
    posted to software refactoring engineer 2000 by shimomura on 2008-08-03 08:43:02 as **
  • An incremental formal semantics for promela
    (1997)
    by C Weise
    posted to spin print model-checking copy by yoriyuki on 2008-07-30 03:18:08 as **
  • Principles of Model Checking - The MIT Press
    by Christel Baier, Joost P Katoen
    posted to spin model-checking library by yoriyuki on 2008-07-30 03:04:30 as **
  • Introduction to Model Checking
    by Rene Thiemann
    posted to spin model-checking by yoriyuki on 2008-07-30 03:02:51 as **
  • Asymptotic Improvement of Computations over Free Monads
    Mathematics of Program Construction, Vol. 5133 (July 2008), pp. 388-403.
    by Janis Voigtländer
    edited by Christine Paulin-Mohring, Philippe Audebaud
  • The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
    (20 June 2006)
    by Dilsun K Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager
    posted to timed automata 2006 by shimomura on 2008-07-25 08:35:36 as **
  • Principia mathematica
    by Alfred N Whitehead, Bertrand Russell
    posted to history-of-logic by yoriyuki on 2008-07-19 20:22:38 as **
  • Naming proofs in classical propositional logic
    (2005)
    posted to proof-theoretical-semantics copy classical-logic by yoriyuki on 2008-07-18 08:52:19 as **
  • Proof theoretical coherence
    by Kosta Dosen, Zoran Petric
    posted to proof-theoretical-semantics copy by yoriyuki on 2008-07-18 08:51:41 as **
  • Identity of Proofs Based on Normalization and Generality
    The Bulletin of Symbolic Logic, Vol. 9, No. 4. (2003), pp. 477-503.
    by Kosta Dosen
  • The Differential Lambda-Calculus
    by Thomas Ehrhard, Laurent Regnier
    posted to lambda-calculus copy by yoriyuki on 2008-07-17 02:49:02 as **
  • Branching bisimilarity is an equivalence indeed!
    Information Processing Letters, Vol. 58, No. 3. (13 May 1996), pp. 141-147.
    by Twan Basten
    posted to concurrency by keigoi on 2008-07-15 08:06:18 as **
  • SyMP: Symbolic Model Prover
    posted to model-checking by yoriyuki on 2008-07-15 06:17:48 as **
  • Race checking by context inference
    Vol. 39, No. 6. (May 2004), pp. 1-13.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to verification modelchecking concurrent 2004 by shimomura on 2008-07-14 11:05:12 as ***** along with 1 person bec
  • A theory of type polymorphism in programming
    Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375.
    by Robin Milner
    posted to type 1978 by shimomura on 2008-07-14 01:44:51 as ** along with 3 people tautologico lyongu calvins
  • Bounded Model Checking
    ADVANCES IN COMPUTERS, Vol. 58 (2003), pp. 118-149.
    posted to modelchecking 2003 by shimomura on 2008-07-14 01:28:36 as ** along with 1 person voronov
  • Three implementation models for scheme
    (1987)
    by RK Dybvig
    posted to scheme implementation 1987 by shimomura on 2008-07-14 00:44:31 as **
  • Sequentiality and the π-Calculus
    Typed Lambda Calculi and Applications (2001), pp. 29-45.
    by Martin Berger, Kohei Honda, Nobuko Yoshida
    posted to picalculus by keigoi on 2008-07-11 10:38:18 as **
  • Strong normalization of a symmetric lambda calculus for second-order classical logic
    Archive for Mathematical Logic, Vol. 41, No. 1. (18 January 2002), pp. 91-99.
    by Yoriyuki Yamagata
    posted to mypaper by yoriyuki on 2008-07-11 03:53:45 as **
  • Review: [Predicative Arithmetic]
    The Journal of Symbolic Logic, Vol. 53, No. 3. (1988), pp. 987-989.
    by Pavel Pudlák
    posted to predicative-arithmetic by yoriyuki on 2008-07-09 10:11:54 as **
  • Predicative Arithmetic
    by Edward Nelson
    posted to predicative-arithmetic copy by yoriyuki on 2008-07-09 09:39:20 as **
  • Internal Set Theory: A New Approach to Nonstandard Analysis
    Bulletin of the American methematical society, Vol. 83, No. 6. (1977)
    by Edward Nelson
    posted to set-theory nonstandard-analysis print by yoriyuki on 2008-07-09 09:33:11 as **
  • Comprehending monads
    (1990), pp. 61-78.
    by Philip Wadler
    posted to monad functionalprogramming by keigoi on 2008-07-08 18:51:54 as ** along with 1 person spl
  • SOS formats and meta-theory: 20 years after
    Theor. Comput. Sci., Vol. 373, No. 3. (April 2007), pp. 238-272.
    by Mohammadreza Mousavi, Michel A Reniers, Jan F Groote
    posted to operationalsemantics by keigoi on 2008-07-07 11:12:51 as ** along with 1 person leonardo
  • Programming with Dependent Types in Coq: A Study of Square Matrices
    by Nicolas Magaud
    posted to dependenttype coq by shimomura on 2008-07-07 09:45:04 as **
  • Functional Interpretation of feasibly constructive arithmetic
    by SA Cook, A Urquhart
    posted to implicit-complexity print copy complexity by yoriyuki on 2008-07-07 09:41:48 as **
  • Region analysis and a π-calculus with groups
    J. Funct. Program., Vol. 12, No. 3. (May 2002), pp. 229-292.
    by Silvano D Zilio, Andrew D Gordon
    posted to region picalculus by keigoi on 2008-07-05 10:01:16 as **
  • Towards formally verifiable resource bounds for real-time embedded systems
    SIGBED Rev., Vol. 3, No. 4. (October 2006), pp. 27-36.
    by Kevin Hammond, Christian Ferdinand, Reinhold Heckmann
    posted to resourcebounds embedded by keigoi on 2008-07-05 10:00:48 as **
  • Automatic detection of immutable fields in Java
    (2000)
    by Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson
    posted to java immutable by keigoi on 2008-07-05 07:42:56 as **
  • Domain partitioning for open reactive systems
    (2002), pp. 44-54.
    by Scott D Stoller
    posted to modelchecking by keigoi on 2008-07-05 07:30:46 as **
  • Compositional pointer and escape analysis for Java programs
    (1999), pp. 187-206.
    by John Whaley, Martin Rinard
    posted to java escapeanalysis by keigoi on 2008-07-05 05:35:27 as ** along with 1 person bunge
  • Types as models: model checking message-passing programs
    SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 45-57.
    by Sagar Chaki, Sriram K Rajamani, Jakob Rehof
    posted to type-theory model-checking message-passing copy by yoriyuki on 2008-07-01 03:50:08 as **
  • ACTAS : A System Design for Associative and Commutative Tree Automata Theory
    Electronic Notes in Theoretical Computer Science, Vol. 124, No. 1. (2 March 2005), pp. 97-111.
    by Hitoshi Ohsaki, Toshinori Takai
    posted to tree-automata automata by yoriyuki on 2008-07-01 03:47:12 as **
  • Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
    (1996), pp. 147-166.
    by Gavin Lowe
    posted to model-checking security protocol network fdr copy by yoriyuki on 2008-07-01 03:44:10 as **
  • ONLamp.com -- VPNs and Public Key Infrastructure
    posted to vpn security pki network copy by yoriyuki on 2008-07-01 03:40:55 as **
  • Deploying a VPN with PKI
    posted to vpn security pki network copy by yoriyuki on 2008-07-01 03:38:33 as **
  • Protocol verification as a hardware design aid
    Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on (1992), pp. 522-525.
    by DL Dill, AJ Drexler, AJ Hu, CH Yang
    posted to model-checking formal-method protocol copy by yoriyuki on 2008-07-01 03:29:31 as **
  • Automated analysis of cryptographic protocols using Mur/spl phi/
    (1997)
    by JC Mitchell, M Mitchell, U Stern
    posted to model-checking security network cryptography copy by yoriyuki on 2008-07-01 03:27:15 as **
  • Finite-State Analysis of SSL 3.0
    by John C Mitchell, Shmatikov Vitaly, Ulrich Stern
    posted to model-checking formal-method security network copy by yoriyuki on 2008-07-01 03:23:13 as **
  • Verifying the SET registration protocols
    Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 77-87.
    by G Bella, F Massacci, LC Paulson
    posted to theorem-proving security network formal-method copy by yoriyuki on 2008-07-01 03:20:41 as **
  • Games and Modal Mu-Calculus
    (1996), pp. 298-312.
    by Colin Stirling
    posted to game-semantics modal-mu by yoriyuki on 2008-07-01 03:12:16 as **
  • Alternating Tree Automata and Parity Games
    Automata Logics, and Infinite Games (2002), pp. 405-411.
    by Daniel Kirsten
    posted to game-semantics copy automata by yoriyuki on 2008-07-01 03:09:51 as **
  • Note: You may cite this page as: http://www.citeulike.org/user/msakai/watchlist

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.