The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maurice H. ter Beek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Maurice H. ter Beek
    Animal Farm: An Eco-Grammar System. [Citation Graph (0, 0)][DBLP]
    Grammars and Automata for String Processing, 2003, pp:9-16 [Conf]
  2. Maurice H. ter Beek
    Teams in Grammar Systems: Sub-Context-Free Cases. [Citation Graph (0, 0)][DBLP]
    New Trends in Formal Languages, 1997, pp:197-216 [Conf]
  3. Maurice H. ter Beek, H. C. M. Kleijn
    Petri Net Control for Grammar Systems. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:220-243 [Conf]
  4. Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi
    Model Checking Groupware Protocols. [Citation Graph (0, 0)][DBLP]
    COOP, 2004, pp:179-194 [Conf]
  5. Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Markus Holzer, György Vaszil
    On Competence in CD Grammar Systems. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2004, pp:76-88 [Conf]
  6. Maurice H. ter Beek, Mieke Massink, Diego Latella
    Towards Model Checking Stochastic Aspects of the thinkteam User Interface. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:39-50 [Conf]
  7. Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso
    Formal Modelling and Verification of an Asynchronous Extension of SOAP. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2006, pp:287-296 [Conf]
  8. Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
    Team automata for spatial access control. [Citation Graph (0, 0)][DBLP]
    ECSCW, 2001, pp:59-78 [Conf]
  9. Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana
    Teams of Pushdown Automata. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:329-337 [Conf]
  10. Maurice H. ter Beek, Jetty Kleijn
    Team Automata Satisfying Compositionality. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:381-400 [Conf]
  11. Maurice H. ter Beek
    Simple Eco-Grammar Systems with Prescribed Teams. [Citation Graph (0, 0)][DBLP]
    Grammatical Models of Multi-Agent Systems, 1999, pp:113-135 [Conf]
  12. Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
    A case study on the automated verification of groupware protocols. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:596-603 [Conf]
  13. Maurice H. ter Beek
    Teams in Grammar Systems: Hybridity and Weak Rewriting. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1996, v:12, n:4, pp:427-444 [Journal]
  14. Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
    Synchronizations in Team Automata for Groupware Systems. [Citation Graph (0, 0)][DBLP]
    Computer Supported Cooperative Work, 2003, v:12, n:1, pp:21-69 [Journal]
  15. Maurice H. ter Beek, Fabio Gadducci
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:142, n:, pp:1-3 [Journal]
  16. Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi
    Team Automata for Security: - A Survey -. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:105-119 [Journal]
  17. Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
    Model Checking Publish/Subscribe Notification for thinkteam®. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:275-294 [Journal]
  18. Maurice H. ter Beek, Fabio Gadducci
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:1-3 [Journal]
  19. Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana
    Teams of pushdown automata. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Math., 2004, v:81, n:2, pp:141-156 [Journal]
  20. Maurice H. ter Beek, Jetty Kleijn
    Modularity for teams of I/O automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:95, n:5, pp:487-495 [Journal]
  21. Maurice H. ter Beek, Carlos Martín-Vide, Victor Mitrana
    Synchronized shuffles. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:341, n:1-3, pp:263-275 [Journal]
  22. Maurice H. ter Beek, Jetty Kleijn
    Infinite unfair shuffles and associativity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:380, n:3, pp:401-410 [Journal]

  23. Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. [Citation Graph (, )][DBLP]


  24. Dynamic Software Architecture Development: Towards an Automated Process. [Citation Graph (, )][DBLP]


  25. Formal verification of an automotive scenario in service-oriented computing. [Citation Graph (, )][DBLP]


  26. Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. [Citation Graph (, )][DBLP]


  27. CMC-UMC: a framework for the verification of abstract service-oriented properties. [Citation Graph (, )][DBLP]


  28. A Fluid Flow Approach to Usability Analysis of Multi-user Systems. [Citation Graph (, )][DBLP]


  29. An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. [Citation Graph (, )][DBLP]


  30. Web Service Composition Approaches: From Industrial Standards to Formal Methods. [Citation Graph (, )][DBLP]


  31. A Deontic Logical Framework for Modelling Product Families. [Citation Graph (, )][DBLP]


  32. Deontic Logics for Modeling Behavioural Variability. [Citation Graph (, )][DBLP]


  33. A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. [Citation Graph (, )][DBLP]


  34. A Calculus for Team Automata. [Citation Graph (, )][DBLP]


  35. Preface. [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002