External Links

    Journal: it - Information Technology

    Volume 56, Issue 6

    265 -- 266Heiko Mantel. Reliably secure software systems
    267 -- 272Tobias Nipkow, Andrei Popescu 0001. Making security type systems less ad hoc
    273 -- 279Bernd Finkbeiner, Markus N. Rabe. The linear-hyper-branching spectrum of temporal logics
    280 -- 287Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer 0001, Martin Hecker, Martin Mohr, Daniel Wasserrab. Checking probabilistic noninterference using JOANA
    288 -- 293Sarah Ereth, Steffen Lortz, Matthias Perner. Confidentiality for Android apps: Specification and verification
    294 -- 299Thomas Bauereiß, Dieter Hutter. Information flow control for workflow management systems
    300 -- 306Ralf Küsters, Tomasz Truderung. Security in e-voting
    307 -- 309Björn Scheuermann. Designing networks for challenging applications
    310 -- 312Wim Martens. Theory for processing data on the Web
    313 -- 317Juraj Somorovsky. On the insecurity of XML Security

    Volume 56, Issue 5

    203 -- 206Katrin Weller, Markus Strohmaier. Social media in academia: How the Social Web is changing academic practice and becoming a new source for research data
    207 -- 215Stefanie Haustein, Vincent Larivière, Mike Thelwall, Didier Amyot, Isabella Peters. Tweets vs. Mendeley readers: How do these two social media metrics differ?
    216 -- 223Carolyn Hank, Cassidy R. Sugimoto, Andrew Tsou, Jeffrey Pomerantz. Faculty and student interactions via Facebook: Policies, preferences, and practices
    224 -- 229Klaus Tochtermann. How Science 2.0 will impact on scientific libraries
    230 -- 239Panagiotis Takis Metaxas, Eni Mustafaraj. Sifting the sand on the river bank: Social media as a source for research data
    240 -- 245Axel Bruns, Stefan Stieglitz. Twitter data: What do they represent?
    246 -- 253Taha Yasseri, Jonathan Bright. Can electoral popularity be predicted using socially generated big data?
    254 -- 0Peter Liggesmeyer, Burkhard Monien. Preface to the self-portrayals of the GI Junior Fellows
    255 -- 258Katharina A. Zweig. Network analysis literacy, data analysis literacy, and socioinformatics
    259 -- 262Agnes Koschmider. Developing sociotechnical systems with special focus on quality
    263 -- 264Albert Endres. Heinz Zemanek zum Gedenken

    Volume 56, Issue 4

    147 -- 0Paul Molitor. Preface
    148 -- 149Rolf Drechsler. Testing integrated circuits
    150 -- 156Sudhakar M. Reddy, Zhuo Zhang. On achieving minimal size test sets for scan designs
    157 -- 164Stephan Eggersglüß, Rolf Drechsler. An effective fault ordering heuristic for SAT-based dynamic test compaction techniques
    165 -- 172Sybille Hellebrand, Hans-Joachim Wunderlich. SAT-based ATPG beyond stuck-at fault testing
    173 -- 181Jean Marc Gallière, Florence Azaïs, Mariane Comte, Michel Renovell. Testing for gate oxide short defects using the detectability interval paradigm
    182 -- 191Te-Hsuan Chen, Armin Alaghi, John P. Hayes. Behavior of stochastic circuits under severe error conditions
    192 -- 202Ilia Polian. Hardware security and test: Friends or enemies?

    Volume 56, Issue 3

    87 -- 89René Peinl. Architecture of web applications
    90 -- 97Jacek Kopecký, Paul Fremantle, Rich Boakes. A history and future of Web APIs
    98 -- 105Erik Wilde. Managing a RESTful SOA: Providing guidance for service designers and orientation for service consumers
    106 -- 111Tobias Binz, Uwe Breitenbücher, Oliver Kopp, Frank Leymann. Migration of enterprise applications to the cloud
    112 -- 118Stefan Wild, Martin Gaedke. Utilizing architecture models for secure distributed web applications and services
    119 -- 126Benjamin Erb, Frank Kargl, Jörg Domaschka. Concurrent programming in web applications
    127 -- 133Andreas Göbel. H2 Proxy - Dynamic load balancing for multi-tenant database systems
    134 -- 140Detlef Hühnlein, Tobias Wich, Johannes Schmölz, Hans-Martin Haase. The evolution of identity management using the example of web-based applications
    141 -- 146Jens Kober. Learning motor skills: from algorithms to robot experiments

    Volume 56, Issue 2

    43 -- 45Ina Koch, Wolfgang Reisig, Falk Schreiber. Petri Nets in the Biosciences
    46 -- 54Annegret Wagler. Automatic network reconstruction from experimental time-series data: A survey
    55 -- 66Sabrina Proß, Bernhard Bachmann. An object-oriented Petri net simulation tool for hybrid biological processes
    67 -- 75Guangxu Jin, Stephen T. C. Wong. Enhanced Petri Net: elucidating the pathway-level mechanism of targeted-therapy drugs
    76 -- 81Ming Chen 0005, Ralf Hofestädt. Open problems in Petri net modeling and simulation of biological systems
    82 -- 86Andreas Lochbihler. Analysing Java's safety guarantees under concurrency

    Volume 56, Issue 1

    1 -- 3Norbert Ritter. Engineering adaptive software systems
    4 -- 12Kai Herrmann, Hannes Voigt, Wolfgang Lehner. Online horizontal partitioning of heterogeneous data
    13 -- 21Stephan Baumann, Kai-Uwe Sattler. Autonomic physical database design - from indexing to multidimensional clustering
    22 -- 32Mingyi Zhang, Patrick Martin, Wendy Powley, Paul Bird, David Kalmuk. A framework for autonomic workload management in DBMSs
    33 -- 41Kurt Geihs, Stefan Niemczyk, Alexander Roßnagel, Andreas Witsch. On the socially aware development of self-adaptive ubiquitous computing applications
    runs on