registrieren | anmelden | FAQ      [?] 

johannsens Beobachtungsliste [1001 articles]

Neueste Treffer johannsens Beobachtungskriterien
  • The logic of appropriability: From Schumpeter to Arrow to Teece
    Research Policy, Vol. 35, No. 8. (October 2006), pp. 1100-1106.
    by S Winter
    posted to teece schumpeter logic arrow appropriability by derchao on 2008-11-18 04:35:50 as ***
  • A Specification and Verification Method for Preventing Denial of Service
    IEEE Transactions on Software Engineering, Vol. 16, No. 6. (1990), pp. 581-592.
    by Che-Fn Yu, Vergil D Gligor
    posted to verification temporal systems specification security resource-allocation logic denial-of-service availability 1990 by michaelbanks on 2008-11-17 12:57:29 as **
  • Model checking for $π$-calculus using proof search
    (2005), pp. 36-50.
    by Alwen Tiu
    posted to picalculus modelchecking concurrency by keigoi on 2008-11-17 06:17:01 as **
  • Ynot: dependent types for imperative programs
    (2008), pp. 229-240.
    by Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal
    posted to type-theory logic functional-programming dependent-types coq by jimburton on 2008-11-15 15:16:10 as ** along with 1 person byorgey
  • Compactly accessible categories and quantum key distribution
    (13 Nov 2008)
    by Chris Heunen
    posted to quantum mathematics logic languages category-theory by jrw on 2008-11-15 02:30:58 as ***
  • Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science)
    (16 January 1980)
    by M Gordon, R Milner, CP Wadsworth
    posted to type-theory logic functional-programming by jimburton on 2008-11-14 15:14:09 as ***
  • Visualization of Proofs in Defeasible Logic
    Vol. 5321 (2008), pp. 197-210.
    by Ioannis Avguleas, Katerina Gkirtzou, Sofia Triantafilou, Antonis Bikakis, Grigoris Antoniou, Efstratios Kontopoulos, Nick Bassiliades
    edited by Nick Bassiliades, Guido Governatori, Adrian Paschke, Nick Bassiliades, Guido Governatori, Adrian Paschke
    posted to rules proofs non-monotonic logic explanation defeasible by fraktalek on 2008-11-14 13:08:56 as ***
  • Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
    (25 March 1988)
    by J Lambek, PJ Scott
    posted to type-theory theoretical-computer-science mathematics logic category-theory by DavidChemouil on 2008-11-14 08:21:01 as read along with 1 person Constructivity
  • Categories for Software Engineering
    (16 May 2004)
    by José L Fiadeiro, Jost L Fiadeiro
    posted to theoretical-computer-science logic formal-methods computer-science category-theory architecture algebraic-specification adl by DavidChemouil on 2008-11-14 08:20:06 as read along with 3 people and 1 group mahler bonotake mstone Rightscom
  • Coalgebraic Automata Theory: Basic Results
    (12 Nov 2008)
    by C Kupke, Y Venema
    posted to logic formalmethods algebra by jleny on 2008-11-14 00:37:50 as **
  • Sheaves in Geometry and Logic : A First Introduction to Topos Theory (Universitext)
    (27 October 1994)
    by Saunders Maclane, Ieke Moerdijk
    posted to theoretical-computer-science mathematics logic category-theory by DavidChemouil on 2008-11-13 14:51:19 as ** along with 3 people and 1 group mahler hhalvors mmarcus Rightscom
  • Categorical Logic and Type Theory
    (01 December 1998)
    by B Jacobs
    posted to type-theory theoretical-computer-science proof-theory mathematics logic lambda-calculus inductive-types computer-science category-theory by DavidChemouil on 2008-11-13 14:50:49 as ** along with 3 people and 1 group mahler msakai bonotake Rightscom
  • The calculus of constructions
    Information and Computation, Vol. 76, No. 2-3. ( 1988), pp. 95-120.
    by Thierry Coquand, Gerard Huet
    posted to type-theory logic by jimburton on 2008-11-12 14:42:27 as ** along with 2 people darinm rhgg2
  • 7. The Logic of Principia Mathematica
    Russell, Idealism, and the Emergence of Analytic Philosophy, pp. 285-328.
    by Hylton, Peter
    posted to type-theory logic by jimburton on 2008-11-12 13:58:14 as ****
  • Generating BDDs for symbolic model checking in CCS
    Distrib. Comput., Vol. 6, No. 3. (1993), pp. 155-164.
    by Reinhard Enders, Thomas Filkorn, Dirk Taubner
    posted to model-checking concurrency ccs by tautologico on 2008-11-12 04:07:13 as **
  • Quantifiers for quantum logic
    (10 Nov 2008)
    by Chris Heunen
    posted to quantum mathematics logic category-theory algebra by jrw on 2008-11-11 16:36:18 as ***
  • Coq in a Hurry
    (7 Nov 2008)
    by Yves Bertot
    posted to verification modelchecking logic formalmethods by jleny on 2008-11-10 13:57:32 as **
  • Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés
    (15 January 2004)
    by Karim Nour, René David, Christophe Raffalli
    posted to proof-theory logic by DavidChemouil on 2008-11-07 14:30:58 as read
  • Logique mathématique, tome 1 : Calcul propositionnel - Cours et exercices
    (15 January 2003)
    by René Cori, Daniel Lascar
    posted to model-theory logic by DavidChemouil on 2008-11-07 14:30:38 as read
  • Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles
    (15 January 2003)
    by René Cori, Daniel Lascar
    posted to model-theory logic by DavidChemouil on 2008-11-07 14:29:44 as read
  • Le point aveugle : Cours de logique Tome 2, Vers l'imperfection
    (17 March 2007)
    by Jean-Yves Girard
    posted to proof-theory logic by DavidChemouil on 2008-11-07 14:29:28 as ***
  • Le Point Aveugle: Tome 1. Cours de Logique, Vers la perfection.
    (01 July 2006)
    by Jean-Yves Girard
    posted to proof-theory logic by DavidChemouil on 2008-11-07 14:29:07 as ***
  • Les Métamorphoses du calcul : Une étonnante histoire des mathématiques
    (30 March 2007)
    by Gilles Dowek
    posted to theoretical-computer-science popular-science mathematics logic by DavidChemouil on 2008-11-07 14:24:32 as read
  • Logique, réduction, résolution
    (01 July 1990)
    by René Lalement
    posted to type-theory theoretical-computer-science logic lambda-calculus computer-science category-theory algebraic-specification by DavidChemouil on 2008-11-07 14:22:51 as read
  • Handbook of logic in computer science: Volume 5: Logic and algebraic methods
    Vol. 5 (2000)
    edited by S Abramsky, Dov M Gabbay, TSE Maibaum
    posted to type-theory logic by jimburton on 2008-11-07 12:26:28 as read
  • Compositional reasoning in model checking
    (1998), pp. 81-102.
    by Sergey Berezin, Sergio Campos, Edmund M Clarke
    posted to model-checking assume-gurantee-reasoning agdaspin by yoriyuki on 2008-11-07 03:34:50 as **
  • Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics
    (1999), pp. 125-136.
    by Luca Aceto, Fran\ccois Laroussinie
    posted to timed-automata model-checking lecture-vts by pedagand on 2008-11-04 11:24:57 as **
  • Pictures of sounds: Wittgenstein on gramophone records and the logic of depiction
    Studies In History and Philosophy of Science Part A, Vol. 36, No. 2. (June 2005), pp. 351-362.
    by S Sterrett
    posted to wittgenstein philosophy model logic by qwermish on 2008-11-01 11:06:40 as **
  • Weak Second-Order Arithmetic and Finite Automata
    Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 6, No. 1-6. (1960), pp. 66-92.
    by Richard J Büchi
    posted to logic automata by Jochgem on 2008-10-31 02:51:58 as read
  • Generalized finite automata theory with an application to a decision problem of second-order logic
    Theory of Computing Systems, Vol. 2, No. 1. (1 March 1968), pp. 57-81.
    by JW Thatcher, JB Wright
    posted to logic automata by Jochgem on 2008-10-31 02:47:51 as **
  • Infinitary languages of Petri nets and logical sentences
    Advances in Petri Nets 1987 (1987), pp. 224-237.
    by Elisabeth Pelz
    posted to petri-net omega logic by Jochgem on 2008-10-31 02:06:44 as read
  • Teaching a formal method in a software engineering course
    (2004), pp. 39-52.
    by Chia C Chiang
    posted to model-checking by zhensong on 2008-10-29 14:50:51 as **
  • Using Description Logic to Maintain Consistency between UML Models
    “UML” 2003 - The Unified Modeling Language (2003), pp. 326-340.
    by Ragnhild V Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers
    posted to uml models logic description consistency by RWeiss on 2008-10-29 03:50:49 as **
  • Proof rules for automated compositional verification through learning
    (2003), pp. 14-21.
    by Howard Barringer
    posted to model-checking copy assume-gurantee-reasoning agdaspin by yoriyuki on 2008-10-27 08:27:47 as **
  • v-Promela: a visual, object-oriented language for SPIN
    Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on (1999), pp. 14-23.
    by S Leue, G Holzmann
    posted to model-checkingspin model-checking by yoriyuki on 2008-10-27 08:01:30 as **
  • Logical fallacies as informational shortcuts
    Synthese
    by Luciano Floridi
    posted to logic by jyuh on 2008-10-26 15:41:03 as ** along with 2 people samulipo djsaab
  • The SAVE approach to component-based development of vehicular systems
    Journal of Systems and Software, Vol. 80, No. 5. (May 2007), pp. 655-667.
    by M Akerholm, J Carlson, J Fredriksson, H Hansson, J Hakansson, A Moller, P Pettersson, M Tivoli
    posted to timed modelchecking by shimomura on 2008-10-25 10:41:18 as **
  • Writing New Media: Theory and Applications for Expanding the Teaching of Composition
    by Anne F Wysocki, Geoffrey M Sirc, Cynthia L Selfe
    posted to writing visual rhetoric print newmedia logic literacy invention fluxus essay database copyright computers composition box blogs assessment articulation art arrangement argument aesthetics by dmueller on 2008-10-25 03:06:46 as read along with 2 people craniac billwolff
  • Topological Completeness for Higher-Order Logic
    (24 Jul 1997)
    by Steve Awodey, Carsten Butz
    posted to topos-theory mathematics logic geometry category-theory by jrw on 2008-10-25 01:44:56 as ***
  • Counterexample-guided abstraction refinement for symbolic model checking
    J. ACM, Vol. 50, No. 5. (September 2003), pp. 752-794.
    by Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
    posted to model-checking cav by zhensong on 2008-10-23 21:27:28 as ** along with 2 people and 1 group pganty dabhishe groupverif
  • Philosophy of science: Theories of almost everything
    Nature, Vol. 455, No. 7215. (15 October 2008), pp. 884-885.
    by PM Binder
    posted to philosophy logic by sen_cheng on 2008-10-22 16:43:42 as read
  • Better Stories and Better Constructs: The Case for Rigor and Comparative Logic
    The Academy of Management Review, Vol. 16, No. 3. (1991), pp. 620-627.
    by Kathleen M Eisenhardt
    posted to stories rigor logic construct comparative by derchao on 2008-10-22 04:43:09 as ***
  • Logic for Equivocators
    Noûs, Vol. 16, No. 3. (1982), pp. 431-441.
    by David Lewis
    posted to logic david_lewis by shoshin on 2008-10-19 23:26:26 as ** along with 1 person davsans
  • Separation logic: A logic for shared mutable data structures
    (2002), pp. 55-74.
    by John C Reynolds
    posted to separation-logic operational-semantics logic formal-system by fvogels on 2008-10-17 23:19:52 as **
  • A tutorial on co-induction and functional programming
    (1994), pp. 78-95.
    by Andrew D Gordon
    posted to tutorial logic by fvogels on 2008-10-17 20:10:43 as read
  • A tutorial on (co)algebras and (co)induction
    EATCS Bulletin, Vol. 62 (1997), pp. 62-222.
    by Bart Jacobs, Jan Rutten
    posted to tutorial logic by fvogels on 2008-10-17 20:09:15 as **** along with 2 people draganigajic pedagand
  • Do Logical Truths Carry Information?
    Minds and Machines, Vol. 13, No. 4. (1 November 2003), pp. 567-575.
    by Manuel E Bremer
    posted to truth syntactic philosophy ontological logic information floridi by djsaab on 2008-10-17 14:03:58 as **
  • Logic and the Dynamics of Information
    Minds and Machines, Vol. 13, No. 4. (1 November 2003), pp. 503-519.
    by Johan van Benthem
    posted to philosophy logic information floridi computation by djsaab on 2008-10-17 13:54:42 as **
  • Sheaves and geometric logic and applications to the modular verification of complex systems
    (16 Oct 2008)
    by Viorica Sofronie-Stokkermans
    posted to verification modelchecking logic by jleny on 2008-10-17 13:52:21 as ***
  • Notions of Lawvere theory
    (15 Oct 2008)
    by Stephen Lack, Jiri Rosicky
    posted to mathematics logic category-theory by jrw on 2008-10-17 07:16:04 as ** along with 1 person christiankissig
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/johannsen/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.