Roel Wieringa

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
135Value-Oriented Coordination Process Model Engineering. Hassan Fatemi, Marten van Sinderen, Roel Wieringa. CAiSE Workshops 2011, 41-44. Web SearchBibTeXDownload
134Model-driven system development: Experimental design and report of the pilot experiment. Sergio España, Nelly Condori-Fernández, Roel Wieringa, Arturo González, Oscar Pastor. CoRR (abs/1111.0562) (2011). Web SearchBibTeXDownload
133Trust and Business Webs. Hassan Fatemi, Marten van Sinderen, Roel Wieringa. EDOC 2011, 119-128. Web SearchBibTeXDownload
132The Structure of Design Theories, and an Analysis of their Use in Software Engineering Experiments. Roel Wieringa, Maya Daneva, Nelly Condori-Fernández. ESEM 2011, 295-304. Web SearchBibTeXDownload
131Empirical research in business process management: introduction to the special issue. Jan Recker, Bela Mutschler, Roel Wieringa. Inf. Syst. E-Business Management (9): 303-306 (2011). Web SearchBibTeXDownload
130E3value to BPMN Model Transformation. Hassan Fatemi, Marten van Sinderen, Roel Wieringa. PRO-VE 2011, 333-340. Web SearchBibTeXDownload
129Risk and argument: A risk-based argumentation method for practical security. Virginia N. L. Franqueira, Thein Than Tun, Yijun Yu, Roel Wieringa, Bashar Nuseibeh. RE 2011, 239-248. Web SearchBibTeXDownload
128Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature. Zornitza Bakalova, Maya Daneva, Andrea Herrmann, Roel Wieringa. REFSQ 2011, 181-195. Web SearchBibTeXDownload
127Model-based qualitative risk assessment for availability of IT infrastructures. Emmanuele Zambon, Sandro Etalle, Roel Wieringa, Pieter H. Hartel. Software and System Modeling (10): 553-580 (2011). Web SearchBibTeXDownload
2010
126External Insider Threat: A Real Security Challenge in Enterprise Value Webs. Virginia N. L. Franqueira, André van Cleeff, Pascal van Eck, Roel Wieringa. ARES 2010, 446-453. Web SearchBibTeXDownload
125Value-Oriented Coordination Process Modeling. Hassan Fatemi, Marten van Sinderen, Roel Wieringa. BPM 2010, 162-177. Web SearchBibTeXDownload
124Rationality of Cross-System Data Duplication: A Case Study. Wiebe Hordijk, Roel Wieringa. CAiSE 2010, 68-82. Web SearchBibTeXDownload
123CRAC: Confidentiality risk assessment and IT-infrastructure comparison. Ayse Morali, Emmanuele Zambon, Sandro Etalle, Roel Wieringa. CNSM 2010, 322-325. Web SearchBibTeXDownload
122Relevance and Problem Choice in Design Science. Roel Wieringa. DESRIST 2010, 61-76. Web SearchBibTeXDownload
121Design science methodology: principles and practice. Roel Wieringa. ICSE (2) 2010, 493-494. Web SearchBibTeXDownload
120A conceptual model and process for client-driven agile requirements prioritization. Zornitza Racheva, Maya Daneva, Andrea Herrmann, Roel Wieringa. RCIS 2010, 287-298. Web SearchBibTeXDownload
119Risk-based Confidentiality Requirements Specification for Outsourced IT Systems. Ayse Morali, Roel Wieringa. RE 2010, 199-208. Web SearchBibTeXDownload
118Do We Know Enough about Requirements Prioritization in Agile Projects: Insights from a Case Study. Zornitza Racheva, Maya Daneva, Klaas Sikkel, Andrea Herrmann, Roel Wieringa. RE 2010, 147-156. Web SearchBibTeXDownload
117MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations. Lianne Bodenstaff, Andreas Wombacher, Manfred Reichert, Roel Wieringa. Service Oriented Computing and Applications (4): 203-228 (2010). Web SearchBibTeXDownload
2009
116Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09). Martin Glinz, Patrick Heymans, Anne Persson, Guttorm Sindre, Aybüke Aurum, Nazim H. Madhavji, Barbara Paech, Gil Regev, Roel Wieringa. ACM SIGSOFT Software Engineering Notes (34): 40-45 (2009). Web SearchBibTeXDownload
115A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation. Virginia N. L. Franqueira, Pascal van Eck, Roel Wieringa, Raul H. C. Lopes. ARES 2009, 546-553. Web SearchBibTeXDownload
114Introduction to the First International Workshop on Empirical Research in Business Process Management (ER-BPM 2009). Bela Mutschler, Jan Recker, Roel Wieringa. Business Process Management Workshops 2009, 427-428. Web SearchBibTeXDownload
113Security Implications of Virtualization: A Literature Study. André van Cleeff, Wolter Pieters, Roel Wieringa. CSE (3) 2009, 353-358. Web SearchBibTeXDownload
112Design science as nested problem solving. Roel Wieringa. DESRIST 2009. Web SearchBibTeXDownload
111A systematic mapping study on empirical evaluation of software requirements specifications techniques. Nelly Condori-Fernández, Maya Daneva, Klaas Sikkel, Roel Wieringa, Óscar Dieste Tubío, Oscar Pastor. ESEM 2009, 502-505. Web SearchBibTeXDownload
110Monitoring Service Compositions in MoDe4SLA - Design of Validation. Lianne Bodenstaff, Andreas Wombacher, Roel Wieringa, Michael C. Jaeger, Manfred Reichert. ICEIS (4) 2009, 114-121. Web SearchBibTeX
109Design Science and Software Engineering. Roel Wieringa. ICSOFT (1) 2009, 5. Web SearchBibTeX
108Towards 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. Valeria de Castro, Esperanza Marcos, Roel Wieringa. Int. J. Cooperative Inf. Syst. (18): 225-260 (2009). Web SearchBibTeXDownload
107From Business Value Model to Coordination Process Model. Hassan Fatemi, Marten van Sinderen, Roel Wieringa. IWEI 2009, 94-106. Web SearchBibTeXDownload
106How to Write and Read a Scientific Evaluation Paper. Roel Wieringa, Hans Heerkens, Björn Regnell. RE 2009, 361-364. Web SearchBibTeXDownload
105Cross-organizational ERP management: how to create a successful business case?. Silja Eckartz, Maya Daneva, Roel Wieringa, Jos van Hillegersberg. SAC 2009, 1599-1604. Web SearchBibTeXDownload
104Towards Management of Complex Service Compositions - Position Paper. Lianne Bodenstaff, Roel Wieringa, Andreas Wombacher, Manfred Reichert. SERVICES II 2009, 160-167. Web SearchBibTeXDownload
103Research Findings on Empirical Evaluation of Requirements Specifications Approaches. Nelly Condori-Fernández, Maya Daneva, Klaas Sikkel, Roel Wieringa, Oscar Dieste, Oscar Pastor. WER 2009. Web SearchBibTeXDownload
2008
102An Approach for Maintaining Models of an E-commerce Collaboration. Lianne Bodenstaff, Andreas Wombacher, Roel Wieringa, Manfred Reichert. CEC/EEE 2008, 239-246. Web SearchBibTeXDownload
101Towards a business-IT aligned maturity model for collaborative networked organizations. Roberto Santana Tapia, Maya Daneva, Pascal van Eck, Roel Wieringa. EDOCW 2008, 276-287. Web SearchBibTeXDownload
100Value-Driven Coordination Process Design Using Physical Delivery Models. Roel Wieringa, Vincent Pijpers, Lianne Bodenstaff, Jaap Gordijn. ER 2008, 216-231. Web SearchBibTeXDownload
99Value-driven Service Matching. Jaap Gordijn, Sybren de Kinderen, Roel Wieringa. RE 2008, 67-70. Web SearchBibTeXDownload
98Design Science, Engineering Science and Requirements Engineering. Roel Wieringa, J. M. G. Heerkens. RE 2008, 310-313. Web SearchBibTeXDownload
97Classifying Assumptions Made during Requirements Verification of Embedded Systems. Jelena Marincic, Angelika Mader, Roel Wieringa. REFSQ 2008, 141-146. Cited by 3Web SearchBibTeXDownload
96Checking the alignment of value-based business models and IT functionality. Novica Zarvic, Roel Wieringa, Pascal van Eck. SAC 2008, 607-613. Web SearchBibTeXDownload
95Towards self-configuration and management of e-service provisioning in dynamic value constellations. Jaap Gordijn, Hans Weigand, Manfred Reichert, Roel Wieringa. SAC 2008, 566-571. Web SearchBibTeXDownload
94Cost estimation for cross-organizational ERP projects: research perspectives. Maya Daneva, Roel Wieringa. Software Quality Journal (16): 459-481 (2008). Web SearchBibTeXDownload
93Real-World Semantics of Conceptual Models. Roel Wieringa. The Evolution of Conceptual Modeling 2008, 1-20. Web SearchBibTeXDownload
92Operational Business-IT Alignment in Value Webs. Roel Wieringa. UNISCON 2008, 371-378. Web SearchBibTeXDownload
91On Quality Issues in Networked Value Constellations. Novica Zarvic, Roel Wieringa, Pascal van Eck. Virtual Enterprises and Collaborative Networks 2008, 425-432. Web SearchBibTeXDownload
90Business-IT Alignment in Value Webs. Roel Wieringa. WER 2008. Web SearchBibTeXDownload
2007
89Guest Editors' Introduction: Stakeholders in Requirements Engineering. Martin Glinz, Roel Wieringa. IEEE Software (24): 18-20 (2007). Web SearchBibTeXDownload
88Value-Based Requirements Engineering for Value Webs. Novica Zarvic, Maya Daneva, Roel Wieringa. REFSQ 2007, 116-128. Web SearchBibTeXDownload
87Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements. Maya Daneva, Mohamad Kassab, María Laura Ponisio, Roel Wieringa, Olga Ormandjieva. WER 2007, 190-196. Web SearchBibTeXDownload
2006
86An Integrated Enterprise Architecture Framework for Business-IT Alignment. Novica Zarvic, Roel Wieringa. BUSITAL 2006. Web SearchBibTeXDownload
85Workshop on technology transfer in software engineering. Warren Harrison, Roel Wieringa. ICSE 2006, 1024-1025. Web SearchBibTeXDownload
84RE 05: Engineering Successful Products. Joanne M. Atlee, Roel Wieringa. IEEE Software (23): 16-18 (2006). Web SearchBibTeXDownload
83Enterprise architecture: Management tool and blueprint for the organisation. Henk Jonkers, Marc M. Lankhorst, Hugo W. L. ter Doest, Farhad Arbab, Hans Bosma, Roel Wieringa. Information Systems Frontiers (8): 63-66 (2006). Web SearchBibTeXDownload
8206351 Summary -- Methods for Modelling Software Systems (MMOSS). Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa. MMOSS 2006. Web SearchBibTeXDownload
8106351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa. MMOSS 2006. Web SearchBibTeXDownload
80Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling. Jaap Gordijn, Michaël Petit, Roel Wieringa. RE 2006, 126-135. Web SearchBibTeXDownload
79A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP. Maya Daneva, Roel Wieringa. RE 2006, 304-307. Web SearchBibTeXDownload
78The methodological soundness of requirements engineering papers: a conceptual framework and two case studies. Roel Wieringa, J. M. G. Heerkens. Requir. Eng. (11): 295-307 (2006). Web SearchBibTeXDownload
77A requirements engineering framework for cross-organizational ERP systems. Maya Daneva, Roel Wieringa. Requir. Eng. (11): 194-204 (2006). Web SearchBibTeXDownload
76Requirements engineering paper classification and evaluation criteria: a proposal and a discussion. Roel Wieringa, Neil A. M. Maiden, Nancy R. Mead, Colette Rolland. Requir. Eng. (11): 102-107 (2006). Web SearchBibTeXDownload
2005
75Cross-Organizational Workflows: A Classification of Design Decisions. Pascal van Eck, Rieko Yamamoto, Jaap Gordijn, Roel Wieringa. CAiSE Short Paper Proceedings 2005. Web SearchBibTeXDownload
74Enhancing a Requirements Specification Method with a Vocabulary Acquisition Tool. Israel Antezana, Emilio Insfrán, Roel Wieringa. CIbSE 2005, 71-82. Web SearchBibTeX
73Semantic and Pragmatic Interoperability: A Model for Understanding. Stanislav Pokraev, Manfred Reichert, Maarten W. A. Steen, Roel Wieringa. EMOI-INTEROP 2005. Web SearchBibTeXDownload
72Surveying the factors that influence maintainability: research design. Wiebe Hordijk, Roel Wieringa. ESEC/SIGSOFT FSE 2005, 385-388. Web SearchBibTeXDownload
71Requirements for Secure Logging of Decentralized Cross-Organizational Workflow Executions. Andreas Wombacher, Roel Wieringa, Willem Jonker, Predrag Knezevic, Stanislav Pokraev. OTM Workshops 2005, 526-536. Web SearchBibTeXDownload
70Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches. Maya Daneva, Roel Wieringa. RE 2005, 63-74. Web SearchBibTeXDownload
69Eliciting User Requirements for Ambient Intelligent Systems: A Case Study. Ana Ivanovic, Aga Matysiak, Klaas Sikkel, Roel Wieringa. RE 2005, 477-478. Web SearchBibTeXDownload
68Requirements researchers: are we really doing research?. Roel Wieringa. Requir. Eng. (10): 304-306 (2005). Web SearchBibTeXDownload
67Value-oriented design of service coordination processes: correctness and trust. Roel Wieringa, Jaap Gordijn. SAC 2005, 1320-1327. Web SearchBibTeXDownload
66Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition. Zlatko Zlatev, Maya Daneva, Roel Wieringa. WER 2005, 26-37. Web SearchBibTeXDownload
2004
65Second International Workshop on From SofTware Requirements to Architectures (STRAW'03). Daniel M. Berry, Rick Kazman, Roel Wieringa. ACM SIGSOFT Software Engineering Notes (29): 1-5 (2004). Web SearchBibTeXDownload
64Towards Semantic Service Specification and Discovery. Stanislav Pokraev, Roel Wieringa, Maarten W. A. Steen. CAiSE Workshops (3) 2004, 363-367. Web SearchBibTeX
63Modelling Mobility Aspects of Security Policies. Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa. CASSIS 2004, 172-191. Web SearchBibTeXDownload
62Value-Based Design of Collaboration Processes for e-Commerce. Pascal van Eck, Jaap Gordijn, Roel Wieringa. EEE 2004, 349-358. Web SearchBibTeXDownload
61Risk-Driven Conceptual Modeling of Outsourcing Decisions. Pascal van Eck, Roel Wieringa, Jaap Gordijn. ER 2004, 709-723. Web SearchBibTeXDownload
60Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract). Roel Wieringa. ICWE 2004, 13-16. Web SearchBibTeXDownload
59Guest Editors' Introduction: RE'03--Practical Requirements Engineering Solutions. Roel Wieringa, Christof Ebert. IEEE Software (21): 16-18 (2004). Web SearchBibTeXDownload
58Tool Support for Verifying UML Activity Diagrams. Rik Eshuis, Roel Wieringa. IEEE Trans. Software Eng. (30): 437-447 (2004). Web SearchBibTeXDownload
57Project Graal: Towards Operational Architecture Alignment. Pascal van Eck, Henk M. Blanken, Roel Wieringa. Int. J. Cooperative Inf. Syst. (13): 235-255 (2004). Web SearchBibTeXDownload
56Developing a Domain-Specific Cross-Organizational RE Method. Jaap Gordijn, Vera Kartseva, Joost Schildwacht, Roel Wieringa, Hans Akkermans. RE 2004, 134-143. Web SearchBibTeXDownload
55Introduction to the RE'03 Special Issue. Roel Wieringa. Requir. Eng. (9): 83-84 (2004). Web SearchBibTeXDownload
2003
54A Value-Oriented Approach to E-business Process Design. Jaap Gordijn, Roel Wieringa. CAiSE 2003, 390-403. Web SearchBibTeXDownload
53Aligning Application Architecture to the Business Context. Roel Wieringa, Henk M. Blanken, Maarten M. Fokkinga, Paul W. P. J. Grefen. CAiSE 2003, 209-225. Cited by 54Web SearchBibTeXDownload
52Second International Workshop on From SofTware Requirements to Architectures (STRAW?03). Daniel M. Berry, Rick Kazman, Roel Wieringa. ICSE 2003, 797-799. Web SearchBibTeXDownload
51Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. Rik Eshuis, Roel Wieringa. Petri Net Technology for Communication-Based Systems 2003, 321-351. Web SearchBibTeXDownload
2002
50A Fixed-point Characterization of a Deontic Logic of Regular Action. Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer. Fundam. Inform. (49): 107-128 (2002). Web SearchBibTeX
49Verification support for workflow design with UML activity graphs. Rik Eshuis, Roel Wieringa. ICSE 2002, 166-176. Web SearchBibTeXDownload
48Extending CTL with Actions and Real Time. David N. Jansen, Roel Wieringa. J. Log. Comput. (12): 607-621 (2002). Web SearchBibTeXDownload
47The mutual exclusion problem in reasoning about action and change. Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa. NMR 2002, 365-371. Web SearchBibTeX
46Requirements Engineering-Based Conceptual Modelling. Emilio Insfrán, Oscar Pastor, Roel Wieringa. Requir. Eng. (7): 61-72 (2002). Web SearchBibTeXDownload
45Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. Rik Eshuis, David N. Jansen, Roel Wieringa. Requir. Eng. (7): 243-263 (2002). Web SearchBibTeXDownload
2001
44Techniques for Reactive System Design: The Tools in TRADE. Roel Wieringa, David N. Jansen. CAiSE 2001, 93-107. Web SearchBibTeXDownload
43A Real-Time Execution Semantics for UML Activity Diagrams. Rik Eshuis, Roel Wieringa. FASE 2001, 76-90. Web SearchBibTeXDownload
42A Fixed-point Characterization of a Deontic Logic of Regular Action. Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer. Fundam. Inform. (48): 107-128 (2001). Web SearchBibTeXDownload
41An Investigation into Agency Requirements in E-Business Information Systems. Pascal van Eck, Roel Wieringa. ICEIS (2) 2001, 1081-1085. Web SearchBibTeX
40Software Requirements Engineering: The Need for Systems Engineering and Literacy. Roel Wieringa. Requir. Eng. (6): 132-134 (2001). Web SearchBibTeXDownload
39Regular database update logics. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer. Theor. Comput. Sci. (254): 591-661 (2001). Web SearchBibTeXDownload
38An Execution Algorithm for UML Activity Graphs. Rik Eshuis, Roel Wieringa. UML 2001, 47-61. Web SearchBibTeXDownload
2000
37A Semantics for Persistency in Propositional Dynamic Logic. Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer. Computational Logic 2000, 912-925. Web SearchBibTeXDownload
36Requirements Level Semantics for UML Statecharts. Rik Eshuis, Roel Wieringa. FMOODS 2000, 121. Web SearchBibTeX
35The Declarative Problem Frame: Designing Systems that Create and Use Norms. Roel Wieringa. IWSSD 2000, 75-86. Web SearchBibTeXDownload
1999
34Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?. Roel Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek. ECOOP Workshops 1999, 49-55. Web SearchBibTeX
33A Logic for the Specification of Multi-Object Systems (Short Paper). Jan Broersen, Roel Wieringa. FMOODS 1999. Web SearchBibTeX
1998
32A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. Roel Wieringa. ACM Comput. Surv. (30): 459-527 (1998). Web SearchBibTeXDownload
31Integrating Semi-Formal and Formal Software Specification Techniques. Roel Wieringa, Eric Dubois. Inf. Syst. (23): 159-178 (1998). Web SearchBibTeXDownload
30The Role of Deontic Logic in the Specification of Information Systems. John-Jules Ch. Meyer, Roel Wieringa, Frank Dignum. Logics for Databases and Information Systems 1998, 71-115. Web SearchBibTeX
1997
29Integrating Semi-formal and Formal Requirements. Roel Wieringa, Eric Dubois, Sander Huyts. CAiSE 1997, 19-32. Web SearchBibTeXDownload
28Advanced Object-Oriented Requirements Specification Methods. Roel Wieringa. RE 1997, 266. Web SearchBibTeXDownload
27Postmodern Software Design with NYAM: Not Yet Another Method. Roel Wieringa. Requirements Targeting Software and Systems Engineering 1997, 69-94. Web SearchBibTeXDownload
1996
26An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. P. d'Altan, John-Jules Ch. Meyer, Roel Wieringa. Artif. Intell. Law (4): 77-111 (1996). Web SearchBibTeXDownload
25A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper. DEON 1996, 80-97. Web SearchBibTeX
24Minimal Semantics for Action Specifications in a Multi-modal Logic. Jan Broersen, Remco Feenstra, Roel Wieringa. FMLDO 1996, 1-10. Web SearchBibTeXDownload
23Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques. Roel Wieringa, Gunter Saake. Requir. Eng. (1): 106-131 (1996). Web SearchBibTeXDownload
22Free Choice and Contextually Permitted Actions. Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa. Studia Logica (57): 193-220 (1996). Web SearchBibTeXDownload
1995
21Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods. Roel Wieringa. Comput. J. (38): 17-30 (1995). Web SearchBibTeXDownload
20LCM and MCM. Roel Wieringa. Formal Development of Reactive Systems 1995, 333-355. Web SearchBibTeX
19Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer. J. Log. Comput. (5): 27-70 (1995). Web SearchBibTeXDownload
18Using Dynamic Classes and Role Classes to Model Object Migration. Roel Wieringa, Wiebren de Jonge, Paul Spruit. TAPOS (1): 61-83 (1995). Web SearchBibTeX
17Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited. Roel Wieringa, Wiebren de Jonge. TAPOS (1): 101-114 (1995). Web SearchBibTeX
1994
16Roles and Dynamic Subclasses: A Modal Logic Approach. Roel Wieringa, Wiebren de Jonge, Paul Spruit. ECOOP 1994, 32-59. Web SearchBibTeXDownload
15Combining TROLL with the Object Modeling Technique. Ralf Jungclaus, Roel Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann. GI Jahrestagung 1994, 35-42. Web SearchBibTeX
1993
14Actors, Actions, and Initiative in Normative System Specification. Roel Wieringa, John-Jules Ch. Meyer. Ann. Math. Artif. Intell. (7): 289-346 (1993). Web SearchBibTeXDownload
1992
13Dynamic Database Logic: the First-order Case. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer. FMLDO 1992, 103-120. Web SearchBibTeX
1991
12The Inheritance of Dynamic and Deontic Integrity Constraints. Roel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum. Ann. Math. Artif. Intell. (3): 393-428 (1991). Web SearchBibTeXDownload
11Some Finite-Graph Models for Process Algebra. Paul Spruit, Roel Wieringa. CONCUR 1991, 495-509. Web SearchBibTeXDownload
10Steps towards a method for the formal modeling of dynamic objects. Roel Wieringa. Data Knowl. Eng. (6): 509-540 (1991). Web SearchBibTeXDownload
9A Formalization of Objects Using Equational Dynamic Logic. Roel Wieringa. DOOD 1991, 431-452. Web SearchBibTeXDownload
8Discussion Issues for a Working Group on Update Semantics of Logic Databases. Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa. FMLDO 1991, 209-210. Web SearchBibTeX
7Actor-Oriented Specification of Deontic Integrity Constraints. Roel Wieringa, John-Jules Ch. Meyer. MFDBS 1991, 89-103. Web SearchBibTeX
6Actor-Oriented System Specification with Dynamic Logic. John-Jules Ch. Meyer, Roel Wieringa. TAPSOFT, Vol.2 1991, 337-357. Web SearchBibTeXDownload
1990
5Equational Specification of Dynamic Objects. Roel Wieringa. DS-4 1990, 415-438. Web SearchBibTeX
4Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract). Roel Wieringa. FMLDO 1990, 199-208. Web SearchBibTeX
1989
3Specifying Dynamic and Deontic Integrity Constraints. Roel Wieringa, John-Jules Ch. Meyer, Hans Weigand. Data Knowl. Eng. (4): 157-189 (1989). Web SearchBibTeXDownload
2A Specification Language for Static, Dynamic and Deontic Integrity Constraints. John-Jules Ch. Meyer, Hans Weigand, Roel Wieringa. MFDBS 1989, 347-366. Web SearchBibTeXDownload
1988
1Algebraic Specification of Object Dynamics in Knowledge Base Domains. Roel Wieringa, Reind P. van de Riet. DS-3 1988, 411-436. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research