default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal of Software and Informatics, Volume 9
Volume 9, Number 1, 2015
- Norihiro Kamide:
Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic. 73-92
- Quang Vinh Nguyen, Yingcai Wu, Weidong Huang, Tomasz Bednarz:
Editorial: Visual Information Communication and Interaction. 1-2 - Michael Burch, Daniel Weiskopf:
Flip-Book Visualization of Dynamic Graphs. 3-21 - S. Ruchika, Susmitha Pulakhandam, Isha Singh Jassi, G. Ram Mohan Reddy:
Ember: A Smartphone Web Browser Interface for the Blind. 23-36 - Kiho Sakamoto, Takayuki Itoh:
Photomosaic Generation and Representative Photomosaic Selection for Photograph Browsing. 37-49 - Alireza Rezaeian, Jared Donovan:
Design of a Tangible Data Visualisation. 51-59 - Phillip Gough, Kate Dunn, Tomasz Bednarz, Xavier Ho:
Art and Chartjunk: A Guide for NEUVis. 61-72
Volume 9, Number 2, 2015
- The photo of Prof. Dr. Bernd Krieg-Bruckner with signature.
- Ruqian Lu:
A Historical Document, A Piece of Precious Memory Editorial. 93 - Bernd Krieg-Brückner:
Chinese University Development Project. 95-111 - Berthold Hoffmann, Dieter Hutter, Hui Shi:
Preface. 113-115 - Grzegorz Marczynski, Donald Sannella, Andrzej Tarlecki:
Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. 117-139 - Till Mossakowski, Lutz Schröder:
On Inconsistency and Unsatisfiability. 141-152 - Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff:
Automating Test Case Selection in Model-Based Software Product Line Development. 153-175 - Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. 177-203 - Ruqian Lu:
Knorc Calculus and Its Formal Semantics--To Honor my Friend Prof. Krieg-Brueckner's 66th Birthday. 205-231 - Marianne Busch, Martin Wirsing:
An Ontology for Secure Web Applications. 233-258 - Serge Autexier:
Similarity-Based Diff, Three-Way Diff and Merge. 259-277 - Christian Freksa:
Computational Problem Solving in Spatial Substrates - A Cognitive Systems Engineering Approach. 279-288
Volume 9, Number 3, 2015
- Chenghai Zhang, Yuhua Liu, Changbo Wang:
Visual Analysis of Sentiment and Information Spread on Micro-Blog. 291-305 - Paolo Bottoni, Kamen Kanev, Nikolay N. Mirenkov, Miguel Ceriani:
A Framework for Situated Interaction with Augmented Surfaces. 307-329 - Rossella Aiello, Gennaro Costagliola, Giancarlo Nota, Fabrizio Torre:
3DRC Visualizations to Support the Reconciliation of Diverging Project Views. 331-354 - Christoph Müller, Michael Krone, Katrin Scharnowski, Guido Reina, T. Ert:
An Evaluation of the Utility of Large High-Resolution Displays for Comparative Scientific Visualisation. 355-370
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-08 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
