Matthias F. Stallmann

16 papers A 5B 2C 2Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
Efficient algorithms for finding 2-medians of a tree.
Networks
Aissa Oudjit, Matthias F. Stallmann
2020 J jnl
Graph Profiling for Vertex Cover: Targeted Reductions in a Branch and Reduce Solver.
CoRR
Matthias F. Stallmann, Yang Ho, Timothy D. Goodrich
2017 J jnl
Algorithm Animation with Galant.
IEEE Computer Graphics and Applications
Matthias F. Stallmann
2016 J jnl
On size-constrained minimum s-t cut problems and size-constrained dense subgraph problems.
Theor. Comput. Sci.
Wenbin Chen, Nagiza F. Samatova, Matthias F. Stallmann, William Hendrix, Weiqin Ying
2014 A conf
Including blind people in computing through access to graphs.
ASSETS
Suzanne Balik, Sean P. Mealin, Matthias F. Stallmann, Robert D. Rodman, Michelle L. Glatz, Veronica J. Sigler
2013 A conf
GSK: universally accessible graph sketching.
SIGCSE
Suzanne Balik, Sean P. Mealin, Matthias F. Stallmann, Robert D. Rodman
2013 C conf
Integrating communication skills in data structures and algorithms courses.
FIE
William Eberle, John Karro, Neal Lerner, Matthias F. Stallmann
2012 J jnl
A heuristic for bottleneck crossing minimization and its performance on general crossing minimization: Hypothesis and experimental study.
ACM J. Exp. Algorithmics
Matthias F. Stallmann
2009 C conf
Systematic Exploration of Efficient Query Plans for Automated Database Restructuring.
ADBIS
Maxim Kormilitsin, Rada Chirkova, Yahya Fathi, Matthias F. Stallmann
2008 B conf
Exact and inexact methods for selecting views and indexes for OLAP performance improvement.
EDBT
Zohreh Asgharzadeh Talebi, Rada Chirkova, Yahya Fathi, Matthias F. Stallmann
2008 J jnl
Preface.
ACM J. Exp. Algorithmics
Rajeev Raman, Matthias F. Stallmann
2008 A conf
View and index selection for query-performance improvement: quality-centered algorithms and heuristics.
CIKM
Maxim Kormilitsin, Rada Chirkova, Yahya Fathi, Matthias F. Stallmann
2007 A conf
A case for smaller class size with integrated lab for introductory computer science.
SIGCSE
Kristy Elizabeth Boyer, Rachael S. Dwight, Carolyn S. Miller, C. Dianne Raubenheimer, Matthias F. Stallmann, Mladen A. Vouk
2007 B conf
ProofChecker: an accessible environment for automata theory correctness proofs.
ITiCSE
Matthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High
2006 A ed.
Proceedings of the Eighth Workshop on Algorithm Engineering and Experiments, ALENEX 2006, Miami, Florida, USA, January 21, 2006
ALENEX
Rajeev Raman, Matthias F. Stallmann
1992 — conf
GDR: A Visualization Tool for Graph Algorithms.
Computational Support for Discrete Mathematics
Matthias F. Stallmann, Rance Cleaveland, Prashant Hebbar