The algorithmic beauty of plants
The algorithmic beauty of plants
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Topological models for boundary representation: a comparison with n-dimensional generalized maps
Computer-Aided Design - Beyond solid modelling
Functional programming with bananas, lenses, envelopes and barbed wire
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
On the relation between functional and data parallel programming languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
One-way cellular automata on Cayley graphs
Theoretical Computer Science
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
A static approach for compiling communications in parallel scientific programs
Scientific Programming
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A framework for the recursive definition of data structures
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Theoretical Computer Science
The topological structures of membrane computing
Fundamenta Informaticae - Membrane computing
PSLS '95 Proceedings of the International Workshop on Parallel Symbolic Languages and Systems
A Calculus for Exploiting Data Parallelism on Recursively Defined Data
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
Homology of Higher Dimensional Automata
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Data Structure as Topological Spaces
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Declarative definition of group indexed data structures and approximation of their domains
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Computing with Membranes
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
Software-Intensive Systems and New Computing Paradigms
Rule-based programming for integrative biological modeling
Natural Computing: an international journal
Declarative mesh subdivision using topological rewriting in MGS
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Building topological spaces for musical objects
MCM'11 Proceedings of the Third international conference on Mathematics and computation in music
Osteoporosis: a multiscale modeling viewpoint
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Algorithmic self-assembly by accretion and by carving in MGS
EA'05 Proceedings of the 7th international conference on Artificial Evolution
Computations in space and space in computations
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Integrated regulatory networks (IRNs): Spatially organized biochemical modules
Theoretical Computer Science
Simulation techniques for the calculus of wrapped compartments
Theoretical Computer Science
The modeling and the simulation of the fluid machines of synthetic biology
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Interaction based simulation of dynamical system with a dynamical structure (DS)2 in MGS
Proceedings of the 2011 Summer Computer Simulation Conference
P systems controlled by general topologies
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
Hi-index | 0.00 |