Computations in Space and Space in Computations
暂无分享,去创建一个
Jean-Louis Giavitto | Julien Cohen | Olivier Michel | Antoine Spicher | Jean-Louis Giavitto | Antoine Spicher | Julien Cohen | Olivier Michel
[1] C. Barry Jay,et al. A Semantics for Shape , 1995, Sci. Comput. Program..
[2] F. Geurts. Hierarchy of Discrete-Time Dynamical Systems, a Survey , 1995, Bull. EATCS.
[3] Jean-Louis Giavitto,et al. Data Structure as Topological Spaces , 2002, UMC.
[4] Jean-Louis Giavitto,et al. A framework for the recursive definition of data structures , 2000, PPDP '00.
[5] Eric Goubault,et al. Geometry and concurrency: a user's guide , 2000, Mathematical Structures in Computer Science.
[6] Julien Cohen. Typing rule-based transformations over topological collections , 2003, Electron. Notes Theor. Comput. Sci..
[7] Cristian S. Calude,et al. Bead-Sort: A Natural Sorting Algorithm , 2002, Bull. EATCS.
[8] R. Brockett. Dynamical systems that sort lists, diagonalize matrices, and solve linear programming problems , 1991 .
[9] K. Mani Chandy,et al. Reasoning About Continuous Systems , 1990, Sci. Comput. Program..
[10] Flemming M. Damm,et al. Subtyping with Union Types, Intersection Types and Recursive Types , 1994, TACS.
[11] Giuseppe Castagna,et al. Semantic subtyping , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[12] Pascal Fradet,et al. Structured Gamma , 1998, Sci. Comput. Program..
[13] Arie Shoshani,et al. System Deadlocks , 1971, CSUR.
[14] G Păun,et al. From cells to computers: computing with membranes (P systems). , 2001, Bio Systems.
[15] Maarten M. Fokkinga,et al. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire , 1991, FPCA.
[16] Przemyslaw Prusinkiewicz,et al. L-systems: from formalism to programming languages , 1992 .
[17] A. Lindenmayer. Mathematical models for cellular interactions in development. II. Simple and branching filaments with two-sided inputs. , 1968, Journal of theoretical biology.
[18] Xavier Leroy,et al. A modular module system , 2000, J. Funct. Program..
[19] A. Lindenmayer. Mathematical models for cellular interactions in development. I. Filaments with one-sided inputs. , 1968, Journal of theoretical biology.
[20] Pascal Lienhardt,et al. Topological models for boundary representation: a comparison with n-dimensional generalized maps , 1991, Comput. Aided Des..
[21] Ivan Moore,et al. Automatic inheritance hierarchy restructuring and method refactoring , 1996, OOPSLA '96.
[22] Pascal Fradet,et al. Gamma and the Chemical Reaction Model: Fifteen Years After , 2000, WMP.
[23] R. Sorkin. Finitary substitute for continuous topology , 1991 .
[24] Hans H. Kron,et al. Programming-in-the-Large Versus Programming-in-the-Small , 1975 .
[25] Daniel Le Métayer,et al. A parallel machine for multiset transformation and its programming style , 1988, Future Gener. Comput. Syst..
[26] Tom Hirschowitz,et al. Mixin modules in a call-by-value setting , 2002, TOPL.
[27] A. Turing. The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.
[28] Takayasu Ito,et al. Parallel Symbolic Languages and Systems , 1996, Lecture Notes in Computer Science.
[29] Florent Jacquemard,et al. An Analysis of a Public Key Protocol with Membranes , 2005 .
[30] Gérard Berry,et al. The chemical abstract machine , 1989, POPL '90.
[31] Pascal Fradet,et al. Shape types , 1997, POPL '97.
[32] Johan Jeuring,et al. Polytypic Programming , 1996, Advanced Functional Programming.
[33] Alexander Aiken,et al. Type inclusion constraints and type inference , 1993, FPCA '93.
[34] Michel Sintzoff. Invariance and Contraction by Infinite Iterations of Relations , 1991, Research Directions in High-Level Parallel Programming Languages.
[35] Florent Jacquemard,et al. An Analysis of a Public Key Protocol with Membranes , 2006, Applications of Membrane Computing.
[36] Zsuzsanna Róka. One-way Cellular Automata on Cayley Graphs , 1993, FCT.
[37] Olivier Michel,et al. Computational models for integrative and developmental biology , 2002 .
[38] Gilles Gaston Granger. La Pensée de l'espace , 1999 .
[39] Helge Kragh,et al. Quantum Generations: A History of Physics in the Twentieth Century. , 2001 .
[40] Jean-Louis Giavitto,et al. A Topological Framework for the Specification and the Simulation of Discrete Dynamical Systems , 2004, ACRI.
[41] Jean-Louis Giavitto,et al. MGS: a Rule-Based Programming Language for Complex Objects and Collections , 2001, Electron. Notes Theor. Comput. Sci..
[42] Przemyslaw Prusinkiewicz,et al. The Algorithmic Beauty of Plants , 1990, The Virtual Laboratory.
[43] Roger W. Brockett,et al. Smooth dynamical systems which realize arithmetical and logical operations , 1989 .
[44] Jean-Louis Giavitto,et al. Declarative definition of group indexed data structures and approximation of their domains , 2001, PPDP '01.
[45] Michael Henle,et al. A combinatorial introduction to topology , 1978 .
[46] Jean-Louis Giavitto,et al. The Topological Structures of Membrane Computing , 2002, Fundam. Informaticae.
[47] Jean-Louis Giavitto,et al. Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems , 2003, RTA.
[48] Jean-Louis Giavitto,et al. Group-Based Fields , 1995, PSLS.
[49] H. Weyl. The Classical Groups , 1940 .