Roel Wieringa Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal van Eck, Jaap Gordijn, Roel Wieringa: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings Springer 2009
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVirginia N. L. Franqueira, Pascal van Eck, Roel Wieringa, Raul H. C. Lopes: A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation. ARES 2009: 546-553
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré van Cleeff, Wolter Pieters, Roel Wieringa: Security Implications of Virtualization: A Literature Study. CSE (3) 2009: 353-358
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNelly Condori-Fernández, Maya Daneva, Klaas Sikkel, Roel Wieringa, Óscar Dieste Tubío, Oscar Pastor: A systematic mapping study on empirical evaluation of software requirements specifications techniques. ESEM 2009: 502-505
107no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLianne Bodenstaff, Andreas Wombacher, Roel Wieringa, Michael C. Jaeger, Manfred Reichert: Monitoring Service Compositions in MoDe4SLA - Design of Validation. ICEIS (4) 2009: 114-121
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Design Science and Software Engineering. ICSOFT (1) 2009: 5
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Hans Heerkens, Björn Regnell: How to Write and Read a Scientific Evaluation Paper. RE 2009: 361-364
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilja Eckartz, Maya Daneva, Roel Wieringa, Jos van Hillegersberg: Cross-organizational ERP management: how to create a successful business case? SAC 2009: 1599-1604
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLianne Bodenstaff, Roel Wieringa, Andreas Wombacher, Manfred Reichert: Towards Management of Complex Service Compositions - Position Paper. SERVICES II 2009: 160-167
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Glinz, Patrick Heymans, Anne Persson, Guttorm Sindre, Aybüke Aurum, Nazim H. Madhavji, Barbara Paech, Gil Regev, Roel Wieringa: Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09). ACM SIGSOFT Software Engineering Notes 34(5): 40-45 (2009)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValeria de Castro, Esperanza Marcos, Roel Wieringa: Towards a Service-Oriented MDA-Based Approach to the Alignment of Business Processes with IT Systems: from the Business Model to a Web Service Composition Model. Int. J. Cooperative Inf. Syst. 18(2): 225-260 (2009)
2008
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLianne Bodenstaff, Andreas Wombacher, Roel Wieringa, Manfred Reichert: An Approach for Maintaining Models of an E-commerce Collaboration. CEC/EEE 2008: 239-246
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Vincent Pijpers, Lianne Bodenstaff, Jaap Gordijn: Value-Driven Coordination Process Design Using Physical Delivery Models. ER 2008: 216-231
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, J. M. G. Heerkens: Design Science, Engineering Science and Requirements Engineering. RE 2008: 310-313
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Gordijn, Sybren de Kinderen, Roel Wieringa: Value-driven Service Matching. RE 2008: 67-70
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJelena Marincic, Angelika Mader, Roel Wieringa: Classifying Assumptions Made during Requirements Verification of Embedded Systems. REFSQ 2008: 141-146
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Gordijn, Hans Weigand, Manfred Reichert, Roel Wieringa: Towards self-configuration and management of e-service provisioning in dynamic value constellations. SAC 2008: 566-571
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNovica Zarvic, Roel Wieringa, Pascal van Eck: Checking the alignment of value-based business models and IT functionality. SAC 2008: 607-613
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Operational Business-IT Alignment in Value Webs. UNISCON 2008: 371-378
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNovica Zarvic, Roel Wieringa, Pascal van Eck: On Quality Issues in Networked Value Constellations. Virtual Enterprises and Collaborative Networks 2008: 425-432
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaya Daneva, Roel Wieringa: Cost estimation for cross-organizational ERP projects: research perspectives. Software Quality Journal 16(3): 459-481 (2008)
2007
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNovica Zarvic, Maya Daneva, Roel Wieringa: Value-Based Requirements Engineering for Value Webs. REFSQ 2007: 116-128
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaya Daneva, Mohamad Kassab, María Laura Ponisio, Roel Wieringa, Olga Ormandjieva: Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements. WER 2007: 190-196
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Glinz, Roel Wieringa: Guest Editors' Introduction: Stakeholders in Requirements Engineering. IEEE Software 24(2): 18-20 (2007)
2006
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNovica Zarvic, Roel Wieringa: An Integrated Enterprise Architecture Framework for Business-IT Alignment. BUSITAL 2006
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWarren Harrison, Roel Wieringa: Workshop on technology transfer in software engineering. ICSE 2006: 1024-1025
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Gordijn, Michaël Petit, Roel Wieringa: Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling. RE 2006: 126-135
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaya Daneva, Roel Wieringa: A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP. RE 2006: 304-307
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne M. Atlee, Roel Wieringa: RE 05: Engineering Successful Products. IEEE Software 23(3): 16-18 (2006)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenk Jonkers, Marc M. Lankhorst, Hugo W. L. ter Doest, Farhad Arbab, Hans Bosma, Roel Wieringa: Enterprise architecture: Management tool and blueprint for the organisation. Information Systems Frontiers 8(2): 63-66 (2006)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Neil A. M. Maiden, Nancy R. Mead, Colette Rolland: Requirements engineering paper classification and evaluation criteria: a proposal and a discussion. Requir. Eng. 11(1): 102-107 (2006)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaya Daneva, Roel Wieringa: A requirements engineering framework for cross-organizational ERP systems. Requir. Eng. 11(3): 194-204 (2006)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, J. M. G. Heerkens: The methodological soundness of requirements engineering papers: a conceptual framework and two case studies. Requir. Eng. 11(4): 295-307 (2006)
2005
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal van Eck, Rieko Yamamoto, Jaap Gordijn, Roel Wieringa: Cross-Organizational Workflows: A Classification of Design Decisions. CAiSE Short Paper Proceedings 2005
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStanislav Pokraev, Manfred Reichert, Maarten W. A. Steen, Roel Wieringa: Semantic and Pragmatic Interoperability: A Model for Understanding. EMOI-INTEROP 2005
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe Hordijk, Roel Wieringa: Surveying the factors that influence maintainability: research design. ESEC/SIGSOFT FSE 2005: 385-388
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal van Eck, Rieko Yamamoto, Jaap Gordijn, Roel Wieringa: Cross-Organizational Workflows: A Classification of Design Decisions. I3E 2005: 449-463
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Wombacher, Roel Wieringa, Willem Jonker, Predrag Knezevic, Stanislav Pokraev: Requirements for Secure Logging of Decentralized Cross-Organizational Workflow Executions. OTM Workshops 2005: 526-536
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Ivanovic, Aga Matysiak, Klaas Sikkel, Roel Wieringa: Eliciting User Requirements for Ambient Intelligent Systems: A Case Study. RE 2005: 477-478
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaya Daneva, Roel Wieringa: Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches. RE 2005: 63-74
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Jaap Gordijn: Value-oriented design of service coordination processes: correctness and trust. SAC 2005: 1320-1327
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZlatko Zlatev, Maya Daneva, Roel Wieringa: Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition. WER 2005: 26-37
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Requirements researchers: are we really doing research?. Requir. Eng. 10(4): 304-306 (2005)
2004
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa: Modelling Mobility Aspects of Security Policies. CASSIS 2004: 172-191
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStanislav Pokraev, Roel Wieringa, Maarten W. A. Steen: Towards Semantic Service Specification and Discovery. CAiSE Workshops (3) 2004: 363-367
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal van Eck, Jaap Gordijn, Roel Wieringa: Value-Based Design of Collaboration Processes for e-Commerce. EEE 2004: 349-358
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal van Eck, Roel Wieringa, Jaap Gordijn: Risk-Driven Conceptual Modeling of Outsourcing Decisions. ER 2004: 709-723
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract). ICWE 2004: 13-16
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Gordijn, Vera Kartseva, Joost Schildwacht, Roel Wieringa, Hans Akkermans: Developing a Domain-Specific Cross-Organizational RE Method. RE 2004: 134-143
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel M. Berry, Rick Kazman, Roel Wieringa: Second International Workshop on From SofTware Requirements to Architectures (STRAW'03). ACM SIGSOFT Software Engineering Notes 29(3): 1-5 (2004)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Christof Ebert: Guest Editors' Introduction: RE'03--Practical Requirements Engineering Solutions. IEEE Software 21(2): 16-18 (2004)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRik Eshuis, Roel Wieringa: Tool Support for Verifying UML Activity Diagrams. IEEE Trans. Software Eng. 30(7): 437-447 (2004)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal van Eck, Henk M. Blanken, Roel Wieringa: Project Graal: Towards Operational Architecture Alignment. Int. J. Cooperative Inf. Syst. 13(3): 235-255 (2004)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Introduction to the RE'03 Special Issue. Requir. Eng. 9(2): 83-84 (2004)
2003
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Henk M. Blanken, Maarten M. Fokkinga, Paul W. P. J. Grefen: Aligning Application Architecture to the Business Context. CAiSE 2003: 209-225
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Gordijn, Roel Wieringa: A Value-Oriented Approach to E-business Process Design. CAiSE 2003: 390-403
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel M. Berry, Rick Kazman, Roel Wieringa: Second International Workshop on From SofTware Requirements to Architectures (STRAW?03). ICSE 2003: 797-799
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRik Eshuis, Roel Wieringa: Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. Petri Net Technology for Communication-Based Systems 2003: 321-351
2002
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRik Eshuis, Roel Wieringa: Verification support for workflow design with UML activity graphs. ICSE 2002: 166-176
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, John-Jules Ch. Meyer, Roel Wieringa: The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Inform. 49(4): 107-128 (2002)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Jansen, Roel Wieringa: Extending CTL with Actions and Real Time. J. Log. Comput. 12(4): 607-621 (2002)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmilio Insfrán, Oscar Pastor, Roel Wieringa: Requirements Engineering-Based Conceptual Modelling. Requir. Eng. 7(2): 61-72 (2002)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRik Eshuis, David N. Jansen, Roel Wieringa: Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. Requir. Eng. 7(4): 243-263 (2002)
2001
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, David N. Jansen: Techniques for Reactive System Design: The Tools in TRADE. CAiSE 2001: 93-107
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRik Eshuis, Roel Wieringa: A Real-Time Execution Semantics for UML Activity Diagrams. FASE 2001: 76-90
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal van Eck, Roel Wieringa: An Investigation into Agency Requirements in E-Business Information Systems. ICEIS (2) 2001: 1081-1085
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRik Eshuis, Roel Wieringa: An Execution Algorithm for UML Activity Graphs. UML 2001: 47-61
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Inform. 48(2-3): 107-128 (2001)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Software Requirements Engineering: The Need for Systems Engineering and Literacy. Requir. Eng. 6(2): 132-134 (2001)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001)
2000
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRik Eshuis, Roel Wieringa: Requirements Level Semantics for UML Statecharts. FMOODS 2000: 121-
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: The Declarative Problem Frame: Designing Systems that Create and Use Norms. IWSSD 2000: 75-86
1999
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek: Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? ECOOP Workshops 1999: 49-55
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Roel Wieringa: A Logic for the Specification of Multi-Object Systems (Short Paper). FMOODS 1999
1998
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Roel Wieringa, Frank Dignum: The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems 1998: 71-115
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. ACM Comput. Surv. 30(4): 459-527 (1998)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Eric Dubois: Integrating Semi-Formal and Formal Software Specification Techniques. Inf. Syst. 23(3-4): 159-178 (1998)
1997
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Eric Dubois, Sander Huyts: Integrating Semi-formal and Formal Requirements. CAiSE 1997: 19-32
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Advanced Object-Oriented Requirements Specification Methods. RE 1997: 266
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Postmodern Software Design with NYAM: Not Yet Another Method. Requirements Targeting Software and Systems Engineering 1997: 69-94
1996
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper: A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON 1996: 80-97
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Remco Feenstra, Roel Wieringa: Minimal Semantics for Action Specifications in a Multi-modal Logic. FMLDO 1996: 1-10
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. d'Altan, John-Jules Ch. Meyer, Roel Wieringa: An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. Artif. Intell. Law 4(2): 77-111 (1996)
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Gunter Saake: Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques. Requir. Eng. 1(2): 106-131 (1996)
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Dignum, John-Jules Ch. Meyer, Roel Wieringa: Free Choice and Contextually Permitted Actions. Studia Logica 57(1): 193-220 (1996)
1995
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: LCM and MCM. Formal Development of Reactive Systems 1995: 333-355
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods. Comput. J. 38(1): 17-30 (1995)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. J. Log. Comput. 5(1): 27-70 (1995)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Wiebren de Jonge, Paul Spruit: Using Dynamic Classes and Role Classes to Model Object Migration. TAPOS 1(1): 61-83 (1995)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Wiebren de Jonge: Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited. TAPOS 1(2): 101-114 (1995)
1994
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Wiebren de Jonge, Paul Spruit: Roles and Dynamic Subclasses: A Modal Logic Approach. ECOOP 1994: 32-59
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Jungclaus, Roel Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann: Combining TROLL with the Object Modeling Technique. GI Jahrestagung 1994: 35-42
1993
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, John-Jules Ch. Meyer: Actors, Actions, and Initiative in Normative System Specification. Ann. Math. Artif. Intell. 7(1-4): 289-346 (1993)
1992
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120
1991
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, Roel Wieringa: Some Finite-Graph Models for Process Algebra. CONCUR 1991: 495-509
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: A Formalization of Objects Using Equational Dynamic Logic. DOOD 1991: 431-452
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Spruit, John-Jules Ch. Meyer, Roel Wieringa: Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, John-Jules Ch. Meyer: Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Roel Wieringa: Actor-Oriented System Specification with Dynamic Logic. TAPSOFT, Vol.2 1991: 337-357
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum: The Inheritance of Dynamic and Deontic Integrity Constraints. Ann. Math. Artif. Intell. 3(2-4): 393-428 (1991)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Steps towards a method for the formal modeling of dynamic objects. Data Knowl. Eng. 6: 509-540 (1991)
1990
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Equational Specification of Dynamic Objects. DS-4 1990: 415-438
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa: Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract). FMLDO 1990: 199-208
1989
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Hans Weigand, Roel Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, John-Jules Ch. Meyer, Hans Weigand: Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189 (1989)
1988
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Reind P. van de Riet: Algebraic Specification of Object Dynamics in Knowledge Base Domains. DS-3 1988: 411-436

Coauthor Index

1Hans Akkermans (J. M. Akkermans) [60]
2Farhad Arbab [79]
3Egidio Astesiano [34]
4Joanne M. Atlee [80]
5Aybüke Aurum [102]
6Klaas van den Berg [34]
7Daniel M. Berry [52] [59]
8Henk M. Blanken [54] [56]
9Lianne Bodenstaff [99] [100] [103] [107]
10Hans Bosma [79]
11Ed Brinksma [83] [84] [90]
12Pim van den Broek (P. M. van den Broek) [34]
13Jan Broersen [25] [33] [37] [40] [48] [49]
14Valeria de Castro [101]
15André van Cleeff [109]
16Nelly Condori-Fernández [108]
17Maya Daneva [67] [69] [77] [81] [88] [89] [91] [104] [108]
18Frank Dignum (F. P. M. Dignum) [7] [22] [26] [32]
19Hugo W. L. ter Doest [79]
20Eric Dubois [29] [30]
21Christof Ebert [58]
22Pascal van Eck [42] [56] [62] [63] [65] [72] [75] [92] [94] [110] [111]
23Silja Eckartz [104]
24Rik Eshuis [36] [41] [43] [45] [50] [51] [57]
25Sandro Etalle [65]
26Remco Feenstra [25]
27Maarten M. Fokkinga [54]
28Virginia N. L. Franqueira [110]
29Martin Glinz [87] [102]
30Jaap Gordijn [53] [60] [62] [63] [68] [72] [75] [82] [95] [97] [99] [111]
31Paul W. P. J. Grefen [54]
32Alain Le Guennec [34]
33David Harel [83] [84] [90]
34Warren Harrison [85]
35Peter Hartel [15]
36Pieter H. Hartel [65]
37Thorsten Hartmann [15]
38Hans Heerkens [105]
39J. M. G. Heerkens [76] [98]
40Patrick Heymans [102]
41Jos van Hillegersberg [104]
42Wiebe Hordijk [73]
43Heinrich Hußmann (Heinrich Hussmann) [34]
44Sander Huyts [29]
45Emilio Insfrán (Emilio Insfrán Pelozo) [46]
46Ana Ivanovic [70]
47Michael C. Jaeger [107]
48David N. Jansen [44] [45] [47]
49Wiebren de Jonge [16] [17] [18]
50Willem Jonker [71]
51Henk Jonkers [79]
52Ralf Jungclaus [15]
53Vera Kartseva [60]
54Mohamad Kassab [88]
55Rick Kazman [52] [59]
56Sybren de Kinderen [97]
57Predrag Knezevic [71]
58Ruurd Kuiper [26]
59Marc M. Lankhorst [79]
60Raul H. C. Lopes [110]
61Angelika Mader [83] [84] [90] [96]
62Nazim H. Madhavji [102]
63Neil A. M. Maiden [78]
64Esperanza Marcos (Esperanza Marcos Martínez) [101]
65Jelena Marincic [96]
66Aga Matysiak [70]
67Nancy R. Mead [78]
68John-Jules Ch. Meyer [2] [3] [7] [8] [9] [10] [13] [14] [19] [22] [24] [26] [32] [37] [38] [40] [48] [49]
69Olga Ormandjieva [88]
70Barbara Paech [102]
71Oscar Pastor [46] [108]
72Anne Persson [102]
73Michaël Petit [82]
74Wolter Pieters [109]
75Vincent Pijpers [99]
76Stanislav Pokraev [64] [71] [74]
77María Laura Ponisio [88]
78Gil Regev [102]
79Gianna Reggio [34]
80Björn Regnell [105]
81Manfred Reichert [74] [95] [100] [103] [107]
82Reind P. van de Riet [1]
83Colette Rolland [78]
84Gunter Saake [15] [23]
85Joost Schildwacht [60]
86Klaas Sikkel [70] [108]
87Guttorm Sindre [102]
88Paul Spruit [10] [12] [13] [16] [18] [19] [38]
89Maarten W. A. Steen [64] [74]
90Perdita Stevens [83] [84] [90]
91Óscar Dieste Tubío [108]
92Hans Weigand [2] [3] [7] [95]
93Andreas Wombacher [71] [100] [103] [107]
94Rieko Yamamoto [72] [75]
95Novica Zarvic [86] [89] [92] [94]
96Zlatko Zlatev [67]
97P. d'Altan [24]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)