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

Group: GraphTheory - library [1311 articles]

Недавние статьи, отправленные по почте членами GraphTheory группы
  • Generatingfunctionology
    by Herbert S Wilf
    posted to math-bib generating-functions by jff to the group GraphTheory on 2007-06-25 12:27:48 as ** along with 6 people and 4 groups jkominek ansobol yaroslavvb rubendrr s-adachi ransombriggs cytoskeleton-and-afm Crypto Foundations-of-Programming TMC
  • Functional Programming and Graph Algorithms
    (1996)
    by D King
    posted to parser graph by smazanek to the group GraphTheory on 2007-05-16 15:42:51 as ** along with 6 people and 1 group ansobol jrw tautologico ima gane5h deysandeep modeling
  • Diagram Editing with Hypergraph Parser Support
    (1997), pp. 230-237.
    by Mark Minas
    posted to parser diagram by smazanek to the group GraphTheory on 2007-05-15 09:48:49 as ** along with 1 group modeling
  • Model Comparison: A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development
    by Yuehua
    posted to model diff by smazanek to the group GraphTheory on 2007-05-11 06:21:02 as read along with 1 group modeling
  • Difference and Union of Models
    (2003)
    by M Alanen, I Porres
    posted to model diff by smazanek to the group GraphTheory on 2007-05-11 06:14:00 as *** along with 1 person and 1 group bbjwerner modeling
  • MetaDiff - a Model Comparison Framework
    by Mark
    posted to model diff by smazanek to the group GraphTheory on 2007-05-11 06:04:02 as read along with 1 group modeling
  • Specification of graph translators with triple graph grammars
    (1994)
    by A Urr
    posted to tgg by smazanek to the group GraphTheory on 2007-05-08 09:25:52 as ***** along with 2 people and 2 groups mahler wnpx Rightscom modeling
  • MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations
    Vol. 4066 (2006), pp. 361-375.
    by C Amelunxen, A Königs, T Rötschke, A Schürr
    edited by A Rensink, J Warmer
    posted to moflon modeling fujaba by smazanek to the group GraphTheory on 2007-05-07 13:02:51 as read along with 1 person and 1 group lmorel modeling
  • The Haskell Cabal: a common architecture for building applications and libraries
    6th Symposium on Trends in Functional Programming (2005), pp. 340-354.
    by Isaac Jones
    edited by Marko van Eekelen
    posted to jones haskell cabal by smazanek to the group GraphTheory on 2007-05-06 14:01:25 as ***** along with 1 group modeling
  • Visual haskell: a full-featured haskell development environment
    (2005), pp. 5-16.
    by Krasimir Angelov, Simon Marlow
    posted to visual haskell by smazanek to the group GraphTheory on 2007-04-30 17:31:04 as ***** along with 1 group modeling
  • Visual Haskell: A first attempt
    No. 94.5. (August 94)
    by John H Reekie
    posted to visual haskell by smazanek to the group GraphTheory on 2007-04-30 17:26:55 as ***** along with 1 group modeling
  • Generation of visual editors as eclipse plug-ins
    (2005), pp. 134-143.
    by Karsten Ehrig, Claudia Ermel, Stefan H&\#228;nsgen, Gabriele Taentzer
    posted to visual transformation syntax graph editors eclipse diagram by smazanek to the group GraphTheory on 2007-04-27 10:27:35 as *** along with 3 people and 1 group neilernst leonardo Scis0000002 modeling
  • On Picture-Writing
    The American Mathematical Monthly, Vol. 63, No. 10. (1956), pp. 689-697.
    by G Polya
    posted to math-bib by jff to the group GraphTheory on 2007-04-23 15:56:32 as *** along with 1 person and 3 groups ansobol Crypto Foundations-of-Programming TMC
  • A Metamodel for the Unified Modeling Language
    (September 2002), pp. 2-17.
    by Andrey Naumenko, Alain Wegmann
    posted to uml metamodel by smazanek to the group GraphTheory on 2007-04-14 09:23:37 as ** along with 1 person and 1 group scis0000001 modeling
  • Object-oriented Style Overloading for Haskell
    (August 2001)
    by Mark Shields, Simon Jones
    posted to typeclass overloading oop haskell by smazanek to the group GraphTheory on 2007-04-13 10:55:09 as read along with 1 group modeling
  • A Relation-Algebraic Approach to Graph Structure Transformation
    (2002), pp. 1-14.
    by Wolfram Kahl
    posted to transformation relation kahl habil graph algebra by smazanek to the group GraphTheory on 2007-04-13 09:40:00 as **** along with 1 group modeling
  • Inductive Graphs and Functional Graph Algorithms
    Journal of Functional Programming, Vol. 11, No. 5. (2001), pp. 467-492.
    by M Erwig
    posted to inductive haskell graph fgl erwig concept algorithm by smazanek to the group GraphTheory on 2007-04-13 08:13:11 as read along with 3 people and 1 group kinaba oryp6518 kozaki modeling
  • Graph Transformation in a Nutshell
    Electronic Notes in Theoretical Computer Science, Vol. 148, No. 1. (1 February 2006), pp. 187-198.
    by Reiko Heckel
    posted to transformation pacman introduction graph by smazanek to the group GraphTheory on 2007-04-13 08:07:43 as read along with 2 people and 1 group kayani leonardo modeling
  • Parsing of Adaptive Star Grammars
    Electronic Communications of the EASST, Vol. 4 (2006)
    by Mark Minas
    edited by Tiziana Margaria, Julia Padberg, Gabor Karsai, Gabriele Taentzer
    posted to transformation star parser graph grammar adaptive by smazanek to the group GraphTheory on 2007-04-12 19:05:49 as **** along with 1 group modeling
  • Adaptive Star Grammars.
    (2006), pp. 77-91.
    by Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
    posted to transformation star rule graph grammar clone adaptive by smazanek to the group GraphTheory on 2007-04-12 18:53:57 as **** along with 1 group modeling
  • Handbook of Grammars and Computing by Graph Transformation
    (15 January 1997)
    by Grzegorz Rozenberg
    posted to transformation rewriting replacement node hyperedge graph grammar by smazanek to the group GraphTheory on 2007-04-12 14:53:26 as ***** along with 4 people and 2 groups luiinge ansobol wnpx AbnerCYH modeling CSBBGraphTheory
  • Hypergraphs as a Uniform Diagram Representation Model
    (1998), pp. 281-295.
    by Mark Minas
    posted to uniform representation model hypergraph diagram diagen by smazanek to the group GraphTheory on 2007-04-12 14:43:20 as read along with 2 people and 1 group zzkt scis0000001 modeling
  • Elementary Number Theory
    (2007)
    by João Ferreira, Roland Backhouse
    posted to algorithms calculational jff-bib by jff to the group GraphTheory on 2007-03-05 10:08:26 as read along with 3 groups Crypto Foundations-of-Programming TMC
  • Recounting the Rationals
    The American Mathematical Monthly, Vol. 107, No. 4. (2000), pp. 360-363.
    by Neil Calkin, Herbert S Wilf
    posted to algorithms math-bib by jff to the group GraphTheory on 2007-02-26 11:46:42 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Enumerating the Rationals
    (2006)
    by Jeremy Gibbons, David Lester, Richard Bird
    posted to haskell general-bib algorithms by jff to the group GraphTheory on 2007-02-01 13:56:56 as ** along with 1 person and 3 groups dsquared Crypto Foundations-of-Programming TMC
  • The calculational method
    Inf. Process. Lett., Vol. 53, No. 3. (10 February 1995)
    edited by Roland Backhouse, D Gries, WM Turski, F Dehne
    posted to calculational calculational-bib by jff to the group GraphTheory on 2006-12-31 19:53:35 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Exercises in Quantifier Manipulation
    Mathematics of Program Construction (2006), pp. 69-81.
    by Roland Backhouse, Diethard Michaelis
    posted to rcb-bib by jff to the group GraphTheory on 2006-12-31 19:47:16 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Mathematics with a little bit of logic: Structured derivations in high-school mathematics
    by Ralph-Johan Back, Joakim von Wright
    posted to calculational calculational-bib by jff to the group GraphTheory on 2006-12-31 19:44:24 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • A Browsable Format for Proof Presentation
    (1996)
    by Jim Grundy
    posted to calculational calculational-bib by jff to the group GraphTheory on 2006-12-31 19:40:56 as ** along with 1 person and 3 groups Scis0000002 Crypto Foundations-of-Programming TMC
  • Doing High School Mathematics Carefully
    (1997)
    by Ralph-Johan Back, Joakim von Wright
    posted to calculational calculational-bib by jff to the group GraphTheory on 2006-12-31 19:38:55 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Algorithmic Problem Solving (Draft book)
    (2006)
    by Roland Backhouse
    posted to algorithms construction correctness rcb-bib by jff to the group GraphTheory on 2006-12-31 19:17:04 as read along with 3 groups Crypto Foundations-of-Programming TMC
  • An axiomatic basis for computer programming
    Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
    by CAR Hoare
    posted to algorithms correctness general-bib by jff to the group GraphTheory on 2006-12-26 12:34:22 as read along with 8 people and 4 groups bfraser _Anne_ rwtodd dsilva jbrown rgb calvins flavian_vasile Crypto pileWorks Foundations-of-Programming TMC
  • Why dependent types matter
    (2006), pp. 1-1.
    by James Mckinna
    posted to epigram by jff to the group GraphTheory on 2006-10-16 17:33:06 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Concrete Mathematics: A Foundation for Computer Science
    (1994)
    by Ronald L Graham, Donald E Knuth, Oren Patashnik
    posted to knuth-bib by jff to the group GraphTheory on 2006-10-04 13:25:37 as ** along with 1 person and 3 groups ansobol Crypto Foundations-of-Programming TMC
  • Camila Revival: VDM meets Haskell
    (July 2005)
    by Joost Visser, José N Oliveira, João F Ferreira, Alexandra S Mendes
    posted to afm-bib by jff to the group GraphTheory on 2006-09-26 12:00:29 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing
    (2006), pp. 301-304.
    by João F Ferreira, João L Sobral, Alberto J Proenca
    posted to jff-bib by jff to the group GraphTheory on 2006-09-26 12:00:15 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • ParC\#: Parallel Computing with C\# in .NET.
    (2005), pp. 239-248.
    by João F Ferreira, João L Sobral
    posted to jff-bib by jff to the group GraphTheory on 2006-09-26 12:00:15 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Camila Revival: VDM meets Haskell
    (July 2005)
    by Joost Visser, José N Oliveira, João F Ferreira, Alexandra S Mendes
    posted to jff-bib by jff to the group GraphTheory on 2006-09-26 12:00:15 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Coxeter's rabbit
    (April 2002)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • From van IJzeren's correspondence to my aunt & uncle
    (January 2002)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Philips and I: a few snapshots
    (December 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Indirect equality enriched (and a proof by Netty)
    (2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • The GCD and the minimum
    (November 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • On disjoint binary numbers
    (November 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Another look at a problem from Hugo Steinhaus
    (October 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Three trip reports rolled into one: 2001.04.16 -- 2001.07.06
    (September 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • Zuckerman's problem and the ETAC
    (June 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • What led to “Notes on Structured Programming“
    (June 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • An unavoidable case analysis
    (March 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
  • The chessboard covered with dominoes
    (February 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group GraphTheory on 2006-09-26 11:56:08 as ** along with 3 groups Crypto Foundations-of-Programming TMC
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/group/820

    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.