| Publication | Date of Publication | Type |
|---|
| A Coalgebraic Approach to Unification Semantics of Logic Programming | 2024-03-14 | Paper |
From Tuscany to Scotland and back. A homage to Rocco de Nicola for his 65th birthday
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Data-driven choreographies à la Klaim
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Relating two categorical models of term rewriting
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Minimal transition systems for history-preserving bisimulation
Lecture Notes in Computer Science | 2022-11-09 | Paper |
Algebras for tree decomposable graphs
Graph Transformation | 2022-09-01 | Paper |
A \(\pi \)-calculus with explicit substitutions: the late semantics
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Mobility in the CC-paradigm
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
Contextual occurrence nets and concurrent constraint programming
Graph Transformations in Computer Science | 2022-08-16 | Paper |
An algebraic view of interleaving and distributed operational semantics for CCS
Category Theory and Computer Science | 2022-08-16 | Paper |
Dynamic matrices and the cost analysis of concurrent programs
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Note on standard representation of graphs and graph derivations
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Abstract graph derivations in the double pushout approach
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Concurrency and probability: removing confusion, compositionally
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Bayesian network semantics for Petri nets
Theoretical Computer Science | 2020-01-22 | Paper |
scientific article; zbMATH DE number 7147446 (Why is no real title available?)
(available as arXiv preprint) | 2020-01-03 | Paper |
A parametric approach to localities
Automata, Languages and Programming | 2019-12-04 | Paper |
The category of typed graph grammars and its adjunctions with categories of derivations
Lecture Notes in Computer Science | 2019-01-10 | Paper |
An event structure semantics for graph grammars with parallel productions
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Models of computation
Texts in Theoretical Computer Science. An EATCS Series | 2018-11-28 | Paper |
Event structures for Petri nets with persistence
(available as arXiv preprint) | 2018-11-02 | Paper |
| Decomposition structures for soft constraint evaluation problems: an algebraic approach | 2018-04-04 | Paper |
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Soft concurrent constraint programming
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Asynchronous distributed execution of fixpoint-based computational fields
(available as arXiv preprint) | 2017-05-08 | Paper |
| Network-conscious -calculus -- a model of Pastry | 2016-08-01 | Paper |
\textsf{cJoin}: \textsf{Join} with communicating transactions
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Network Conscious π-calculus: A Concurrent Semantics
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Causal trees, finally
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
Connector algebras, Petri nets, and BIP
Perspectives of Systems Informatics | 2015-12-07 | Paper |
A coalgebraic semantics for causality in Petri nets
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
Unicast and multicast QoS routing with soft-constraint logic programming
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A normal form for stateful connectors
Lecture Notes in Computer Science | 2015-09-14 | Paper |
A compositional coalgebraic model of a fragment of fusion calculus
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
Fundamenta Informaticae | 2015-06-26 | Paper |
Programming autonomic systems with multiple constraint stores
Software, Services, and Systems | 2015-06-22 | Paper |
Hierarchical design rewriting with Maude
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Revisiting causality, coalgebraically
Acta Informatica | 2015-03-02 | Paper |
A survey of constraint-based programming paradigms
Computer Science Review | 2014-10-07 | Paper |
A network-conscious \(\pi\)-calculus and its coalgebraic semantics
Theoretical Computer Science | 2014-07-25 | Paper |
From hierarchical BIP to Petri calculus
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Behaviour, Interaction and Dynamics
Specification, Algebra, and Software | 2014-03-25 | Paper |
A name abstraction functor for named sets
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
A coalgebraic theory of reactive systems
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Modelling multicast QoS routing by using best-tree search in and-or graphs and soft constraint logic programming
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Modelling calculi with name mobility using graphs with equivalences
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
G-reactive systems as coalgebras
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Hoare vs Milner: comparing synchronizations in a graphical framework with mobility | 2013-10-07 | Paper |
| Tiling transactions in rewriting logic | 2013-10-02 | Paper |
Connector algebras for C/E and P/T nets' interactions
Logical Methods in Computer Science | 2013-09-26 | Paper |
| Synchronization algebras with mobility for graph transformations | 2013-09-26 | Paper |
| Quantitative -calculus and CTL based on constraint semirings | 2013-09-20 | Paper |
| Flat committed join in join | 2013-09-11 | Paper |
| Some characterization results for permutation algebras | 2013-09-11 | Paper |
| A graphical fusion calculus | 2013-09-11 | Paper |
| Web services and models of computation | 2013-09-11 | Paper |
| Shaped hierarchical architectural design | 2013-09-11 | Paper |
GS theories: a syntax for higher-order graphs
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Comparing cospan-spans and tiles via a Hoare-style process calculus
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Two graph-based techniques for software architecture reconfiguration
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Families of symmetries as efficient models of resource binding
Electronic Notes in Theoretical Computer Science | 2012-10-02 | Paper |
A Modular LTS for Open Reactive Systems
Lecture Notes in Computer Science | 2012-09-21 | Paper |
Coalgebraic symbolic semantics
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
A connector algebra for P/T nets interactions
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Symbolic and Asynchronous Semantics via Normalized Coalgebras
Logical Methods in Computer Science | 2011-05-26 | Paper |
Symmetries, local names and dynamic (de)-allocation of names
Information and Computation | 2011-01-14 | Paper |
QoS negotiation in service composition
The Journal of Logic and Algebraic Programming | 2011-01-07 | Paper |
On GS-monoidal theories for graphs with nesting
Lecture Notes in Computer Science | 2010-11-26 | Paper |
Saturated LTSs for adhesive rewriting systems
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Coreflective concurrent semantics for single-pushout graph grammars.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Pre-nets, read ARCS and unfolding: A functorial presentation.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Graph-based models of internetworking systems.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
A formal basis for reasoning on programmable QoS
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Algebraic theories for contextual pre-nets.
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Tiles for Reo
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science | 2009-09-29 | Paper |
| scientific article; zbMATH DE number 5605133 (Why is no real title available?) | 2009-09-19 | Paper |
Minimization Algorithm for Symbolic Bisimilarity
Programming Languages and Systems | 2009-03-31 | Paper |
Coalgebraic Models for Reactive Systems
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Symbolic Semantics Revisited
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Open Bisimulation for the Concurrent Constraint Pi-Calculus
Programming Languages and Systems | 2008-04-11 | Paper |
Constraint relaxation may be perfect
Artificial Intelligence | 2007-09-20 | Paper |
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Formal Methods for Components and Objects | 2007-09-11 | Paper |
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Programming Languages and Systems | 2007-09-04 | Paper |
Event Structure Semantics for Nominal Calculi
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Concurrent Rewriting for Graphs with Equivalences
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
A compositional coalgebraic model of fusion calculus
The Journal of Logic and Algebraic Programming | 2007-07-16 | Paper |
Unfolding semantics of graph transformation
Information and Computation | 2007-05-14 | Paper |
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
Theory and Practice of Logic Programming | 2007-03-23 | Paper |
A basic algebra of stateless connectors
Theoretical Computer Science | 2007-01-09 | Paper |
About permutation algebras, (pre)sheaves and named sets
Higher-Order and Symbolic Computation | 2006-11-17 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Trustworthy Global Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2242585 (Why is no real title available?) | 2006-01-02 | Paper |
Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
Theoretical Computer Science | 2005-12-29 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
Theoretical Computer Science | 2005-09-22 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Observational congruences for dynamically reconfigurable tile systems
Theoretical Computer Science | 2005-06-10 | Paper |
| scientific article; zbMATH DE number 2163046 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2163032 (Why is no real title available?) | 2005-04-29 | Paper |
Coalgebraic minimization of HD-automata for the -calculus using polymorphic types
Theoretical Computer Science | 2005-04-06 | Paper |
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2087427 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087537 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087495 (Why is no real title available?) | 2004-08-11 | Paper |
An interactive semantics of logic programming
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 2044490 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 2016084 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 1973128 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1927579 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1927571 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1863162 (Why is no real title available?) | 2003-02-03 | Paper |
Normal forms for algebras of connections.
Theoretical Computer Science | 2003-01-21 | Paper |
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation | 2003-01-14 | Paper |
Zero-safe nets: Comparing the collective and individual token approaches.
Information and Computation | 2003-01-14 | Paper |
Functorial models for Petri nets
Information and Computation | 2003-01-14 | Paper |
Tile formats for located and mobile systems.
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1759500 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1759443 (Why is no real title available?) | 2002-11-04 | Paper |
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
Theoretical Computer Science | 2002-08-13 | Paper |
Compositional SOS and beyond: A coalgebraic view of open systems
Theoretical Computer Science | 2002-07-15 | Paper |
Dynamic connectors for concurrency
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1761891 (Why is no real title available?) | 2002-07-01 | Paper |
| scientific article; zbMATH DE number 1759487 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1759616 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1696451 (Why is no real title available?) | 2002-06-17 | Paper |
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
Mathematical Structures in Computer Science | 2002-05-14 | Paper |
Soft constraint logic programming and generalized shortest path problems
Journal of Heuristics | 2002-04-11 | Paper |
| scientific article; zbMATH DE number 1638667 (Why is no real title available?) | 2001-08-29 | Paper |
| scientific article; zbMATH DE number 1638650 (Why is no real title available?) | 2001-08-29 | Paper |
| scientific article; zbMATH DE number 1617304 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1497795 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1497817 (Why is no real title available?) | 2001-03-04 | Paper |
Graph rewriting, constraint solving and tiles for coordinating distributed systems
Applied Categorical Structures | 2000-12-05 | Paper |
| scientific article; zbMATH DE number 1330131 (Why is no real title available?) | 2000-10-17 | Paper |
| scientific article; zbMATH DE number 1390052 (Why is no real title available?) | 2000-09-17 | Paper |
| scientific article; zbMATH DE number 1504833 (Why is no real title available?) | 2000-09-12 | Paper |
| scientific article; zbMATH DE number 1418361 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1361467 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 683342 (Why is no real title available?) | 1999-07-29 | Paper |
| scientific article; zbMATH DE number 1314229 (Why is no real title available?) | 1999-07-12 | Paper |
| scientific article; zbMATH DE number 1302631 (Why is no real title available?) | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 1223715 (Why is no real title available?) | 1999-05-18 | Paper |
| scientific article; zbMATH DE number 1231660 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231616 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1231623 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1231592 (Why is no real title available?) | 1998-12-21 | Paper |
| scientific article; zbMATH DE number 1231596 (Why is no real title available?) | 1998-12-21 | Paper |
| scientific article; zbMATH DE number 1231533 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1189293 (Why is no real title available?) | 1998-12-10 | Paper |
| scientific article; zbMATH DE number 1192310 (Why is no real title available?) | 1998-11-09 | Paper |
| scientific article; zbMATH DE number 1136657 (Why is no real title available?) | 1998-08-19 | Paper |
| scientific article; zbMATH DE number 1189279 (Why is no real title available?) | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 1059331 (Why is no real title available?) | 1998-02-26 | Paper |
Partial order and contextual net semantics for atomic and locally atomic CC programs
Science of Computer Programming | 1998-02-25 | Paper |
Semiring-based constraint satisfaction and optimization
Journal of the ACM | 1998-02-17 | Paper |
| scientific article; zbMATH DE number 1101602 (Why is no real title available?) | 1998-01-28 | Paper |
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science | 1997-11-12 | Paper |
Structured transition systems with parametric observations: observational congruences and minimal realizations
Mathematical Structures in Computer Science | 1997-07-17 | Paper |
| scientific article; zbMATH DE number 970734 (Why is no real title available?) | 1997-06-09 | Paper |
Process versus unfolding semantics for Place/Transition Petri nets
Theoretical Computer Science | 1997-02-28 | Paper |
Location equivalence in a parametric setting
Theoretical Computer Science | 1997-02-28 | Paper |
On the implementation of concurrent calculi in net calculi: two case studies
Theoretical Computer Science | 1997-02-28 | Paper |
A \(\pi\)-calculus with explicit substitutions
Theoretical Computer Science | 1997-02-27 | Paper |
Axiomatizing permutation equivalence
Mathematical Structures in Computer Science | 1996-11-18 | Paper |
| scientific article; zbMATH DE number 919845 (Why is no real title available?) | 1996-08-25 | Paper |
Contextual nets
Acta Informatica | 1995-11-20 | Paper |
Axiomatizing the algebra of net computations and processes
Acta Informatica | 1995-11-19 | Paper |
| scientific article; zbMATH DE number 749804 (Why is no real title available?) | 1995-05-01 | Paper |
Axiomatizing CCS, nets and processes
Science of Computer Programming | 1994-11-29 | Paper |
Graph rewriting for a partial ordering semantics of concurrent constraints programming
Theoretical Computer Science | 1994-10-31 | Paper |
| scientific article; zbMATH DE number 517053 (Why is no real title available?) | 1994-08-07 | Paper |
| scientific article; zbMATH DE number 591002 (Why is no real title available?) | 1994-06-19 | Paper |
| scientific article; zbMATH DE number 512945 (Why is no real title available?) | 1994-03-10 | Paper |
An abstract machine for concurrent modular systems: CHARM
Theoretical Computer Science | 1994-02-22 | Paper |
Universal axioms for bisimulations
Theoretical Computer Science | 1993-10-25 | Paper |
| scientific article; zbMATH DE number 176155 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177436 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 125888 (Why is no real title available?) | 1993-02-21 | Paper |
An algebraic semantics for structured transition systems and its application to logic programs
Theoretical Computer Science | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 92600 (Why is no real title available?) | 1993-01-16 | Paper |
TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
Petri nets are monoids
Information and Computation | 1990-01-01 | Paper |
A\(^ 2\)CCS: Atomic actions for CCS
Theoretical Computer Science | 1990-01-01 | Paper |
A partial ordering semantics for CCS
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4205998 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4119653 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4191145 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4166931 (Why is no real title available?) | 1989-01-01 | Paper |
A distributed operational semantics of CCS based on condition/event systems
Acta Informatica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4056997 (Why is no real title available?) | 1988-01-01 | Paper |
Concurrent histories: a basis for observing distributed systems
Journal of Computer and System Sciences | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4035159 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049096 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049150 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3898215 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3903950 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3911691 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3808941 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819108 (Why is no real title available?) | 1983-01-01 | Paper |
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
Dynamic Programming as Graph Searching: An Algebraic Approach
Journal of the ACM | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3782407 (Why is no real title available?) | 1979-01-01 | Paper |
Optimizing decision trees through heuristically guided search
Communications of the ACM | 1978-01-01 | Paper |
A Recursive Method Based on Case Analysis for Computing Network Terminal Reliability
IEEE Transactions on Communications | 1978-01-01 | Paper |
Synthesis of Available Networks
IEEE Transactions on Reliability | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3529404 (Why is no real title available?) | 1976-01-01 | Paper |
A Vertex Elimination Algorithm for Enumerating all Simple Paths in a Graph
Networks | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3570219 (Why is no real title available?) | 1975-01-01 | Paper |
Networks of constraints: Fundamental properties and applications to picture processing
Information Sciences | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3464890 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3454407 (Why is no real title available?) | 1974-01-01 | Paper |
Nonserial dynamic programming: On the optimal strategy of variable elimination for the rectangular lattice
Journal of Mathematical Analysis and Applications | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3402016 (Why is no real title available?) | 1972-01-01 | Paper |
On the optimal detection of curves in noisy pictures
Communications of the ACM | 1971-01-01 | Paper |
A grey-weighted skeleton
Information and Control | 1970-01-01 | Paper |
Separable graphs, planar graphs and web grammars
Information and Control | 1970-01-01 | Paper |
A note on minimal length polygonal approximation to a digitized contour
Communications of the ACM | 1970-01-01 | Paper |
Heuristically guided search and chromosome matching
Artificial Intelligence | 1970-01-01 | Paper |
Continuous Skeletons from Digitized Images
Journal of the ACM | 1969-01-01 | Paper |
An algorithm for hidden line elimination
Communications of the ACM | 1969-01-01 | Paper |
