


Остановите войну!
for scientists:


default search action
Andrea Maggiolo-Schettini
Person information

- affiliation: University of Pisa, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2015
- [j68]Giovanni Pardini
, Paolo Milazzo
, Andrea Maggiolo-Schettini:
Component identification in biochemical pathways. Theor. Comput. Sci. 587: 104-124 (2015) - 2014
- [j67]Giovanni Pardini, Paolo Milazzo
, Andrea Maggiolo-Schettini:
Identification of components in biochemical pathways: extensive application to SBML models. Nat. Comput. 13(3): 351-365 (2014) - [j66]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo
, Giovanni Pardini:
Simulation of Spatial P system models. Theor. Comput. Sci. 529: 11-45 (2014) - [j65]Giovanni Pardini
, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo
, Simone Tini
:
Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci. 551: 1-21 (2014) - [c58]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo
, Giovanni Pardini, Simone Tini
:
Systolic Automata and P Systems. Computing with New Resources 2014: 17-31 - 2013
- [j64]Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini:
Modular Verification of Qualitative Pathway Models with Fairness. Sci. Ann. Comput. Sci. 23(1): 75-117 (2013) - [c57]Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
:
A Compositional Semantics of Reaction Systems with Restriction. CiE 2013: 330-339 - [c56]Roberto Barbuti, Pasquale Bove
, Andrea Maggiolo-Schettini, Paolo Milazzo
, Giovanni Pardini:
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. SEFM Workshops 2013: 329-344 - [c55]Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini:
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. WIVACE 2013: 43-52 - [c54]Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini:
An Algorithm for the Identification of Components in Biochemical Pathways. CS2Bio 2013: 69-84 - 2012
- [j63]Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo:
On Conditions for Modular Verification in Systems of Synchronising Components. Fundam. Informaticae 120(3-4): 259-274 (2012) - [j62]Roberto Barbuti, Giulio Caravagna
, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
:
Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci. 431: 96-116 (2012) - [c53]Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo
, Suryana Setiawan:
Modelling Population Dynamics Using Grid Systems. SEFM Satellite Events 2012: 172-189 - [c52]Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo:
Towards modular verification of pathways: fairness and assumptions. MeCBIC 2012: 63-81 - 2011
- [j61]Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo:
Modular Verification of Interactive Systems with an Application to Biology. Sci. Ann. Comput. Sci. 21(1): 39-72 (2011) - [j60]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
:
An Overview on Operational Semantics in Membrane Computing. Int. J. Found. Comput. Sci. 22(1): 119-131 (2011) - [j59]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
, Luca Tesei
:
Spatial P systems. Nat. Comput. 10(1): 3-16 (2011) - [j58]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
:
Spatial Calculus of Looping Sequences. Theor. Comput. Sci. 412(43): 5976-6001 (2011) - [j57]Roberto Barbuti, Giulio Caravagna
, Andrea Maggiolo-Schettini, Paolo Milazzo:
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. Trans. Comp. Sys. Biology 13: 61-84 (2011) - [i1]Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei:
A Testing Framework for P Systems. CoRR abs/1108.3424 (2011) - 2010
- [j56]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Reachability results for timed automata with unbounded data structures. Acta Informatica 47(5-6): 279-311 (2010) - [j55]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. Informaticae 102(1): 19-34 (2010) - [j54]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. Informaticae 103(1-4): 1-29 (2010) - [j53]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
:
Compositional semantics of spiking neural P systems. J. Log. Algebraic Methods Program. 79(6): 304-316 (2010) - [j52]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Weak bisimulation for Probabilistic Timed Automata. Theor. Comput. Sci. 411(50): 4291-4322 (2010) - [j51]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Time and Probability-Based Information Flow Analysis. IEEE Trans. Software Eng. 36(5): 719-734 (2010) - [c51]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: 103-118 - [c50]Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo:
Dynamic Sync-Programs for Modular Verification of Biological Systems. NCMA 2010: 71-83 - [c49]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: 18-36 - [c48]Roberto Barbuti, Giulio Caravagna
, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini
:
Aspects of multiscale modelling in a process algebra for biological systems. MeCBIC 2010: 54-69 - [c47]Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo:
Modular Verification of Interactive Systems with an Application to Biology. CS2Bio 2010: 61-75 - [e1]José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini:
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4153-2 [contents]
2000 – 2009
- 2009
- [j50]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
:
P Systems with Transport and Diffusion Membrane Channels. Fundam. Informaticae 93(1-3): 17-31 (2009) - [j49]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
:
Timed P Automata. Fundam. Informaticae 94(1): 1-19 (2009) - [j48]Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo:
P Systems with Endosomes. Int. J. Comput. Commun. Control 4(3): 214-223 (2009) - [j47]Roberto Barbuti, Giulio Caravagna
, Andrea Maggiolo-Schettini, Paolo Milazzo:
An intermediate language for the stochastic simulation of biological systems. Theor. Comput. Sci. 410(33-34): 3085-3109 (2009) - [c46]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: 58-69 - [c45]Roberto Barbuti, Giulio Caravagna
, Paolo Milazzo, Andrea Maggiolo-Schettini:
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems. COMPMOD 2009: 17-29 - [c44]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
, Aureliano Rama:
A Process Calculus for Molecular Interaction Maps. MeCBIC 2009: 35 - 2008
- [j46]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
Bisimulations in calculi modelling membranes. Formal Aspects Comput. 20(4-5): 351-377 (2008) - [j45]Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo:
Security in a Model for Long-running Transactions. Fundam. Informaticae 85(1-4): 189-203 (2008) - [j44]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini:
A P Systems Flat Form Preserving Step-by-step Behaviour. Fundam. Informaticae 87(1): 1-34 (2008) - [j43]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
Design and verification of long-running transactions in a timed framework. Sci. Comput. Program. 73(2-3): 76-94 (2008) - [j42]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
:
Compositional semantics and behavioral equivalences for P Systems. Theor. Comput. Sci. 395(1): 77-100 (2008) - [j41]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, Angelo Troina:
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. Trans. Comp. Sys. Biology 9: 86-113 (2008) - [c43]Roberto Barbuti, Giulio Caravagna
, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
:
The Calculus of Looping Sequences. SFM 2008: 387-423 - [c42]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
:
Spatial Calculus of Looping Sequences. FBTC@ICALP 2008: 21-39 - [c41]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
:
Timed P Automata. MeCBIC 2008: 21-36 - 2007
- [j40]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Parametric probabilistic transition systems for system design and analysis. Formal Aspects Comput. 19(1): 93-109 (2007) - [c40]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo:
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. ISBRA 2007: 638-649 - [c39]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
The Calculus of Looping Sequences for Modeling Biological Membranes. Workshop on Membrane Computing 2007: 54-76 - [c38]Roberto Barbuti, Giulio Caravagna
, Andrea Maggiolo-Schettini, Paolo Milazzo:
An Intermediate Language for the Simulation of Biological Systems. FBTC@CONCUR 2007: 19-34 - 2006
- [j39]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundam. Informaticae 72(1-3): 21-35 (2006) - [c37]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. FMOODS 2006: 108-122 - [c36]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
Bisimulation Congruences in the Calculus of Looping Sequences. ICTAC 2006: 93-107 - 2005
- [j38]Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
A Probabilistic Model for Molecular Systems. Fundam. Informaticae 67(1-3): 13-27 (2005) - [j37]Ruggero Lanotte
, Andrea Maggiolo-Schettini:
Monotonic hybrid systems. J. Comput. Syst. Sci. 71(1): 34-69 (2005) - [c35]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Timed Automata with Data Structures for Distributed Systems Design and Analysis. SEFM 2005: 44-53 - [c34]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
A Classification of Time and/or Probability Dependent Security Properties. QAPL 2005: 177-193 - 2004
- [j36]Simone Tini, Andrea Maggiolo-Schettini:
Compositional Synthesis of Generalized Mealy Machines. Fundam. Informaticae 60(1-4): 367-382 (2004) - [j35]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. 2(3-4): 168-186 (2004) - [j34]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Simone Tini
:
Epsilon-transitions in Concurrent Timed Automata. Inf. Process. Lett. 89(1): 1-7 (2004) - [j33]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Simone Tini
:
Information flow in hybrid systems. ACM Trans. Embed. Comput. Syst. 3(4): 760-799 (2004) - [c33]Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci:
Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS 2004: 249-261 - [c32]Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
Information Flow Analysis for Probabilistic Timed Automata. Formal Aspects in Security and Trust 2004: 13-26 - [c31]Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron:
Structural Model Checking for Communicating Hierarchical Machines. MFCS 2004: 525-536 - [c30]Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. SEFM 2004: 114-121 - [c29]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Automatic Analysis of a Non-Repudiation Protocol. QAPL 2004: 113-129 - 2003
- [j32]Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini:
Dynamic Hierarchical Machines. Fundam. Informaticae 54(2-3): 237-252 (2003) - [j31]Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
:
A comparison of Statecharts step semantics. Theor. Comput. Sci. 290(1): 465-498 (2003) - [j30]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Simone Tini
:
Concurrency in timed automata. Theor. Comput. Sci. 309(1-3): 503-527 (2003) - [c28]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. SEFM 2003: 34-43 - [c27]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Simone Tini
, Angelo Troina, Enrico Tronci
:
Automatic Analysis of the NRL Pump. MEFISTO 2003: 245-266 - 2002
- [j29]Andrea Maggiolo-Schettini, Simone Tini
:
On disjunction of literals in triggers of statecharts transitions. Inf. Process. Lett. 84(6): 305-310 (2002) - 2001
- [j28]Damas P. Gruska, Andrea Maggiolo-Schettini:
Process Algebras for Network Communication. Fundam. Informaticae 45(4): 359-378 (2001) - [j27]Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron:
Transformations of Timed Cooperating Automata. Fundam. Informaticae 47(3-4): 271-282 (2001) - [c26]Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini:
Concurrency in Timed Automata. FCT 2001: 240-251 - [c25]Riccardo Focardi
, Roberto Gorrieri, Ruggero Lanotte
, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini
, Enrico Tronci
:
Formal Models of Timing Attacks on Web Privacy. TOSCA 2001: 229-243 - [c24]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Simone Tini
:
Privacy in Real-Time Systems. MTCS 2001: 295-305 - 2000
- [j26]Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron:
Timed Cooperating Automata. Fundam. Informaticae 43(1-4): 153-173 (2000) - [c23]Simone Tini, Andrea Maggiolo-Schettini:
A Causal Semantics for Timed Default Concurrent Constraint Programming. AMAST 2000: 228-242 - [c22]Ruggero Lanotte
, Andrea Maggiolo-Schettini:
Timed Automata with Monotonic Activities. MFCS 2000: 518-527
1990 – 1999
- 1999
- [j25]Andrea Maggiolo-Schettini, Simone Tini:
Applying Techniques of Asynchronous Concurrency to Synchronous Languages. Fundam. Informaticae 40(2-3): 221-250 (1999) - [j24]Antonio Cerone, Andrea Maggiolo-Schettini:
Time-Based Expressivity of Time Petri Nets for System Specification. Theor. Comput. Sci. 216(1-2): 1-53 (1999) - [c21]Simone Tini, Andrea Maggiolo-Schettini:
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming. ECOOP Workshops 1999: 256-258 - 1998
- [c20]Simone Tini
, Andrea Maggiolo-Schettini:
Two semantics for Timed Default Concurrent Constraint Programming. COTIC 1998: 24-41 - [c19]Andrea Maggiolo-Schettini, Simone Tini
:
Projectable Semantics for Statecharts. MFCS Workshop on Concurrency 1998: 134-146 - 1997
- [j23]Andrea Maggiolo-Schettini, Gionata Matteucci:
Processes in Cause-Effect Systems. Fundam. Informaticae 31(3/4): 305-335 (1997) - [j22]Andrea Maggiolo-Schettini, Józef Winkowski:
A Partial Order Representation of Processes of Transforming Graphs. Fundam. Informaticae 31(3/4): 337-355 (1997) - 1996
- [j21]Andrea Maggiolo-Schettini, Józef Winkowski:
A Kernel Language for Programmed Rewriting of (Hyper)graphs. Acta Informatica 33(6): 523-546 (1996) - [c18]Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini:
Equivalences of Statecharts. CONCUR 1996: 687-702 - [c17]Andrea Maggiolo-Schettini, Adriano Peron:
Retiming Techniques for Statecharts. FTRTFT 1996: 55-71 - [c16]Andrea Maggiolo-Schettini, Massimo Merro
:
Prorities in Statecharts. LOMAPS 1996: 404-429 - [c15]Andrea Maggiolo-Schettini, Józef Winkowski:
Dynamic Graphs. MFCS 1996: 431-442 - 1994
- [c14]Adriano Peron, Andrea Maggiolo-Schettini:
Transitions as Interrupts: A New Semantics for Timed Statecharts. TACS 1994: 806-821 - [c13]Andrea Maggiolo-Schettini, Adriano Peron:
A Graph Rewriting Framework for Statecharts Semantics. TAGT 1994: 107-121 - 1993
- [c12]Andrea Maggiolo-Schettini, Adriano Peron:
Semantics of Full Statecharts Based on Graph Rewriting. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 265-279 - 1992
- [j20]Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi:
Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata. Acta Informatica 29(6/7): 623-643 (1992) - [j19]Andrea Masini, Andrea Maggiolo-Schettini:
TTL: A formalism to describe local and global properties of distributed systems. RAIRO Theor. Informatics Appl. 26: 115-149 (1992) - [j18]Andrea Maggiolo-Schettini, Józef Winkowski:
Towards an Algebra for Timed Behaviours. Theor. Comput. Sci. 103(2): 335-363 (1992) - [c11]Andrea Maggiolo-Schettini, Józef Winkowski:
A Programming Language for Deriving Hypergraphs. CAAP 1992: 221-231 - [c10]Damas P. Gruska, Andrea Maggiolo-Schettini:
Process Communication Environment. NAPAW 1992: 27-40 - 1991
- [j17]Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski:
A compositional semantics for unmarked predicate/transition nets. Fundam. Informaticae 14(1): 109-128 (1991) - [j16]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. 83(2): 249-260 (1991) - 1990
- [j15]Emanuela Fachini, Jozef Gruska, Andrea Maggiolo-Schettini, Davide Sangiorgi:
Simulation of Systolic Tree Automata on Trellis Automata. Int. J. Found. Comput. Sci. 1(2): 87-110 (1990) - [c9]Andrea Maggiolo-Schettini, Józef Winkowski:
Programmed Derivations of Relational Structures. Graph-Grammars and Their Application to Computer Science 1990: 582-598 - [c8]Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi:
Comparisons Among Classes of Y-Tree Systolic Automata. MFCS 1990: 254-260
1980 – 1989
- 1988
- [b1]Egon Börger, Andrea Maggiolo-Schettini:
Fondamenti di informatica. ETS Editrice 1988, pp. 1-87 - [j14]Andrea Maggiolo-Schettini, Margherita Napoli
, Genoveffa Tortora:
Web Structures: A Tool for Representing and Manipulating Programs. IEEE Trans. Software Eng. 14(11): 1621-1639 (1988) - 1987
- [j13]Józef Winkowski, Andrea Maggiolo-Schettini:
An Algebra of Processes. J. Comput. Syst. Sci. 35(2): 206-228 (1987) - 1982
- [j12]Andrea Maggiolo-Schettini, Józef Winkowski:
Processes of Transforming Structures. J. Comput. Syst. Sci. 24(3): 245-282 (1982) - [j11]Emanuela Fachini, Andrea Maggiolo-Schettini:
Comparing Hierarchies of Primitive Recursive Sequence Functions. Math. Log. Q. 28(27-32): 431-445 (1982) - [c7]Andrea Maggiolo-Schettini, Józef Winkowski:
Towards a Programming Language for Manipulating Relational Data Bases. Formal Description of Programming Concepts 1982: 265-280 - 1981
- [j10]Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski:
Transformations of Structures: an Algebraic Approach. Math. Syst. Theory 14: 305-334 (1981) - [j9]Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski:
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Theor. Comput. Sci. 13: 61-83 (1981) - [j8]Giorgio Germano, Andrea Maggiolo-Schettini:
Sequence Recursiveness Without Cylindrification and Limited Register Machines. Theor. Comput. Sci. 15: 213-221 (1981)
1970 – 1979
- 1979
- [j7]E. Facchini, Andrea Maggiolo-Schettini:
A Hierarchy of primitive recursive sequence functions. RAIRO Theor. Informatics Appl. 13(1): 49-67 (1979) - [j6]Giorgio Germano, Andrea Maggiolo-Schettini:
Computable Stack Functions for Semantics of Stack Programs. J. Comput. Syst. Sci. 19(2): 133-144 (1979) - [c6]Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski:
Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. Formale Modelle für Informationssysteme 1979: 199-201 - [c5]Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski:
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Semantics of Concurrent Computation