Регистрация | Вход в службу | FAQ      [?] 

johannsen Список просмотра [1000+ articles]

Недавние статьи, johannsen которые соответствуют критериям списка просмотра
  • Automatic discovery of API-level exploits
    (2005), pp. 312-321.
    by Vinod Ganapathy, Sanjit A Seshia, Somesh Jha, Thomas W Reps, Randal E Bryant
    posted to synthesis static model-checking by newdawn on 2008-07-25 09:11:34 as *** along with 1 person and 1 group rdyer Laboratory for Software Design
  • Synthesis of interface specifications for Java classes
    Vol. 40, No. 1. (January 2005), pp. 98-109.
    by Rajeev Alur, Pavol Cerny;, P Madhusudan, Wonhong Nam
    posted to synthesis static model-checking by newdawn on 2008-07-25 08:22:51 as read along with 1 person robennals
  • Bio-logic: gene expression and the laws of combinatorial logic.
    Artificial life, Vol. 14, No. 1. (2008), pp. 121-133.
    by MJ Schilstra, CL Nehaniv
    posted to logic grn gene-regulation gene-networks alife by mjoach on 2008-07-24 16:59:15 as **
  • Conformant Planning via Model Checking
    Recent Advances in AI Planning (2000), pp. 21-34.
    by Alessandro Cimatti, Marco Roveri
    posted to project-planning planning model-checking da by cyph3r on 2008-07-24 09:58:00 as **
  • Encoding Plans in Propositional Logic
    (1996), pp. 374-384.
    by Henry A Kautz, David Mcallester, Bart Selman
    posted to sat project-planning planning logic da ai by cyph3r on 2008-07-23 20:10:56 as ** along with 1 person stavros
  • Thermal Logic Gates: Computation with phonons
    (1 Sep 2007)
    by Lei Wang, Baowen Li
    posted to thermal physics phonon logic computing by pak on 2008-07-23 11:33:22 as *
  • Multi-valued symbolic model-checking
    ACM Trans. Softw. Eng. Methodol., Vol. 12, No. 4. (October 2003), pp. 371-408.
    by Marsha Chechik, Benet Devereux, Steve Easterbrook, Arie Gurfinkel
    posted to uncertainty model_checking logic by bfraser on 2008-07-22 21:18:56 as **
  • Compositional Reasoning in Model Checking
    Lecture Notes in Computer Science, Vol. 1536 (1998), pp. 81-102.
    by Sergey Berezin, Sérgio Campos, Edmund M Clarke
    posted to theorem-proving model-checking copy by yoriyuki on 2008-07-17 04:01:21 as ** along with 1 person msakai
  • Design and synthesis of synchronization skeletons using branching time temporal logic
    Logics of Programs (1982), pp. 52-71.
    by Edmund Clarke, E Emerson
    posted to temporal logic by Maderlock on 2008-07-15 15:21:00 as ** along with 2 people hwang mccrimson
  • 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
  • Translating dependent type theory into higher order logic
    Typed Lambda Calculi and Applications (1993), pp. 209-229.
    by Bart Jacobs, Tom Melham
    posted to logic dependenttype 1993 by shimomura on 2008-07-14 01:00:34 as ** along with 1 person msakai
  • Mining logic gates in prokaryotic transcriptional regulation networks
    FEBS Letters, Vol. 582, No. 8. (9 April 2008), pp. 1237-1244.
    by Rafael Silva-Rocha, Víctor de Lorenzo
    posted to transcription synthetic-biology regulation logic for-the-review biodegradation by gcarbajosa to the group TNT on 2008-07-11 16:28:34 as ***
  • Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
    Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (June 2008), pp. 175-194.
    by Alexander Kurz, Daniela Petri\csan
    posted to varieties logic functorial coalgebras coalgebraicity coalgebraic categorical-logic by Scis0000002 on 2008-07-09 10:30:00 as **
  • Generalized Symbolic Execution for Model Checking and Testing
    Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings (2003), pp. 553-568.
    by Sarfraz Khurshid, Corina S Pasareanu
    posted to testing symbolicexecution softwareengineering modelchecking by nigno on 2008-07-08 14:56:41 as ** along with 2 people and 2 groups bfraser sjgaller Context-driven-testers Desgin-by-Contract
  • Formal Methods in the Philosophy of Science
    Studia Logica
    by Leon Horsten, Igor Douven
    posted to philosophy_of_science logic horsten douven by cirdan on 2008-07-07 03:09:38 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 **
  • Is there a use for linear logic?
    SIGPLAN Not., Vol. 26, No. 9. (September 1991), pp. 255-273.
    by Philip Wadler
    posted to logic by mcclurmc on 2008-07-03 18:54:08 as **
  • AN INTUITIONISTIC CHARACTERIZATION OF CLASSICAL LOGIC
    Journal of Philosophical Logic, Vol. 37, No. 4. (2008), pp. 299-317.
    by Ming Hsiung
    posted to semantics logic kripke by jago on 2008-07-01 09:54:13 as **
  • 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 **
  • 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 **
  • 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 **
  • Model Checking Continuous-Time Markov Chains by Transient Analysis
    Computer Aided Verification (2000), pp. 358-372.
    by Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
    posted to temporal logic approximate-methods analytical-methods by Maderlock on 2008-06-30 13:24:38 as ***
  • Uncertain Inference
    (06 August 2001)
    by Henry E Kyburg, Choh M Teng
    posted to uncertainty logic books bayesian basi bacr 2001 by quianominorleo on 2008-06-28 10:25:51 as **
  • SPINモデル検査―検証モデリング技法
    by 中島
    posted to model-checking by yoriyuki on 2008-06-27 22:28:47 as **
  • notes Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
    (1996), pp. 1194-1201.
    by Henry Kautz, Bart Selman
    edited by Howard Shrobe, Ted Senator
    posted to stochastic search project-planning planning logic da ai by cyph3r on 2008-06-27 15:30:25 as ** along with 1 person voronov
  • Choice and Chance : An Introduction to Inductive Logic
    (04 November 1999)
    by Brian Skyrms
    posted to no-basi logic books bacr 1999 by quianominorleo on 2008-06-27 13:38:33 as ** along with 1 person amorgan
  • An Introduction to Probability and Inductive Logic
    (02 July 2001)
    by Ian Hacking
    posted to logic books bayesian basi bacr 2001 by quianominorleo on 2008-06-27 13:37:55 as ** along with 1 person brian
  • Formal Logic: Its Scope And Limits
    (30 March 2006)
    by Richard Jeffrey
    posted to logic 2006 by quianominorleo on 2008-06-27 13:30:25 as **
  • Computability and Logic
    (17 September 2007)
    by George S Boolos, John P Burgess, Richard C Jeffrey
    posted to no-bacr logic books basi 2007 by quianominorleo on 2008-06-27 13:17:46 as **
  • Modularity in logic programming
    (1994), pp. 15-17.
    by Evelina Lamma, Paola Mello
    posted to survey programming modularity logic by KarlKlose on 2008-06-26 09:46:34 as read
  • Objectivity, Value Spheres, and "Inherent Laws": On some Suggestive Isomorphisms between Weber, Bourdieu, and Luhmann
    Philosophy of the Social Sciences, Vol. 38, No. 1. (1 March 2008), pp. 97-120.
    by Hans H Bruun
    posted to weber value theory systems spheres social pierre objectivity niklas max luhmann logic inherent field differentiation bourdieu by wynsculley on 2008-06-25 15:14:44 as ***** along with 1 person mkhanam
  • Logic and the complexity of reasoning
    Journal of Philosophical Logic, Vol. 17, No. 4. (1 November 1988), pp. 355-389.
    by Hector J Levesque
    posted to reasoning logic computational complexity by JakubSzymanik on 2008-06-25 13:27:07 as read
  • Reflection in logic, functional and object-oriented programming: a Short Comparative Study
    by François N Demers, Jacques Malenfant
    posted to programming logic by fritzobermeyer on 2008-06-24 20:29:37 as ** along with 1 person captaintrips
  • Modal logics for mobile processes
    Theoretical Computer Science, Vol. 114, No. 1. (14 June 1993), pp. 149-171.
    by Robin Milner, Joachim Parrow, David Walker
    posted to process_algebra pi-calculus modal logic by bfraser on 2008-06-24 17:38:54 as ** along with 1 person keigoi
  • Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
    Archive for Mathematical Logic, Vol. 46, No. 3. (23 April 2007), pp. 281-287.
    by Shunsuke Yatabe
    posted to logic arithmetic by msakai on 2008-06-21 06:49:15 as ** along with 1 person yoriyuki
  • On the Axiomatisation of Boolean Categories with and without Medial
    (5 Oct 2007)
    by Lutz Strassburger
    posted to mathematics logic computation category-theory by jrw on 2008-06-19 01:56:58 as **
  • A comparison of two modelling paradigms in the Semantic Web
    Web Semantics: Science, Services and Agents on the World Wide Web, Vol. 5, No. 4. (December 2007), pp. 240-250.
    by Peter F Patel-Schneider, Ian Horrocks
    posted to semantic-web logic descriptive-logics by dansullivanblk on 2008-06-18 20:42:27 as **
  • Programming expert systems in OPS5: an introduction to rule-based programming
    (1985)
    by Lee Brownston, Robert Farrell, Elaine Kant, Nancy Martin
    posted to logic database by wspeng on 2008-06-18 04:39:04 as **
  • Timed Automata: Semantics, Algorithms and Tools
    Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
    by Johan Bengtsson, Wang Yi
    posted to timedautomata modelchecking by keigoi on 2008-06-17 03:26:04 as ** along with 2 people yoriyuki msakai
  • Model Checking Timed Automata with Priorities Using DBM Subtraction
    Formal Modeling and Analysis of Timed Systems (2006), pp. 128-142.
    by Alexandre David, John Håkansson, Kim Larsen, Paul Pettersson
    posted to timedautomata modelchecking by keigoi on 2008-06-17 03:21:49 as ** along with 1 person msakai
  • Automatic predicate abstraction of C programs
    (2001), pp. 203-213.
    by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
    posted to modelchecking by keigoi on 2008-06-16 09:33:20 as ** along with 2 people msakai bfraser
  • The three dimensions of proofs
    (4 Dec 2006)
    by Yves Guiraud
    posted to mathematics logic category-theory by jrw on 2008-06-15 07:25:44 as ***
  • On value and value co-creation: A service systems and service logic perspective
    European Management Journal, Vol. 26, No. 3. (June 2008), pp. 145-152.
    by Stephen L Vargo, Paul P Maglio, Melissa A Akaka
    posted to value system service logic co-creation by derchao on 2008-06-12 17:59:09 as ***
  • Extensive Games as Process Models
    Journal of Logic, Language and Information, Vol. 11, No. 3. (1 June 2002), pp. 289-313.
    by Johan van Benthem
    posted to logic games game extensive bisimulation by JakubSzymanik on 2008-06-11 17:19:08 as read
  • Logic Games are Complete for Game Logics
    Studia Logica, Vol. 75, No. 2. (1 November 2003), pp. 183-203.
    by Johan van Benthem
    posted to logic game dynamic by JakubSzymanik on 2008-06-11 17:17:42 as read
  • Smart Inductive Generalizations are Abductions
    by J Josephson
    posted to logic 1998 by quianominorleo on 2008-06-11 16:35:25 as ** along with 1 person sdvillal
  • Setuid demystified
    (2002)
    by H Chen, D Wagner, D Dean
    posted to modelchecking 2002 by shimomura on 2008-06-11 09:20:38 as ** along with 2 people heiko_reese msakai
  • MOPS: an Infrastructure for Examining Security Properties of Software
    (2002)
    by Hao Chen, David A Wagner
    posted to technicalreport modelchecking 2002 by shimomura on 2008-06-11 09:20:08 as **
  • Language, Proof and Logic
    (01 April 2002)
    by Jon Barwise, John Etchemendy
    posted to truth proof logic lib-musil language concepts basic by incognito on 2008-06-10 08:45:41 as ** along with 1 person dullhunk
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/johannsen/watchlist

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX RSS
    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.