Universität Koblenz
- 0261/287-0
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsS. 1 - 41
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based ReasoningS. 1 - 24
Doerfel, Stephan; Zoller, Daniel; Singer, Philipp et al.
Of course we share! Testing Assumptions about Social Tagging SystemsS. 1 - 12
Staab, Steffen; Stalla-Bourdillon, Sophie; Carmichael, Laura
Observing and Recommending from a Social Web with BiasesS. 1 - 37
Laufer, Paul; Wagner, Claudia; Flöck, Fabian et al.
Mining cross-cultural relations from Wikipedia: A study of 31 European food culturesS. 1 - 10
Singer, Philipp; Helic, Denis; Taraghi, Behnam et al.
Memory and Structure in Human Navigation Patterns Using Markov Chain Models of Varying OrderS. 1 - 31
Thimm, Matthias
Measuring Inconsistency in Probabilistic Knowledge BasesS. 1 - 8
Herberg, Evelyn; Hinze, Michael; Schumacher, Henrik
Maximal discrete sparsity in parabolic optimal control with measuresS. 1 - 30
Sofronie-Stokkermans, Viorica
Locality and applications to subsumption testing and interpolation in EL and some of its extensionsS. 1 - 42
Samoilenko, Anna; Karimi, Fariba; Edler, Daniel et al.
Linguistic neighbourhoods: explaining cultural borders on Wikipedia through multilingual co-editing activityS. 1 - 23
Schmelzeisen, Lukas; Staab, Steffen
Learning Taxonomies of Concepts and not Words using Contextualized Word Representations: A Position PaperS. 1 - 5
Cimiano, Philipp; Hotho, Andreas; Staab, Steffen
Learning Concept Hierarchies from Text Corpora using Formal Concept AnalysisS. 1 - 35
Leinberger, Martin; Lämmel, Ralf; Staab, Steffen
LambdaDL: Syntax and Semantics (Preliminary Report)S. 1 - 15
Wagner, Claudia; Garcia, David; Jadidi, Mohsen et al.
It's a Man's Wikipedia? Assessing Gender Inequality in an Online EncyclopediaS. 1 - 11
Sofronie-Stokkermans, Viorica
Interpolation in local theory extensionsS. 1 - 31
Karimi, Fariba; Wagner, Claudia; Lemmerich, Florian et al.
Inferring Gender from Names on the Web: A Comparative Evaluation of Gender Detection MethodsS. 1 - 2
Lamprecht, Daniel; Strohmaier, Markus; Helic, Denis
Improving Reachability and Navigability in Recommender SystemsS. 1 - 10
Singer, Philipp; Helic, Denis; Hotho, Andreas et al.
HypTrails: A Bayesian Approach for Comparing Hypotheses About Human Trails on the WebS. 1 - 11
Walk, Simon; Singer, Philipp; Strohmaier, Markus et al.
How to Apply Markov Chains for Modeling Sequential Edit Patterns in Collaborative Ontology-Engineering ProjectsS. 1 - 50
Lee, Eun; Karimi, Fariba; Wagner, Claudia et al.
Homophily explains perception biases in social networksS. 1 - 26
Kunegis, Jérôme
Handbook of Network Analysis: KONECT - the Koblenz Network CollectionS. 1 - 64
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsS. 1 - 39
Staab, Steffen
GLR-Parsing of Word Lattices Using a Beam Search MethodS. 1 - 4
Jadidi, Mohsen; Karimi, Fariba; Lietz, Haiko et al.
Gender Disparities in Science? Dropout, Productivity, Collaborations and Success of Male and Female Computer ScientistsS. 1 - 28
Heinecke-Müller, Michaela; Quaiser-Pohl, Claudia; Kariuki, Priscilla W. et al.
Feeling capable in an Ubuntu wayS. 1 - 42
Lawonn, Kai; Preim, Bernhard
Feature Lines for Illustrating Medical Surface Models: Mathematical Background and SurveyS. 1 - 33
Kunegis, Jérôme
Exploiting the Structure of Bipartite Graphs for Algebraic and Spectral Graph Theory ApplicationsS. 1 - 37
Singer, Philipp; Flöck, Fabian; Meinhart, Clemens et al.
Evolution of Reddit: From the Front Page of the Internet to a Self-referential Community?S. 1 - 6
Singer, Philipp; Ferrara, Emilio; Kooti, Farshad et al.
Evidence of Online Performance Deterioration in User Sessions on RedditS. 1 - 20
Hunter, Anthony; Polberg, Sylwia; Thimm, Matthias
Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of ArgumentsS. 1 - 66
Barthelmess, Ulrike; Furbach, Ulrich
Do we need Asimov's Laws?S. 1 - 12
Walk, Simon; Singer, Philipp; Strohmaier, Markus et al.
Discovering Beaten Paths in Collaborative Ontology-Engineering Projects using Markov ChainsS. 1 - 21
Espin Noboa, Lisette; Lemmerich, Florian; Singer, Philipp et al.
Discovering and Explaining Mobility Patterns in Urban Spaces: A Study of Manhattan Taxi DataS. 1 - 8
Preusse, Julia; Kunegis, Jérôme; Thimm, Matthias et al.
DecLiNe - Models for Decay of Links in NetworksS. 1 - 9
Stiglmayr, Michael; Figueira, José Rui; Klamroth, Kathrin et al.
Decision Space Robustness for Multi-Objective Integer Linear ProgrammingS. 1 - 28
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid AutomataS. 1 - 50
Wagner, Claudia; Zagovora, Olga; Sennikova, Tatiana et al.
Collective Attention towards Scientists and Research TopicsS. 1 - 5
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Cognitive Systems and Question AnsweringS. 1 - 7
Kühl, Niklas; Hinze, Michael; Rung, Thomas
Cahn-Hilliard Navier-Stokes Simulations for Marine Free-Surface FlowsS. 1 - 26
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesS. 1 - 16
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning for Robot EthicsS. 1 - 5
Posch, Lisa; Schaer, Philipp; Bleier, Arnim et al.
A System for Probabilistic Linking of Thesauri and Classification SystemsS. 1 - 4
Geigl, Florian; Lerman, Kristina; Walk, Simon et al.
Assessing the Navigational Effects of Click Biases and Link Insertion on the WebS. 1 - 11
Kunegis, Jérôme
Applications of Structural Balance in Signed Social NetworksS. 1 - 37
Pickhardt, Rene; Gottron, Thomas; Körner, Martin et al.
A Generalized Language Model as the Combination of Skipped n-grams and Modified Kneser-Ney SmoothingS. 1 - 13
Walk, Simon; Helic, Denis; Geigl, Florian et al.
Activity Dynamics in Collaboration NetworksS. 1 - 52
Wijaya, Karunia Putra; Ganegoda, Naleen; Jayatunga, Yashika et al.
A COVID-19 epidemic model integrating direct and fomite transmission as well as household structureS. 1 - 17
Alla, Alessandro; Hinze, Michael; Kolvenbach, Philip et al.
A Certified Model Reduction Approach for Robust Parameter Optimization with PDE ConstraintsS. 1 - 33
Mitter, Silvia; Wagner, Claudia; Strohmaier, Markus
A categorization scheme for socialbot attacks in online social networksS. 1 - 6