Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarHeinz W. Schmidt
Heinrich-Wilhelm Schmidt
Person information
- affiliation: RMIT University, Melbourne, School of Computer Science and Information Technology
- affiliation: Monash University, School of Computer Science and Software Engineering
- affiliation: University of California Berkeley, International Computer Science Institute (ICSI)
- affiliation: German National Research Centre for Information Technology (GMD)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
[j20]Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Heinz W. Schmidt:
Chiminey: Connecting Scientists to HPC, Cloud and Big Data. Big Data Research 8: 39-49 (2017)- [c91]Maria Spichkova, Heinz W. Schmidt, Catia Trubiani:
Role of women in software architecture: an attempt at a systematic literature review. ECSA (Companion) 2017: 31-34 - [c90]Guillaume Prévost, Jan Olaf Blech, Keith Foster, Heinrich-Wilhelm Schmidt:
An Architecture for Visualization of Industrial Automation Data. ENASE 2017: 38-46 - [c89]Khandakar Ahmed, Nazmus S. Nafi, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt:
Software defined industry automation networks. ITNAC 2017: 1-3 - [c88]Leroy Clunne-Kiely, Bijin Idicula, Luke Payne, Enrico Ronggowarsito, Maria Spichkova, Milan Simic, Heinrich-Wilhelm Schmidt:
Modelling and Implementation of Humanoid Robot Behaviour. KES 2017: 2249-2258 - [c87]Huai Liu, Jan Olaf Blech, Matt Duckham, Heinz W. Schmidt:
Spatio-Temporal Aware Testing for Complex Systems. QRS Companion 2017: 569-570 - 2016
- [j19]Peter Herrmann, Jan Olaf Blech, Fenglin Han, Heinz W. Schmidt:
A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. Int. J. Web Service Res. 13(1): 40-52 (2016) - [c86]Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt:
Test Case Prioritization Using Online Fault Detection Information. Ada-Europe 2016: 78-93 - [c85]Ian D. Peake, Jan Olaf Blech, Edward Watkins, Stefan Greuter, Heinz W. Schmidt:
The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization. AVR (1) 2016: 186-197 - [c84]Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer:
Managing Usability and Reliability Aspects in Cloud Computing. ENASE 2016: 288-295 - [c83]Arlinta Christy Barus, Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Heinz W. Schmidt:
The impact of source test case selection on the effectiveness of metamorphic testing. MET@ICSE 2016: 5-11 - [c82]Maria Spichkova, Milan Simic, Heinz W. Schmidt:
From Automotive to Autonomous: Time-Triggered Operating Systems. IIMSS 2016: 347-359 - [c81]Maria Spichkova, Milan Simic, Heinrich-Wilhelm Schmidt, Jian Cheng, Xuening Dong, Yuxi Gui, Yin Liang, Peng Ling, Zixiong Yin:
Formal Models for Intelligent Speed Validation and Adaptation. KES 2016: 1609-1618 - [i10]Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer:
Managing Usability and Reliability Aspects in Cloud Computing. CoRR abs/1612.01675 (2016) - 2015
- [c80]Huai Liu, Maria Spichkova, Heinz W. Schmidt, Timos K. Sellis, Matt Duckham:
Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud. ASWEC (2) 2015: 18-22 - [c79]Huai Liu, Maria Spichkova, Heinz W. Schmidt, Andreas Ulrich, Horst Sauer, Jan Wieghardt:
Efficient Testing based on Logical Architecture. ASWEC (2) 2015: 49-53 - [c78]Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. COMPSAC 2015: 638-646 - [c77]Maria Spichkova, Heinz W. Schmidt, Catia Trubiani:
Introduction to the SAGRA 2015 workshop. ECSA Workshops 2015: 60:1-60:2 - [c76]Maria Spichkova, Huai Liu, Heinz W. Schmidt:
Towards Quality-Oriented Architecture: Integration in a Global Context. ECSA Workshops 2015: 64:1-64:5 - [c75]Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering Aspects of a Geographically Distributed Architecture. ENASE 2015: 276-281 - [c74]Jan Olaf Blech, Peter Herrmann, Ian D. Peake, Heinz W. Schmidt:
Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. ENASE 2015: 331-336 - [c73]Jan Olaf Blech, Ian D. Peake, Heinz W. Schmidt, Mallikarjun Kande, Akilur Rahman, Srini Ramaswamy, Sithu D. Sudarsan, Venkateswaran Narayanan:
Efficient incident handling in industrial automation through collaborative engineering. ETFA 2015: 1-8 - [c72]Ian D. Peake, Jan Olaf Blech, Lasith Fernando, Heinz W. Schmidt, Ravi Sreenivasamurthy, Sithu D. Sudarsan:
Visualization facilities for distributed and remote industrial automation: VxLab. ETFA 2015: 1-4 - [c71]Maria Spichkova, Ian E. Thomas, Heinz W. Schmidt, Iman I. Yusuf, Daniel W. Drumm, Steve G. Androulakis, George Opletal, Salvy P. Russo:
Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation. ICPADS 2015: 396-404 - [c70]Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt:
Software Defined Networking for Communication and Control of Cyber-Physical Systems. ICPADS 2015: 803-808 - [c69]
- [c68]Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Steve G. Androulakis, Grischa R. Meyer, Daniel W. Drumm, George Opletal, Salvy P. Russo, Ashley M. Buckle, Heinz W. Schmidt:
Chiminey: Reliable Computing and Data Management Platform in the Cloud. ICSE (2) 2015: 677-680 - [c67]Maria Spichkova, Milan Simic, Heinz W. Schmidt:
Formal Model for Intelligent Route Planning. KES 2015: 1299-1308 - [c66]Maria Spichkova, Heinz W. Schmidt, Md. Rashed Iqbal Nekvi, Nazim H. Madhavji:
Structuring diverse regulatory requirements for global product development. RELAW 2015: 57-60 - [i9]Maria Spichkova, Heinz W. Schmidt:
Reconciling a component and process view. CoRR abs/1503.03195 (2015) - [i8]Maria Spichkova, Huai Liu, Mohsen Laali, Heinz W. Schmidt:
Human Factors in Software Reliability Engineering. CoRR abs/1503.03584 (2015) - [i7]Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Steve G. Androulakis, Grischa R. Meyer, Daniel W. Drumm, George Opletal, Salvy P. Russo, Ashley M. Buckle, Heinz W. Schmidt:
Chiminey: Reliable Computing and Data Management Platform in the Cloud. CoRR abs/1507.01321 (2015) - [i6]Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering Aspects of a Geographically Distributed Architecture. CoRR abs/1508.01623 (2015) - [i5]Ian D. Peake, Jan Olaf Blech, Ian E. Thomas, Nicholas R. May, Heinz W. Schmidt, Lasith Fernando, Ravi Sreenivasamurthy:
The Virtual Experiences Lab - a platform for global collaborative engineering and beyond. CoRR abs/1510.09077 (2015) - 2014
- [c65]Maria Spichkova, Heinrich-Wilhelm Schmidt:
Towards Logical Architecture and Formal Analysis of Dependencies between Services. APSCC 2014: 121-128 - [c64]Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz W. Schmidt:
Visualization, Simulation and Validation for Cyber-Virtual Systems. ENASE (Selected Papers) 2014: 140-154 - [c63]Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt:
Cyber-virtual Systems - Simulation, Validation & Visualization. ENASE 2014: 218-225 - [c62]Jan Olaf Blech, Ian D. Peake, Heinz W. Schmidt, Mallikarjun Kande, Srini Ramaswamy, Sithu D. Sudarsan, Venkateswaran Narayanan:
Collaborative engineering through integration of architectural, social and spatial models. ETFA 2014: 1-4 - [c61]Huai Liu, Iman I. Yusuf, Heinz W. Schmidt, Tsong Yueh Chen:
Metamorphic fault tolerance: an automated and systematic methodology for fault tolerance in the absence of test oracle. ICSE Companion 2014: 420-423 - [c60]Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. MoDeVVa@MoDELS 2014: 49-58 - [c59]Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. FESCA 2014: 1-15 - [i4]Maria Spichkova, Heinz W. Schmidt, Ian D. Peake:
From abstract modelling to remote cyber-physical integration/interoperability testing. CoRR abs/1403.1005 (2014) - [i3]Jan Olaf Blech, Heinz W. Schmidt:
BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems. CoRR abs/1404.3537 (2014) - [i2]Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt:
Cyber-Virtual Systems: Simulation, Validation & Visualization. CoRR abs/1410.1258 (2014) - [i1]Maria Spichkova, Heinz W. Schmidt:
Towards Logical Architecture and Formal Analysis of Dependencies Between Services. CoRR abs/1412.3529 (2014) - 2013
- [c58]Iman I. Yusuf, Heinz W. Schmidt:
Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings. CBSE 2013: 121-130 - [c57]Terry G. Zhou, Ian D. Peake, Heinz W. Schmidt:
Towards cost-aware service recovery. QoSA 2013: 53-62 - 2011
- [c56]Ian D. Peake, Heinz W. Schmidt:
Systematic simplicity-accuracy tradeoffs in parameterised contract models. QoSA/ISARCS 2011: 95-104 - [c55]Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake:
Architecture-based fault tolerance support for grid applications. QoSA/ISARCS 2011: 177-182 - [p1]Leelani Kumari Wickramasinghe, Michael P. Georgeff, Christian Guttmann, Ian E. Thomas, Heinz W. Schmidt:
Cost/Benefit Analysis of an Adherence Support Framework for Chronic Disease Management. Behaviour Monitoring and Interpretation 2011: 105-127 - 2010
- [c54]Leelani Kumari Wickramasinghe, Christian Guttmann, Michael P. Georgeff, Ian E. Thomas, Heinz W. Schmidt:
An Adherence Support Framework for Service Delivery in Customer Life Cycle Management. COIN@AAMAS&MALLOW 2010: 210-229 - [c53]Christian Guttmann, Leelani Kumari Wickramasinghe, Ian E. Thomas, Michael P. Georgeff, Heinz W. Schmidt:
Intelligent Adherence Support to Manage Contractual Relationships. Web Intelligence/IAT Workshops 2010: 342-345
2000 – 2009
- 2009
- [c52]Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff:
Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference 2009: 34-43 - [c51]Leelani Kumari Wickramasinghe, Christian Guttmann, Michael P. Georgeff, Hamid Gharib, Ian E. Thomas, Simon G. Thompson, Heinz W. Schmidt:
Agent-based intelligent collaborative care management. AAMAS (2) 2009: 1387-1388 - [c50]Nicholas R. May, Heinz W. Schmidt, Ian E. Thomas:
Service Redundancy Strategies in Service-Oriented Architectures. EUROMICRO-SEAA 2009: 383-387 - [c49]Iman I. Yusuf, Heinz W. Schmidt, Ian D. Peake:
Evaluating recovery aware components for grid reliability. ESEC/SIGSOFT FSE 2009: 277-280 - 2008
- [j18]Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt:
Formalising Service-Oriented Design. JSW 3(2): 1-14 (2008) - 2007
- [j17]Ivica Crnkovic, George T. Heineman, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
Guest Editorial. Journal of Systems and Software 80(5): 641-642 (2007) - [c48]Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, Heinz W. Schmidt:
A Formal Model of Service-Oriented Design Structure. ASWEC 2007: 71-80 - [c47]Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt:
Architectural Test Coverage for Component-Based Integration Testing. QSIC 2007: 262-267 - [c46]Heinz W. Schmidt:
Architecture-Based Reasoning About Performability in Component-Based Systems. SOFSEM (1) 2007: 130-137 - [c45]Ian D. Peake, Heinz W. Schmidt:
Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience. SOFSEM (1) 2007: 911-922 - [e4]Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford:
Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings. Lecture Notes in Computer Science 4608, Springer 2007, ISBN 978-3-540-73550-2 [contents] - 2006
- [j16]Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera:
Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM. Int. J. Cooperative Inf. Syst. 15(4): 633-658 (2006) - [c44]Susan Entwisle, Heinz W. Schmidt, Ian D. Peake, Elizabeth A. Kendall:
A Model Driven Exception Management Framework for Developing Reliable Software Systems. EDOC 2006: 307-318 - [e3]Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau:
Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings. Lecture Notes in Computer Science 4063, Springer 2006, ISBN 3-540-35628-2 [contents] - 2005
- [j15]Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
Automated Component-Based Software Engineering. Journal of Systems and Software 74(1): 1-3 (2005) - [j14]Ivica Crnkovic, Ralf H. Reussner, Heinz W. Schmidt, Kevin Simons, Judith A. Stafford, Kurt C. Wallnau:
Report of the International Symposium on Component-Based Software Engineering. ACM SIGSOFT Software Engineering Notes 30(3): 1-9 (2005) - [c43]Mohammad Tanvir Huda, Heinz W. Schmidt, Ian D. Peake:
An Agent Oriented Proactive Fault-Tolerant Framework for Grid Computing. e-Science 2005: 304-311 - [c42]Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt:
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. EDOC 2005: 261-272 - [c41]Karl M. Göschka, Robert Smeikal, Heinz W. Schmidt:
Fault-Tolerant and Dependable Distributed Systems - Minitrack within the Software Technology Track at the HICSS-38 Conference. HICSS 2005 - [c40]Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan:
Test Order for Class-based Integration Testing of Java Applications. QSIC 2005: 11-18 - [c39]Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera:
A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. QoSA/SOQUA 2005: 38-52 - [e2]George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt C. Wallnau:
Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings. Lecture Notes in Computer Science 3489, Springer 2005, ISBN 3-540-25877-9 [contents] - 2004
- [j13]Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
6th ICSE Workshop on Component-Based Software Engineering: automated reasoning and prediction. ACM SIGSOFT Software Engineering Notes 29(3): 1-7 (2004) - [c38]Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt:
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. EUROMICRO 2004: 100-106 - [e1]Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt C. Wallnau:
Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings. Lecture Notes in Computer Science 3054, Springer 2004, ISBN 3-540-21998-6 [contents] - 2003
- [j12]Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
Guest Editorial. Journal of Systems and Software 65(3): 169-171 (2003) - [j11]Heinz W. Schmidt:
Trustworthy components - compositionality and prediction. Journal of Systems and Software 65(3): 215-225 (2003) - [j10]Ralf H. Reussner, Heinz W. Schmidt, Iman Poernomo:
Reliability prediction for component-based software architectures. Journal of Systems and Software 66(3): 241-252 (2003) - [c37]Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt:
Reasoning about Software Architectures with Contractually Specified Components. Component-Based Software Quality 2003: 287-325 - [c36]Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt:
Architectural Configuration with EDOC and .NET Component Services. EUROMICRO 2003: 61-69 - [c35]Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction. ICSE 2003: 775-776 - [c34]Sea Ling, Iman Poernomo, Heinz W. Schmidt:
Describing Web Service Architectures through Design-by-Contract. ISCIS 2003: 1008-1018 - [c33]Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian E. Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort:
Modelling Predictable Component-Based Distributed Control Architectures. WORDS Fall 2003: 339-346 - 2002
- [c32]Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt:
Signature Extraction for Overlap Detection in Documents. ACSC 2002: 59-64 - [c31]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Suffix Vector: Space- and Time-Efficient Alternative to Suffix Trees. ACSC 2002: 157-165 - [c30]Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt:
Architectures of Enterprise Systems: Modelling Transactional Contexts. Component Deployment 2002: 233-243 - [c29]Heinz W. Schmidt, Ralf H. Reussner:
Generating Adapters for Concurrent Component Protocol Synchronisation. FMOODS 2002: 213-229 - [c28]Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt:
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation. International Conference on Computational Science (2) 2002: 854-863 - [c27]Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
5th ICSE workshop on component-based software engineering: benchmarks for predictable assembly. ICSE 2002: 655-656 - [c26]Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner:
Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324 - 2001
- [j9]Heinz W. Schmidt, Iman Poernomo, Ralf H. Reussner:
Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures. Transactions of the SDPS 5(3): 25-51 (2001) - [j8]Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
4th ICSE workshop on component-based software engineering: component certification and system prediction. ACM SIGSOFT Software Engineering Notes 26(6): 33-40 (2001) - [c25]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Efficiency of Data Structures for Detecting Overlaps in Digital Documents. ACSC 2001: 140-147 - [c24]Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction. ICSE 2001: 771-772 - 2000
- [c23]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Digital documents in educational environment (poster session): misuse, appropriation and detection issues. ACSE 2000: 254-255 - [c22]Aaron J. Quigley, Margot Postema, Heinz W. Schmidt:
ReVis: Reverse Engineering by Clustering and Visual Object Classification. Australian Software Engineering Conference 2000: 119-128 - [c21]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Document overlap detection system for distributed digital libraries. ACM DL 2000: 226-227 - [c20]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
MatchDetectReveal: finding overlapping and similar digital documents. IRMA Conference 2000: 955-957 - [c19]Sita Ramakrishnan, Heinz W. Schmidt:
Model Engineering for Distributed O-O Component Testing. OOIS 2000: 407-413 - [c18]Krisztián Monostori, Arkady B. Zaslavsky, Heinz W. Schmidt:
Parallel and Distributed Document Overlap Detection on the Web. PARA 2000: 206-214 - [c17]
- [c16]Lutz M. Wegner, Heinz W. Schmidt:
Shared XML Documents in Service Centers of the Future. WISE (2) 2000: 105-112
1990 – 1999
- 1999
- [c15]Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky:
Programming the Mobility Behaviour of Agents by Composing Itineraries. ASIAN 1999: 214-226 - [c14]Sea Ling, Heinz W. Schmidt, Rohan Fletcher:
Constructing Interoperable Components in Distributed Systems. TOOLS (32) 1999: 274- - 1998
- [j7]Bertrand Meyer, Christine Mingins, Heinz W. Schmidt:
Providing Trusted Components to the Industry. IEEE Computer 31(5): 104-105 (1998) - [j6]Margot Postema, Heinz W. Schmidt:
Reverse Engineering and Abstaction of Legacy Systems. Informatica (Slovenia) 22(3) (1998) - 1997
- [j5]Stephen Ransom, Xindong Wu, Heinz W. Schmidt:
Disorientation and Cognitive Overhead in Hypertext Systems. International Journal on Artificial Intelligence Tools 6(2): 227-253 (1997) - [c13]Kevin Cai, Xindong Wu, Heinz W. Schmidt:
Schedular++: Scheduling with Knowledge Objects. ICTAI 1997: 480-483 - 1996
- [c12]Sea Ling, Heinz W. Schmidt:
Towards Analysing a Class of Object Petri Nets. Australian Software Engineering Conference 1996: 81-92 - [c11]A. S. M. Sajeev, Heinz W. Schmidt:
Integrating concurrency and object-orientation using boolean, access and path guards. HiPC 1996: 68-72 - 1995
- [j4]Xindong Wu, Sita Ramakrishnan, Heinz W. Schmidt:
Knowledge Objects. Informatica (Slovenia) 19(4) (1995) - [c10]
- 1994
- [c9]Heinz W. Schmidt, Wolf Zimmermann:
Reasoning about Complexity of Object-Oriented Programs. PROCOMET 1994: 553-572 - 1991
- [j3]Heinz W. Schmidt:
Prototyping and analysis of non-sequential systems using predicate-event nets. Journal of Systems and Software 15(1): 43-62 (1991) - [c8]Dimitris Karagiannis, Franz J. Kurfess, Heinz W. Schmidt:
Knowledge Selection in Large Knowledge Bases. The Next Generation of Information Systems 1991: 291-310
1980 – 1989
- 1989
- [b1]Heinz W. Schmidt:
Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets. Oldenbourg 1989, ISBN 978-3-486-21292-1, pp. 1-206 - [j2]Bernd J. Krämer, Heinz W. Schmidt:
Developing Integrated Environments with ASDL. IEEE Software 6(1): 98-107 (1989) - 1988
- [c7]Bernd J. Krämer, Heinz W. Schmidt:
Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC 1988: 11-21 - 1987
- [c6]Marie-Luise Christ-Neumann, Heinz W. Schmidt:
ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments. ESEC 1987: 71-79 - 1986
- [c5]
- 1982
- [c4]Bernd J. Krämer, Heinz W. Schmidt:
A High Level Net Language for Stepwise Modeling of Organizational Systems. International Working Conference on Model Realism 1982: 156-170 - 1981
- [j1]
- [c3]Bernd J. Krämer, Heinz W. Schmidt:
Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung 1981: 460-471 - 1980
- [c2]