Maurice H. ter Beek

	2009
40		Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek: Architecting Dependable Systems VI Springer 2009
39		Maurice H. ter Beek: Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, (YR-SOC 2009), Pisa, Italy, 17-19th June 2009 YR-SOC 2009
38		Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink: A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. EICS 2009: 211-220
37		Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA 2009: 105-108
36		Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler: Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. INTERACT (1) 2009: 494-509
35		Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi: CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC 2009: 2111-2117
34		Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76
33		Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009)
32		Maurice H. ter Beek, Jetty Kleijn: Associativity of Infinite Synchronized Shuffles and Team Automata. Fundam. Inform. 91(3-4): 437-461 (2009)
31		Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni: Assisting the design of a groupware system. J. Log. Algebr. Program. 78(4): 191-232 (2009)
	2008
30		Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti: Formal verification of an automotive scenario in service-oriented computing. ICSE 2008: 613-622
29		Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti: A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE 2008: 166-180
28		Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens: A Calculus for Team Automata. Electr. Notes Theor. Comput. Sci. 195: 41-55 (2008)
	2007
27		Maurice H. ter Beek, Corrado Moiso, Marinella Petrocchi: Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. AICT 2007: 31
26		Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti: An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. FMICS 2007: 133-148
25		Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
24		Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 168: 1-3 (2007)
23		Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, György Vaszil, Markus Holzer: On Competence in CD Grammar Systems with Parallel Rewriting. Int. J. Found. Comput. Sci. 18(6): 1425-1439 (2007)
22		Maurice H. ter Beek, Jetty Kleijn: Infinite unfair shuffles and associativity. Theor. Comput. Sci. 380(3): 401-410 (2007)
	2006
21		Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso: Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296
20		Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 142: 1-3 (2006)
19		Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols. Journal of Automata, Languages and Combinatorics 11(4): 345-374 (2006)
	2005
18		Maurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50
17		Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis: A case study on the automated verification of groupware protocols. ICSE 2005: 596-603
16		Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: Team Automata for Security: - A Survey -. Electr. Notes Theor. Comput. Sci. 128(5): 105-119 (2005)
15		Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis: Model Checking Publish/Subscribe Notification for thinkteam®. Electr. Notes Theor. Comput. Sci. 133: 275-294 (2005)
14		Maurice H. ter Beek, Jetty Kleijn: Modularity for teams of I/O automata. Inf. Process. Lett. 95(5): 487-495 (2005)
13		Maurice H. ter Beek, Carlos Martín-Vide, Victor Mitrana: Synchronized shuffles. Theor. Comput. Sci. 341(1-3): 263-275 (2005)
	2004
12		Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194
11		Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Markus Holzer, György Vaszil: On Competence in CD Grammar Systems. Developments in Language Theory 2004: 76-88
10		Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana: Teams of pushdown automata. Int. J. Comput. Math. 81(2): 141-156 (2004)
	2003
9		Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana: Teams of Pushdown Automata. Ershov Memorial Conference 2003: 329-337
8		Maurice H. ter Beek, Jetty Kleijn: Team Automata Satisfying Compositionality. FME 2003: 381-400
7		Maurice H. ter Beek: Animal Farm: An Eco-Grammar System. Grammars and Automata for String Processing 2003: 9-16
6		Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg: Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work 12(1): 21-69 (2003)
	2002
5		Maurice H. ter Beek, H. C. M. Kleijn: Petri Net Control for Grammar Systems. Formal and Natural Computing 2002: 220-243
	2001
4		Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg: Team automata for spatial access control. ECSCW 2001: 59-78
	1999
3		Maurice H. ter Beek: Simple Eco-Grammar Systems with Prescribed Teams. Grammatical Models of Multi-Agent Systems 1999: 113-135
	1997
2		Maurice H. ter Beek: Teams in Grammar Systems: Sub-Context-Free Cases. New Trends in Formal Languages 1997: 197-216
	1996
1		Maurice H. ter Beek: Teams in Grammar Systems: Hybridity and Weak Rewriting. Acta Cybern. 12(4): 427-444 (1996)

Coauthor Index

1	Alessandro Aldini	[33]
2	Patrizia Asirelli	[34]
3	Antonio Bucchiarone	[25] [37]
4	Erzsébet Csuhaj-Varjú	[9] [10] [11] [23]
5	Clarence A. Ellis	[4] [6]
6	Jean-Charles Fabre	[40]
7	Giorgio P. Faconti (Giorgio Faconti)	[36] [38]
8	Alessandro Fantechi	[26] [34]
9	Alessandro Forghieri	[15] [17]
10	Cristina Gacek	[40]
11	Fabio Gadducci	[20] [24] [28] [33] [40]
12	Stefania Gnesi	[12] [15] [17] [21] [25] [26] [30] [31] [34] [35] [37]
13	Michael D. Harrison	[29]
14	Markus Holzer	[11] [23]
15	Dirk Janssens	[28]
16	Jetty Kleijn (H. C. M. Kleijn)	[4] [5] [6] [8] [14] [22] [32]
17	Nora Koch	[30]
18	Jean-François Ladry	[38]
19	Diego Latella	[12] [15] [17] [18] [29] [31]
20	Rogério de Lemos	[40]
21	Gabriele Lenzini	[16] [19]
22	Michele Loreti	[29]
23	Carlos Martín-Vide	[13]
24	Mieke Massink	[12] [15] [17] [18] [29] [31] [36] [38]
25	Franco Mazzanti	[21] [26] [30] [35]
26	Victor Mitrana	[9] [10] [13]
27	Corrado Moiso	[21] [27]
28	Philippe A. Palanque	[36] [38]
29	Marinella Petrocchi	[16] [19] [27]
30	Grzegorz Rozenberg	[4] [6]
31	Maurizio Sebastianis	[15] [17] [31]
32	Gianluca Trentanni	[31]
33	György Vaszil	[11] [23]
34	Marco Winckler	[36] [38]