researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
1993
2008
Filter by Tag
[+]
OR
AND
NOT
1
Meta-Environment
abstract machine
analysis
completeness
control systems
data-flow
data-flow analysis
empirical
meta-model
model-driven development
modeling
object-role modeling
open-source
process modeling
programming
protocol
rule-based
rules
software engineering
source-to-source
Filter by Author
[+]
OR
AND
NOT
1
Alexander Krassovitskiy
Alexander L. Wolf
Alexander Okhotin
Alfonso Fuggetta
Andreas Malcher
Atsushi Iwai
Brendan G. Cain
Christer Fernström
Cristian S. Calude
Damien Woods
David Doty
David S. Rosenblum
Dennis J. Frailey
Eric Goles Ch.
Fred Lunnon
Matthew J. Patitz
Nicolas Ollinger
Scott M. Summers
Sergey Verlan
Yurii Rogozhin
Filter by Top terms
[+]
OR
AND
NOT
1
assembly
automata
automaton
cellular
complexity
computation
computational
concepts
development
engineering
icsp
model
p
process
self
simple
small
software
systems
universal
ICSP (icsp)
Editions
Publications
Viewing Publication 1 - 42 from 42
2008
Playing With Population Protocols
Olivier Bournez
,
Jérémie Chalopin
,
Johanne Cohen
,
Xavier Koegler
.
icsp 2008
:
1-14
Simplicity via Provability for Universal Prefix-free Turing Machines
Cristian S. Calude
.
icsp 2008
:
15-22
Complexity through the Observation of Simple Systems
Matteo Cavaliere
,
Peter Leupold
.
icsp 2008
:
23-34
Communications in cellular automata
Eric Goles Ch.
,
Pierre-Etienne Meunier
,
Ivan Rapaport
,
Guillaume Theyssier
.
icsp 2008
:
103-116
A Concrete View of Rule 110 Computation
Matthew Cook
.
icsp 2008
:
35-62
Limitations of Self-Assembly at Temperature
David Doty
,
Matthew J. Patitz
,
Scott M. Summers
.
icsp 2008
:
77-8
Abstract geometrical computation 4: small Turing universal signal machines
Jérôme Durand-Lose
.
icsp 2008
:
89-102
Multi-Head Finite Automata: Characterizations, Concepts and Open Problems
Markus Holzer
,
Martin Kutrib
,
Andreas Malcher
.
icsp 2008
:
117-136
Simple self-organizing networks
Gene Itkis
,
Leonid A. Levin
.
icsp 2008
:
167-168
Computational Power of P Systems with Small Size Insertion and Deletion Rules
Alexander Krassovitskiy
,
Yurii Rogozhin
,
Sergey Verlan
.
icsp 2008
:
137-148
Some Considerations on Universality
Manfred Kudlek
.
icsp 2008
:
149-156
Busy beavers gone wild
Grégory Lafitte
.
icsp 2008
:
157-166
The Pagoda Sequence: a Ramble through Linear Complexity, Number Walls, D0L Sequences, Finite State Automata, and Aperiodic Tilings
Fred Lunnon
.
icsp 2008
:
169-190
A Divergence Formula for Randomness and Dimension
Jack H. Lutz
.
icsp 2008
:
191-200
The injectivity of the global function of a cellular automaton in the hyperbolic plane is undecidable
Maurice Margenstern
.
icsp 2008
:
201-214
On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results
Liesbeth De Mol
.
icsp 2008
:
63-76
A General Notion of Useful Information
Philippe Moser
.
icsp 2008
:
215-224
On acceptance conditions for membrane systems: characterisations of L and NL
Niall Murphy
,
Damien Woods
.
icsp 2008
:
225-242
Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings
Turlough Neary
,
Damien Woods
,
Anthony Karel Seda
,
Niall Murphy
, editors,
Cork University Press,
2008.
Representing a P-complete problem by small trellis automata
Alexander Okhotin
.
icsp 2008
:
243-258
Intrinsically Universal Cellular Automata
Nicolas Ollinger
.
icsp 2008
:
259-266
A Particular Universal Cellular Automaton
Nicolas Ollinger
,
Gaétan Richard
.
icsp 2008
:
267-278
Self-Assembly of Infinite Structures
Matthew J. Patitz
,
Scott M. Summers
.
icsp 2008
:
279-292
Computational Processes and Incompleteness
Klaus Sutner
.
icsp 2008
:
293-304
New Choice for Small Universal Devices: Symport/Antiport P Systems
Sergey Verlan
,
Yurii Rogozhin
.
icsp 2008
:
305-314
1993
ICSP
1993.
ICSP
1993.
Proceedings of the Second International Conference on the Software Process, ICSP 1993: Continuous Software Process Improvement, Berlin, Germany, February 25-26
IEEE Computer Society,
1993.
Process Modelling in-the-large with SLANG
Sergio Bandinelli
,
Alfonso Fuggetta
,
Sandro Grigolli
.
icsp 1993
:
75-83
Software Process Model and Work Space Control in the Adele System
Noureddine Belkhatir
,
Jacky Estublier
,
Walcélio L. Melo
.
icsp 1993
:
2-11
A Role-Based Empirical Process Modeling Environment
Brendan G. Cain
,
James Coplien
.
icsp 1993
:
125-133
EWSPT 92 Report
Jean-Claude Derniame
.
icsp 1993
:
160-169
Software Process Themes and Issues
Mark Dowson
.
icsp 1993
:
54-62
Software Process Development and Enactment: Concepts and Definitions
Peter H. Feiler
,
Watts S. Humphrey
.
icsp 1993
:
28-40
PROCESS WEAVER: Adding Process Support to UNIX
Christer Fernström
.
icsp 1993
:
12-26
Concurrent Engineering and the Software Process
Dennis J. Frailey
.
icsp 1993
:
103-114
Hakoniwa: Monitor and Navigation System for Cooperative Development Based on Activity Sequence Model
Hajimu Iida
,
Kei-ichi Mimura
,
Katsuro Inoue
,
Koji Torii
.
icsp 1993
:
64-74
Opportunities, Limitations, and Tradeoffs in Process Programming
Stanley M. Sutton Jr.
.
icsp 1993
:
135-146
A Structured Conceptual and Terminological Framework for Software Process Engineering
Jacques Lonchamp
.
icsp 1993
:
41-53
How to Assess a Software Process Modeling Formalism From a Project Member s Point of View
H. Dieter Rombach
,
Martin Verlage
.
icsp 1993
:
147-158
A Formal Model of Re-execution in Software Process
Masato Suzuki
,
Atsushi Iwai
,
Takuya Katayama
.
icsp 1993
:
84-99
A Study in Software Process Data Capture and Analysis
Alexander L. Wolf
,
David S. Rosenblum
.
icsp 1993
:
115-124
Sign in
or
sign up
to see more results.