sign in · help · news · about ·

BibSonomy :: author :: Mayr ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(423)

<< < 1 | 2 | 3 > >>

Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems
Daniel Hienert, Frank Sawitzki, Philipp Schaer, and Philipp Mayr CoRR (2012)
to dblp by dblp and 1 other user on Feb 1, 2012, 12:00 AM
URL | BibTeX
A critique of BCM behavior verification for STDP-type plasticity models.
Christian Mayr, Johannes Partzsch, and René Schüffny ESANN, (2010)
to dblp by dblp on Feb 1, 2012, 12:00 AM
URL | BibTeX
Combination and Comparison of Different Genetic Encodings for the Vehicle Routing Problem.
Stefan Vonolfen, Andreas Beham, Michael Affenzeller, Stefan Wagner, and Andreas Mayr EUROCAST 1, volume 6927 of Lecture Notes in Computer Science, page 327-334. Springer, (2011)
to dblp by dblp on Feb 1, 2012, 12:00 AM
URL | BibTeX
Development of an Accurate Method for Motion Analyses of the Heart Wall Based on Medical Imagery.
Bernhard Quatember, Martin Mayr, Wolfgang Recheis, Stefanos Demertzis, Giampietro Allasia, Alessandra De Rossi, Roberto Cavoretto, and Ezio Venturino EUROCAST 2, volume 6928 of Lecture Notes in Computer Science, page 248-255. Springer, (2011)
to dblp by dblp on Feb 1, 2012, 12:00 AM
URL | BibTeX
Situated Interaction and Cognition in the Wild, Wild World : Unleashing the Power of Users as Innovators.
Hanna Risku, Eva Mayr, and Michael Smuc J. Mobile Multimedia 5(4):287-300 (2009)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
Data Abstractions for Database Systems.
Peter C. Lockemann, Heinrich C. Mayr, Wolfgang H. Weil, and Wolfgang H. Wohlleber ACM Trans. Database Syst. 4(1):60-75 (1979)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
Templates in Domain Modeling - A Survey.
Christian Kop, and Heinrich C. Mayr The Evolution of Conceptual Modeling, volume 6520 of Lecture Notes in Computer Science, page 21-41. Springer, (2008)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
XQuery Join Graph Isolation: Celebrating 30+ Years of XQuery Processing Technology.
Torsten Grust, Manuel Mayr, and Jan Rittinger ICDE, page 1167-1170. IEEE, (2009)
to dblp by dblp on Jan 23, 2012, 12:00 AM
URL | BibTeX
On the Verification of Broadcast Protocols.
Javier Esparza, Alain Finkel, and Richard Mayr LICS, page 352-359. IEEE Computer Society, (1999)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Computing Optimal Coverability Costs in Priced Timed Petri Nets.
Parosh Aziz Abdulla, and Richard Mayr LICS, page 399-408. IEEE Computer Society, (2011)
to dblp by dblp and 1 other user on Jan 20, 2012, 12:00 AM
URL | BibTeX
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property.
Parosh Aziz Abdulla, Noomene Ben Henda, and Richard Mayr LICS, page 127-136. IEEE Computer Society, (2005)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances.
Javier Esparza, Antonín Kucera, and Richard Mayr LICS, page 117-126. IEEE Computer Society, (2005)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
On the Computational Complexity of Verifying One-Counter Processes.
Stefan Göller, Richard Mayr, and Anthony Widjaja To LICS, page 235-244. IEEE Computer Society, (2009)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
Parosh Aziz Abdulla, Pritha Mahata, and Richard Mayr CoRR (2006)
to dblp by dblp on Jan 16, 2012, 12:00 AM
URL | BibTeX
Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems
Daniel Hienert, Frank Sawitzki, Philipp Schaer, and Philipp Mayr Proceedings of the 34th European Conference on Information Retrieval ECIR 2012, (2012)
to myown by schaer and 1 other user on Jan 3, 2012, 12:14 PM
URL | BibTeX
Goal-awareness and goal-adaptive information presentation to support collaborative learning in informal settings.
Eva Mayr CSCL, page 859-861. International Society of the Learning Sciences / ACM DL, (2007)
to dblp by dblp on Dec 13, 2011, 12:00 AM
URL | BibTeX
Current conveyor based amplifier and adaptive buffer for use in an analog frontend.
Georg Ellguth, Stephan Henker, Christian Mayr, and René Schüffny ICECS, page 9-12. IEEE, (2009)
to dblp by dblp on Dec 12, 2011, 12:00 AM
URL | BibTeX
Establishing a Multi-Thesauri-Scenario based on SKOS and Cross-Concordances
Philipp Mayr, Benjamin Zapilko, and York Sure CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Novel Combined Term Suggestion Service for Domain-Specific Digital Libraries
Daniel Hienert, Philipp Schaer, Johann Schaible, and Philipp Mayr CoRR (2011)
to dblp by dblp and 2 other users on Dec 5, 2011, 12:00 AM
URL | BibTeX
An exploratory study of Google Scholar
Philipp Mayr, and Anne-Kathrin Walter CoRR (2007)
to dblp by dblp and 3 other users on Dec 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100