Dirk Walther

发表

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL

Boris Konev, Carsten Lutz, Dirk Walther, 2008, OWL: Experiences and Directions.

Decoding distributed patterns of activity associated with natural scene categorization

Li Fei-Fei, Dirk Walther, Eamon Caddigan, 2010 .

Zooming in on Ontologies: Minimal Modules and Best Excerpts

Dirk Walther, Yue Ma, Michel Ludwig, 2017, International Semantic Web Conference.

Semantic Modularity and Module Extraction in Description Logics

Boris Konev, Carsten Lutz, Dirk Walther, 2008, ECAI.

Computing Minimal Projection Modules for ELH^r -Terminologies

Dirk Walther, Yue Ma, Michel Ludwig, 2019, JELIA.

XEML Interactive designer

Dirk Walther, Macha Nikolski, Yves Gibon, 2014 .

Completeness by Modal Definitions

Levan Uridia, Dirk Walther, Dirk Walther, 2018, IBERAMIA.

Logical Difference and Module Extraction with CEX and MEX

Boris Konev, Carsten Lutz, Dirk Walther, 2008, Description Logics.

Bottom-up visual attention to salient proto-object regions

Christof Koch, Dirk Walther, Dirk B. Walther, 2010 .

Computing Minimal Subsumption Modules of Ontologies

Dirk Walther, Michel Ludwig, Jieying Chen, 2018, GCAI.

Formal Properties of Modularisation

Boris Konev, Carsten Lutz, Dirk Walther, 2009, Modular Ontologies.

PhosPhAt: a database of phosphorylation sites in Arabidopsis thaliana and a plant-specific phosphorylation site predictor

Joachim Selbig, Dirk Walther, Wolfram Weckwerth, 2007, Nucleic Acids Res..

Editorial: Metabolome Informatics and Statistics: Current State and Emerging Trends

Dirk Walther, Reza M. Salek, Masanori Arita, 2016, Front. Bioeng. Biotechnol..

Increased scene exploration does not enhance memory

Dirk Walther, Claudia Damiano, 2017 .

Integration of proteomic and metabolomic profiling as well as metabolic modeling for the functional analysis of metabolic networks.

Dirk Walther, Oliver Ebenhöh, Wolfram Weckwerth, 2011, Methods in molecular biology.

Alternating-time temporal logic with explicit strategies

Michael Wooldridge, Dirk Walther, Wiebe van der Hoek, 2007, TARK '07.

Towards Extracting Ontology Excerpts

Dirk Walther, Yue Ma, Michel Ludwig, 2015, KSEM.

The perceptual advantage of symmetry for scene perception

Sven J. Dickinson, Kaleem Siddiqi, Dirk Walther, 2017 .

Categorization of good and bad examples of natural scene categories

Li Fei-Fei, Dirk Walther, Eamon Caddigan, 2010 .

Alternating-time dynamic logic

Dirk Walther, Nicolas Troquard, Dirk Walther, 2010, AAMAS.

PDL with negation of atomic programs

Carsten Lutz, Dirk Walther, C. Lutz, 2004, J. Appl. Non Class. Logics.

Decoding of natural scene categories from transformed images using distributed patterns of fMRI activity

Li Fei-Fei, Dirk Walther, Eamon Caddigan, 2010 .

Reasoning about Actions Meets Strategic Logics

Emiliano Lorini, Andreas Herzig, Dirk Walther, 2013, LORI.

Mass spectral search and analysis using the Golm Metabolome Database

Dirk Walther, Jan Hummel, Joachim Kopka, 2012 .

Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes

Shasha Feng, Dirk Walther, Michel Ludwig, 2015, KI.

Automatic selection of eye tracking variables uncovers similar mechanisms for visual categorization in adults and infants

Vladimir M. Sloutsky, Dirk Walther, Catherine A. Best, 2012 .

Towards an FCA-based Recommender System for Black-Box Optimization

Ivo F. Sbalzarini, Dirk Walther, Daniel Borchmann, 2014, ECAI 2014.

Concavity and convexity of conjoint surfaces underlie neural and behavioral categorization of scenes and objects

Dirk Walther, Soojin Park, Ruu Harn Cheng, 2018 .

Robin: An Intuitive Wizard Application for R-Based Expression Microarray Quality Assessment and Analysis1[W][OA]

Joachim Selbig, Dirk Walther, Mark Stitt, 2010, Plant Physiology.

Detection and characterization of 3D-signature phosphorylation site motifs and their contribution towards improved phosphorylation site prediction in proteins

Joachim Selbig, Dirk Walther, Wolfram Weckwerth, 2009, BMC Bioinformatics.

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL

Boris Konev, Dirk Walther, Frank Wolter, 2009, Description Logics.

ATL Satisfiability is Indeed EXPTIME-complete

Michael Wooldridge, Carsten Lutz, Dirk Walther, 2006, J. Log. Comput..

fMRI Decoding of Natural Scene Categories from Line Drawings

Li Fei-Fei, Dirk Walther, Eamon Caddigan, 2010 .

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

Boris Konev, Dirk Walther, Frank Wolter, 2009, IJCAI.

Measuring the temporal order of feature processing in natural scene categorization

Dirk Walther, Bart Larsen, 2012 .

Foundations for the Logical Difference of EL-TBoxes

Shasha Feng, Dirk Walther, Michel Ludwig, 2015, GCAI.

The role of category-specific global orientation statistics for scene categorization

Dirk Walther, Heeyoung Choo, 2016 .

Quantitative temporal logics over the reals: PSpace and below

Carsten Lutz, Dirk Walther, Frank Wolter, 2007, Inf. Comput..

Finding “good” features for natural scene classification

Li Fei-Fei, Dirk Walther, Eamon Caddigan, 2010 .

The Logical Difference for the Lightweight Description Logic EL

Boris Konev, Dirk Walther, Frank Wolter, 2012, J. Artif. Intell. Res..

The Roles of Post-translational Modifications in the Context of Protein Interaction Networks

Dirk Walther, Guangyou Duan, Guangyou Duan, 2015, PLoS Comput. Biol..

Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics

Rafael Peñaloza, Dirk Walther, Haralambos Hatzikirou, 2014, ACRI.

MolSurfer: a macromolecular interface navigator

Dirk Walther, Razif R. Gabdoulline, Rebecca C. Wade, 2003, Nucleic Acids Res..

The Logical Dierence for the Lightweight Description LogicEL

Boris Konev, Dirk Walther, Frank Wolter, 2012 .

Conservative Extensions in Expressive Description Logics

Carsten Lutz, Dirk Walther, Frank Wolter, 2007, IJCAI.

Evaluation of Extraction Techniques for Ontology Excerpts

Dirk Walther, Yue Ma, Michel Ludwig, 2014, Description Logics.

The Good, the Bad, and the Scrambled: A Perceptual Advantage for Good Examples of Natural Scene Categories

Li Fei-Fei, Dirk Walther, Eamon Caddigan, 2010 .

Model-theoretic inseparability and modularity of description logic ontologies

Boris Konev, Carsten Lutz, Dirk Walther, 2013, Artif. Intell..

Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology

Dirk Walther, Yongsheng Gao, Renate A. Schmidt, 2019, Description Logics.

Measuring local symmetry in real-world scenes

Kaleem Siddiqi, Dirk Walther, Morteza Rezanejad, 2018 .

The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs

Dirk Walther, Michel Ludwig, 2014, ECAI.

Integrated data analysis for genome-wide research.

Joachim Selbig, Dirk Walther, Dirk Repsilber, 2007, EXS.

Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs

Dirk Walther, Michel Ludwig, 2014, Description Logics.

Manual versus automatic segmentation of functional regions of interest: Effects on multi-voxel pattern analysis and repetition suppression

Dirk Walther, Thomas P. O'Connell, Andrew Serger, 2014 .

The Logical Difference for EL: From Terminologies Towards TBoxes

Shasha Feng, Dirk Walther, Michel Ludwig, 2015, IWOST-1.

Towards Understanding Reasoning Complexity in Practice

Dirk Walther, Francisco Martín-Recuerda Moyano, 2011 .

Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach

Dirk Walther, Michel Ludwig, Dirk Walther, 2016, GCAI.

The Concept Difference for EL-Terminologies using Hypergraphs

Dirk Walther, Andreas Ecke, Michel Ludwig, 2013, DChanges.

Computational phosphorylation network reconstruction: methods and resources.

Dirk Walther, Guangyou Duan, Guangyou Duan, 2015, Methods in molecular biology.

Quantitative temporal logics: PSpace and below

Carsten Lutz, Dirk Walther, Frank Wolter, 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).

Proceedings of the German Conference on Bioinformatics, GCB 2007, September 26-28, 2007, Potsdam, Germany

Martin Vingron, Alexander Schliep, Joachim Selbig, 2007, German Conference on Bioinformatics.

PDL with negation of atomic programs

Carsten Lutz, Dirk Walther, 2005, J. Appl. Non Class. Logics.

Reasoning About the Transfer of Control

Michael Wooldridge, Dirk Walther, Wiebe van der Hoek, 2014, J. Artif. Intell. Res..

Automatic categorical abstraction during visual statistical learning in children and adults

Dirk Walther, Amy S. Finn, Dirk B. Walther, 2018, Journal of Vision.

The complexity of gene expression dynamics revealed by permutation entropy

Jürgen Kurths, Dirk Walther, Xiaoliang Sun, 2010, BMC Bioinformatics.

On Computing Minimal EL-Subsumption Modules

Dirk Walther, Michel Ludwig, Jieying Chen, 2016, JOWO@FOIS.

The integrated analysis of metabolic and protein interaction networks reveals novel molecular organizing principles

Dirk Walther, Pawel Durek, P. Durek, 2008, BMC Syst. Biol..

fMRI repetition suppression for scenes in PPA depends on identical feature representation

Dirk Walther, Thomas P. O'Connell, Per B. Sederberg, 2013 .

The Logical Difference Problem for Description Logic Terminologies

Boris Konev, Dirk Walther, Frank Wolter, 2008, IJCAR.

pcaMethods - a bioconductor package providing PCA methods for incomplete data

Joachim Selbig, Dirk Walther, Matthias Scholz, 2007, Bioinform..

Translation Invariance of Natural Scene Categories

Li Fei-Fei, Dirk Walther, Christopher Baldassano, 2011 .

Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs

Dirk Walther, Francisco Martín-Recuerda, 2013, WoMO.

Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving

Dirk Walther, Yue Ma, Jieying Chen, 2018, Description Logics.

On Satisfiability in ATL with Strategy Contexts

Dirk Walther, Nicolas Troquard, 2012, JELIA.

Chinese whispers and connected alignments

Dirk Walther, Till Mossakowski, Oliver Kutz, 2010, OM.

A plant resource and experiment management system based on the Golm Plant Database as a basic tool for omics research

Joachim Selbig, Dirk Walther, Alexander Lüdemann, 2008, Plant Methods.

An Epistemic Logic with Hypotheses

Levan Uridia, Dirk Walther, Dirk Walther, 2011, LORI.

Computing Minimal Projection Modules for Conjunctive Queries

Dirk Walther, Yue Ma, Michel Ludwig, 2018, Description Logics.

Scene content is predominantly conveyed by high spatial frequencies in scene-selective visual cortex

Dirk Walther, Daniel Berman, Julie D. Golomb, 2018 .

ProMEX: a mass spectral reference database for proteins and protein phosphorylation sites

Joachim Selbig, Dirk Walther, Wolfram Weckwerth, 2007, BMC Bioinformatics.

Distinct roles of eye movements during memory encoding and retrieval

Dirk Walther, Claudia Damiano, Dirk B. Walther, 2016, Cognition.

COordination of Standards in MetabOlomicS (COSMOS): facilitating integrated metabolomics data access

Matej Oresic, Christoph Steinbeck, Dirk Walther, 2015, Metabolomics.

Modeling RNA loops using sequence homology and geometric constraints

Dirk Walther, Christian Schudoma, Patrick May, 2010, Bioinform..

Local Structure Drives Human Scene Categorization: Converging Evidence from Computational Analysis, Behavior, and Neural Decoding

Dirk Walther, Dandan Shen, Heeyoung Choo, 2014 .

Matapax: An Online High-Throughput Genome-Wide Association Study Pipeline[C][W][OA]

Dirk Walther, Jan Lisec, D. Walther, 2012, Plant Physiology.

Dirk Walther, Friedrich Kragler, Federico Apelt, 2016, Plant Cell.

Metabolomic Profiles for Primary Progressive Multiple Sclerosis Stratification and Disease Course Monitoring

Dirk Walther, Christoph Heesen, Walter Maetzler, 2018, Front. Hum. Neurosci..

Towards understanding the crosstalk between protein post‐translational modifications: Homo‐ and heterotypic PTM pair distances on protein surfaces are not random

Dirk Walther, Paula Korkuć, P. Korkuć, 2017, Proteins.

Characterization and Prediction of Protein Phosphorylation Hotspots in Arabidopsis thaliana

Dirk Walther, Rostyslav Braginets, Waltraud X. Schulze, 2012, Front. Plant Sci..

Endogenous Arabidopsis messenger RNAs transported to distant tissues

Dirk Walther, Waltraud X. Schulze, Javier Paz-Ares, 2015, Nature Plants.

Plant phosphoproteomics: An update

Dirk Walther, Ganesh Kumar Agrawal, Randeep Rakwal, 2009, Proteomics.

Sequence–structure relationships in RNA loops: establishing the basis for loop homology modeling

Dirk Walther, Patrick May, P. May, 2009, Nucleic acids research.

Dynamic transcriptional and metabolic responses in yeast adapting to temperature stress.

Dirk Walther, Shigehiko Kanaya, Joachim Kopka, 2010, Omics : a journal of integrative biology.

Data management pipeline for plant phenotyping in a multisite project.

Dirk Walther, Kenny Billiau, Kenny Billiau, 2012, Functional plant biology : FPB.

The Golm Metabolome Database: a database for GC-MS based metabolite profiling

Joachim Selbig, Dirk Walther, Jan Hummel, 2007 .

Identification and classification of ncRNA molecules using graph properties

Dirk Walther, Zoran Nikoloski, Patrick May, 2009, Nucleic acids research.

Single feature polymorphism (SFP)-based selective sweep identification and association mapping of growth-related metabolic traits in Arabidopsis thaliana

Thomas Altmann, Dirk Walther, Mark Stitt, 2010, BMC Genomics.

Decision tree supported substructure prediction of metabolites from GC-MS profiles

Joachim Selbig, Dirk Walther, Jan Hummel, 2010, Metabolomics.

Progress in Chemometrics and Biostatistics for Plant Applications, or: A Good Red Wine is a Bad White Wine

Dirk Walther, Royston Goodacre, Joachim Kopka, 2011 .

COordination of Standards in MetabOlomicS (COSMOS): facilitating integrated metabolomics data access

Matej Oresic, Christoph Steinbeck, Dirk Walther, 2015, Metabolomics.