Theo P. van der Weide

According to our database1, Theo P. van der Weide authored at least 110 papers between 1977 and 2018.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Decomposition and Conceptualization to Support System Dynamics Behavior Modeling.
CSIMQ, 2018

Intrusion detection in a trust-based recommendation system.
IJTMCC, 2017

A Linguistic-Based Systematic Approach to Complex System Dynamics and its Application to E-government Introduction in Zanzibar.
CSIMQ, 2017

Natural Model based Design in Context: an Effective Method for Environmental Problems.
CSIMQ, 2017

Static and Dynamic Aspects of Application Domains: An Inductively Defined Modeling Technique That Allows Decomposition.
CSIMQ, 2016

Using Game Psychology in Information System Design for Sustainable Behavior Changes.
Proceedings of the 18th IEEE Conference on Business Informatics, 2016

A Secure User Anonymity and Authentication Scheme Using AVISPA for Telecare Medical Information Systems.
J. Medical Systems, 2015

Virtual Knowledge Service Market: A Framework for Higher Education Online Learning.
Proceedings of the 17th IEEE Conference on Business Informatics, 2015

Enriching queries with user preferences in healthcare.
Inf. Process. Manage., 2014

Gamification to Support the Run Time Planning Process in Adaptive Case Management.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2013

Information Science curriculum design based on community outreach projects.
Proceedings of Second Computer Science Education Research Conference, 2012

Interaction with a Digital Learning Environment of a University.
Proceedings of the CSEDU 2012, 2012

eHealth Service Discovery Framework: A Case Study in Ethiopia.
Proceedings of the Information Quality in e-Health, 2011

Topical Language Model for Snippet Retrieval.
Proceedings of the Focused Retrieval of Content and Structure, 2011

A Framework for Instantiating Pedagogic mLearning Objects Applications.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

User Profile-based Service Discovery for eHealth.
Proceedings of the ICSOFT 2011, 2011

An Evaluation Strategy for the Moodle Learning Environment based on Blooms Taxonomy.
Proceedings of the CSEDU 2011, 2011

DIR 2010: the tenth Dutch-Belgian information retrieval workshop.
SIGIR Forum, 2010

The Middle Out Approach.
IJIDE, 2010

Bridging the Digital Divide by Open Source: A Theoretical Model of Best Practice.
IJIDE, 2010

Deriving implicit user feedback from partial URLs for effective web page retrieval.
Proceedings of the Recherche d'Information Assistée par Ordinateur, 2010

Extended Language Models for XML Element Retrieval.
Proceedings of the Comparative Evaluation of Focused Retrieval, 2010

Broader Perception for Local Community Identification.
Proceedings of the KDIR 2010, 2010

How does the Library Searcher Behave? A Contrastive Study of Library Search against Ad-hoc Search.
Proceedings of the CLEF 2010 LABs and Workshops, 2010

Using query logs and click data to create improved document descriptions.
Proceedings of the 2009 workshop on Web Search Click Data, 2009

A framework for filtering web accessibility guidelines.
Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, 2009

Annotating URLs with Query Terms: What Factors Predict Reliable Annotations?
Proceedings of the Workshop on Understanding the User, 2009

Annotation of URLs: more than the sum of parts.
Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2009

Language Models for XML Element Retrieval.
Proceedings of the Focused Retrieval and Evaluation, 2009

Optimizing WebPage Interest.
Proceedings of the Advances in Information Retrieval Theory, 2009

Integrating Accessibility and Functional Requirements.
Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2009

A generic qualitative characterization of independence of causal influence.
Int. J. Approx. Reasoning, 2008

On systematic Design of Service Oriented Architectures.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

On the quality of resources on the Web: An information retrieval perspective.
Inf. Sci., 2007

Information coverage in advisory brokers.
Int. J. Intell. Syst., 2007

Typing and Transformational Effects in Complex Information Supply.
Int. J. Cooperative Inf. Syst., 2007

Value and the information market.
Data Knowl. Eng., 2007

Conflict-Based Diagnosis: Adding Uncertainty to Model-based Diagnosis.
Proceedings of the IJCAI 2007, 2007

A Method for Incorporating User Modelling.
JDIM, 2006

Measuring the incremental information value of documents.
Inf. Sci., 2006

Conceptual query expansion.
Data Knowl. Eng., 2006

Information modeling: The process and the required competencies of its participants.
Data Knowl. Eng., 2006

Quality Makes the Information Market.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Giving Meaning to Enterprise Architectures: Architecture Principles with ORM and ORC.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Exploring Modelling Strategies in a Meta-modelling Context.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Modelling as Selection of Interpretation.
Proceedings of the Modellierung 2006, 2006

Adaptation in Multimedia Systems.
Multimedia Tools Appl., 2005

A formal derivation of Heaps' Law.
Inf. Sci., 2005

Dualistic Ontologies.
IJIIT, 2005

The Information Market: Its Basic Concepts and Its Challenges.
Proceedings of the Web Information Systems Engineering, 2005

Schema Equivalence as a Counting Problem.
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

A Fact-Oriented Approach to Activity Modeling.
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Fact Calculus: Using ORM and Lisa-D to Reason About Domains.
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

A Fundamental View on the Process of Conceptual Modeling.
Proceedings of the Conceptual Modeling, 2005

A Qualitative Characterisation of Causal Independence Models Using Boolean Polynomials.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Understanding the Requirements on Modelling Techniques.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Towards an Information Market Paradigm.
Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE '05), 2005

A History-Based Algebra for Quality-Checking Medical Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2005

Effectiveness of Index Expressions.
Proceedings of the Natural Language Processing and Information Systems, 2004

Information Modeling: The Process and the Required Competencies of Its Participants.
Proceedings of the Natural Language Processing and Information Systems, 2004

Transformations in Information Supply.
Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

A Generic Adaptivity Model in Adaptive Hypermedia.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2004

Deriving and paraphrasing information grammars using object-oriented analysis models.
Acta Inf., 2002

Combining boolean logic and linguistic structure.
Information & Software Technology, 2001

Information coverage - Incrementally satisfying a searcher's information need.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

Nesting and Defoliation of Index Expressions for Information Retrieval.
Knowl. Inf. Syst., 2000

Matching Index Expressions for Information Retrieval.
Inf. Retr., 2000

Incrementality, Half-life, and Threshold Optimization for Adaptive Document Filtering.
Proceedings of The Ninth Text REtrieval Conference, 2000

Term Weighting for Filtering based on Distribution of Terms over Time.
Proceedings of the Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications), 2000

Ranking Strategies for Navigation Based Query Formulation.
J. Intell. Inf. Syst., 1999

Phase-Based Information Retrieval.
Inf. Process. Manage., 1998

Deriving Identity from Extensionality.
International Journal of Software Engineering and Knowledge Engineering, 1998

The Incremental Searcher Satisfaction Model for Information Retrieval.
Comput. J., 1998

Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach.
Proceedings of the Research and Advanced Technology for Digital Libraries, 1998

Agents in Cyberspace - Towards a Framework for Multi-Agent Systems in Information Discovery.
Proceedings of the 20th Annual BCS-IRSG Colloquium on IR, 1998

Cumulative Duality in Designing Information Brokers.
Proceedings of the Database and Expert Systems Applications, 9th International Conference, 1998

Exploiting Fact Verbalisation in Conceptual Information Modelling.
Inf. Syst., 1997

Applications of a Categorical Framework for Conceptual Data Modelling.
Acta Inf., 1997

Towards an Agent-Based Retrieval Engine (Profile Information Filtering Project).
Proceedings of the 19th Annual BCS-IRSG Colloquium on IR Aberdeen, UK. 8th-9th April 1997, 1997

Query Formulation as an Information Retrieval Problem.
Comput. J., 1996

Object-Oriented Modelling Based on Logbooks.
Comput. J., 1996

A General Theory for Evolving Application Models.
IEEE Trans. Knowl. Data Eng., 1995

Information Disclosure in Evolving Information Systems: Taking as Shot at a Moving Target.
Data Knowl. Eng., 1995

Hairy Search Trees.
Comput. J., 1995

Computer Supported Query Formulation in an Evolving Context.
Proceedings of the Sixth Australasian Database Conference, 1995

A Feedback Mechanism for Query by Navigation.
Proceedings of the Sixth Australasian Database Conference, 1995

Genetic algorithms for optimal logical database design.
Information & Software Technology, 1994

EVORM: A Conceptual Modelling Technique for Evolving Application Domains.
Data Knowl. Eng., 1994

Fact Orientation in Complex Object Role Modelling Techniques.
Proceedings of the First International Conference on Object-Role Modelling, 1994

Supporting Information Disclosure in an Evolving Environment.
Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

Pool Heuristics in Evolutionary Database Optimization.
CISMOD, 1994

Formal definition of a conceptual language for the description and manipulation of information models.
Inf. Syst., 1993

Expressiveness in Conceptual Data Modelling.
Data Knowl. Eng., 1993

Towards a General Theory for the Evolution of Application Domains.
Proceedings of the Advances in Database Research, 1993

Formalization of techniques: chopping down the methodology jungle.
Information & Software Technology, 1992

Reducing the search space for conceptual schema transformation.
Data Knowl. Eng., 1992

Uniquest: Determining the Semantics of Complex Uniqueness Constraints.
Comput. J., 1992

Stratified Hypermedia Structures for Information Disclosure.
Comput. J., 1992

Towards Database Optimization by Evolution.
CISMOD, 1992

Data Modelling in Complex Application Domains.
CAiSE, 1992

The Modelling and Retrieval of Documents Using Index Expressions.
SIGIR Forum, 1991

Understanding process structure diagrams.
Inf. Syst., 1991

Semantics and verification of object-role models.
Inf. Syst., 1991

A Transaction Model for Hypertext.
Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991

Assessing the Quality of Hypertext Views.
SIGIR Forum, 1990

Two Level Hypermedia An Improved Architecture for Hypertext.
Proceedings of the International Conference on Database and Expert Systems Applications, 1990

Iterative Tree Traversal Using Refinements and Pointer Rotation.
Comput. J., 1988

On a Recursion Connected with Tree Balancing Algorithms.
Inf. Process. Lett., 1987

Axioms for multilevel objects.
Fundam. Inform., 1980

An Axiomatization of the Rational Data Objects.
FCT, 1977