| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei |
Spatial P systems.  |
Natural Computing  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
Spatial Calculus of Looping Sequences. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
An Overview on Operational Semantics in Membrane Computing. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei |
A Testing Framework for P Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo |
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. |
T. Comp. Sys. Biology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Time and Probability-Based Information Flow Analysis. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics of spiking neural P systems. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Weak bisimulation for Probabilistic Timed Automata. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Reachability results for timed automata with unbounded data structures. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo |
Modular Verification of Interactive Systems with an Application to Biology. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska |
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo |
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi |
Modelling the Dynamics of an Aedes albopictus Population |
AMCA-POP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini |
Aspects of multiscale modelling in a process algebra for biological systems |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini (eds.) |
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 |
SEFM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo |
Dynamic Sync-Programs for Modular Verification of Biological Systems. |
NCMA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. |
Int. Conf. on Membrane Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo |
An intermediate language for the stochastic simulation of biological systems. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
Spatial Calculus of Looping Sequences. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei |
Timed P Automata. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei |
Timed P Automata. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
P Systems with Transport and Diffusion Membrane Channels. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini |
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems |
COMPMOD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama |
A Process Calculus for Molecular Interaction Maps |
MeCBIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama |
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. |
Ershov Memorial Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulations in calculi modelling membranes. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations |
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Design and verification of long-running transactions in a timed framework. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
Compositional semantics and behavioral equivalences for P Systems. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo |
An Intermediate Language for the Simulation of Biological Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
A P Systems Flat Form Preserving Step-by-step Behaviour. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo |
Security in a Model for Long-running Transactions. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, Angelo Troina |
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. |
T. Comp. Sys. Biology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
The Calculus of Looping Sequences. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Parametric probabilistic transition systems for system design and analysis. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Probabilistic non-repudiation protocol, Reachability, Parameters, Discrete-time Markov chains |
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo |
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. |
ISBRA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
The Calculus of Looping Sequences for Modeling Biological Membranes. |
Workshop on Membrane Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
A Classification of Time and/or Probability Dependent Security Properties. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
A Calculus of Looping Sequences for Modelling Microbiological Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulation Congruences in the Calculus of Looping Sequences. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Automatic Analysis of a Non-Repudiation Protocol. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
A Probabilistic Model for Molecular Systems. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini |
Monotonic hybrid systems. |
J. Comput. Syst. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Timed Automata with Data Structures for Distributed Systems Design and Analysis. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci |
Automated analysis of timed security: a case study on web privacy. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
Web privacy, Model checking tools, Timed behavior |
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Information flow in hybrid systems. |
ACM Trans. Embedded Comput. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Hybrid systems, information flow |
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Epsilon-transitions in Concurrent Timed Automata. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
Automatic Analysis of the NRL Pump. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Tini, Andrea Maggiolo-Schettini |
Compositional Synthesis of Generalized Mealy Machines. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
Automatic Covert Channel Analysis of a Multilevel Secure Component. |
ICICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron |
Structural Model Checking for Communicating Hierarchical Machines. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Information Flow Analysis for Probabilistic Timed Automata. |
Formal Aspects in Security and Trust |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
A comparison of Statecharts step semantics. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Concurrency in timed automata. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
Dynamic Hierarchical Machines. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Simone Tini |
On disjunction of literals in triggers of statecharts transitions. |
Inf. Process. Lett. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Privacy in Real-Time Systems. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci |
Formal Models of Timing Attacks on Web Privacy. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Damas P. Gruska, Andrea Maggiolo-Schettini |
Process Algebras for Network Communication. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron |
Transformations of Timed Cooperating Automata. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Concurrency in Timed Automata. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron |
Timed Cooperating Automata. |
Fundam. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini |
Timed Automata with Monotonic Activities. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Tini, Andrea Maggiolo-Schettini |
A Causal Semantics for Timed Default Concurrent Constraint Programming. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cerone, Andrea Maggiolo-Schettini |
Time-Based Expressivity of Time Petri Nets for System Specification. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Simone Tini |
Applying Techniques of Asynchronous Concurrency to Synchronous Languages. |
Fundam. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Tini, Andrea Maggiolo-Schettini |
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Simone Tini, Andrea Maggiolo-Schettini |
Two semantics for Timed Default Concurrent Constraint Programming. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Simone Tini |
Projectable Semantics for Statecharts. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
A Partial Order Representation of Processes of Transforming Graphs. |
Fundam. Inform. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Gionata Matteucci |
Processes in Cause-Effect Systems. |
Fundam. Inform. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
A Kernel Language for Programmed Rewriting of (Hyper)graphs. |
Acta Inf. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
Equivalences of Statecharts. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
Dynamic Graphs. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Massimo Merro |
Prorities in Statecharts. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Adriano Peron |
Retiming Techniques for Statecharts. |
FTRTFT |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriano Peron, Andrea Maggiolo-Schettini |
Transitions as Interrupts: A New Semantics for Timed Statecharts. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Adriano Peron |
A Graph Rewriting Framework for Statecharts Semantics. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Adriano Peron |
Semantics of Full Statecharts Based on Graph Rewriting. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
Towards an Algebra for Timed Behaviours. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Masini, Andrea Maggiolo-Schettini |
TTL: A formalism to describe local and global properties of distributed systems. |
ITA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi |
Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata. |
Acta Inf. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
A Programming Language for Deriving Hypergraphs. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Damas P. Gruska, Andrea Maggiolo-Schettini |
Process Communication Environment. |
NAPAW |
1992 |
DBLP BibTeX RDF |
|
| 1 | Emanuela Fachini, Andrea Maggiolo-Schettini, Giovanni Resta, Davide Sangiorgi |
Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski |
A compositional semantics for unmarked predicate/transition nets. |
Fundam. Inform. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Emanuela Fachini, Jozef Gruska, Andrea Maggiolo-Schettini, Davide Sangiorgi |
Simulation of Systolic Tree Automata on Trellis Automata. |
Int. J. Found. Comput. Sci. |
1990 |
DBLP BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
Programmed Derivations of Relational Structures. |
Graph-Grammars and Their Application to Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi |
Comparisons Among Classes of Y-Tree Systolic Automata. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora |
Web Structures: A Tool for Representing and Manipulating Programs. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
high-level data flow analyzer, web structure transformations, data structures, graph theory, software tools, software tools, program transformers, program verification, programming theory, set theory, category theory, production rules, web structures |
| 1 | Egon Börger, Andrea Maggiolo-Schettini |
Fondamenti di informatica. |
|
1988 |
RDF |
|
| 1 | Józef Winkowski, Andrea Maggiolo-Schettini |
An Algebra of Processes. |
J. Comput. Syst. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
Processes of Transforming Structures. |
J. Comput. Syst. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Germano, Andrea Maggiolo-Schettini |
Sequence Recursiveness Without Cylindrification and Limited Register Machines. |
Theor. Comput. Sci. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski |
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. |
Theor. Comput. Sci. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski |
Transformations of Structures: an Algebraic Approach. |
Mathematical Systems Theory |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Facchini, Andrea Maggiolo-Schettini |
A Hierarchy of primitive recursive sequence functions. |
ITA |
1979 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Germano, Andrea Maggiolo-Schettini |
Computable Stack Functions for Semantics of Stack Programs. |
J. Comput. Syst. Sci. |
1979 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")