FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid AutomataCoRR. S. 1 - 50
Preusse, Julia; Kunegis, Jérôme; Thimm, Matthias et al.
DecLiNe - Models for Decay of Links in NetworksCoRR. S. 1 - 9
Zhao, Zhixue; Zhang, Ziqi; Hopfgartner, Frank
Detecting Toxic Content Online and the Effect of Training Data on Classification PerformanceProceedings of the 20th International Conference on Computational Linguistics and Intelligent Text Processing. Online: EasyChair Online S. 1 - 14
Espin Noboa, Lisette; Lemmerich, Florian; Singer, Philipp et al.
Discovering and Explaining Mobility Patterns in Urban Spaces: A Study of Manhattan Taxi DataCoRR. S. 1 - 8
Walk, Simon; Singer, Philipp; Strohmaier, Markus et al.
Discovering Beaten Paths in Collaborative Ontology-Engineering Projects using Markov ChainsCoRR. S. 1 - 21
Barthelmess, Ulrike; Furbach, Ulrich
Do we need Asimov's Laws?CoRR. S. 1 - 12
Hunter, Anthony; Polberg, Sylwia; Thimm, Matthias
Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of ArgumentsCoRR. S. 1 - 66
Singer, Philipp; Ferrara, Emilio; Kooti, Farshad et al.
Evidence of Online Performance Deterioration in User Sessions on RedditCoRR. S. 1 - 20
Singer, Philipp; Flöck, Fabian; Meinhart, Clemens et al.
Evolution of Reddit: From the Front Page of the Internet to a Self-referential Community?CoRR. S. 1 - 6
Kunegis, Jérôme
Exploiting the Structure of Bipartite Graphs for Algebraic and Spectral Graph Theory ApplicationsCoRR. S. 1 - 37