|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2157 occurrences of 1462 keywords
|
|
|
Results
Found 36218 publication records. Showing 32281 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
39 | Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám |
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 186-198, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Michaël Cadilhac, Andreas Krebs, Pierre McKenzie |
The Algebraic Theory of Parikh Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 60-73, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Christel Baier |
Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 4-5, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Konstantinos Draziotis, Dimitrios Poulakis |
Lattice Attacks on DSA Schemes Based on Lagrange's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 119-131, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Georgios Fotiadis, Elisavet Konstantinou |
On the Efficient Generation of Generalized MNT Elliptic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 147-159, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Symeon Bozapalidis, George Rahonis |
Stochastic Equationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 173-185, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Strong Prefix Codes of Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 47-59, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Pascal Véron |
Code Based Cryptography and Steganography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 9-46, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Gérard Henry Edmond Duchamp, Nguyen Hoang Nghia, Adrian Tanasa |
A Selection-Quotient Process for Packed Word Hopf Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 223-234, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Laurent Poinsot |
Linear Induction Algebra and a Normal Form for Linear Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 260-273, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Franz Winkler 0001 (eds.) |
Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-642-21492-9 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Matthieu Deneufchâtel, Gérard Duchamp, Vincel Hoang Ngoc Minh, Allan I. Solomon |
Independence of Hyperlogarithms over Function Fields via Algebraic Combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 127-139, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Christoph Behle, Andreas Krebs, Stephanie Reifferscheid |
Typed Monoids - An Eilenberg-Like Theorem for Non Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 97-114, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Gregory Karagiorgos, Dimitrios Poulakis |
An Algorithm for Computing a Basis of a Finite Abelian Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 174-184, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Sicun Gao, André Platzer, Edmund M. Clarke |
Quantifier Elimination over Finite Fields Using Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 140-157, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Cynthia Kop |
Simplifying Algebraic Functional Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 201-215, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Christos Koukouvinos, Dimitris E. Simos, Zlatko Varbanov |
Hadamard Matrices, Designs and Their Secret-Sharing Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 216-229, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Anna Benini, Achille Frigeri, Fiorenza Morini |
Codes and Combinatorial Structures from Circular Planar Nearrings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 115-126, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Jean-Éric Pin |
Theme and Variations on the Concatenation Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 44-64, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Lajos Rónyai, Tamás Mészáros 0001 |
Some Combinatorial Applications of Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 65-83, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Marcella Anselmo, Maria Madonia |
Comparing Necessary Conditions for Recognizability of Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 84-96, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Ondrej Klíma 0001, Miroslav Korbelár, Libor Polák |
Rewriting in Varieties of Idempotent Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 185-200, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Mamadou Moustapha Kanté, Michaël Rao |
\mathbb F\mathbb F-Rank-Width of (Edge-Colored) Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 158-173, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Peter Padawitz |
From Grammars and Automata to Algebras and Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 21-43, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl |
Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 1-20, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Ulrich Loup, Erika Ábrahám |
I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 230-246, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Irini-Eleftheria Mens, George Rahonis |
Variable Tree Automata over Infinite Ranked Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 247-260, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
39 | Symeon Bozapalidis, George Rahonis (eds.) |
Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-642-03563-0 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Friedrich Otto, Heiko Stamer |
Single-Path Restarting Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 324-341, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
restarting tree automaton, single-path top-down tree automaton, classes of tree languages, linear context-free tree language |
39 | Zoltán Ésik, Tamás Hajgató |
Iteration Grove Theories with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 227-249, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Paraskevas Alvanos, Dimitrios Poulakis |
Solving Norm Form Equations over Number Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 136-146, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Marcella Anselmo, Maria Madonia |
A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 147-159, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unambiguity, Complement, Automata and Formal Languages, Two-dimensional languages |
39 | Michel Bauderon, Rui Chen, Olivier Ly |
Context-Free Categorical Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 160-171, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
context-freeness, grammar, Category, rewriting system |
39 | Alessandra Cherubini, Matteo Pradella |
Picture Languages: From Wang Tiles to 2D Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 13-46, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Stephen L. Bloom, Zoltán Ésik, Werner Kuich |
Cycle-Free Finite Automata in Partial Iterative Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 1-12, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Dana Pardubská, Martin Plátek, Friedrich Otto |
Parallel Communicating Grammar Systems with Regular Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 342-360, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel communicating grammar system, regular control, bounded communication complexity, freely rewriting restarting automaton |
39 | Bruno Courcelle |
On Several Proofs of the Recognizability Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 78-80, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Ondrej Klíma 0001, Libor Polák |
Polynomial Operators on Classes of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 260-277, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
positive varieties of languages, polynomial operators |
39 | Wan J. Fokkink |
Process Algebra: An Algebraic Theory of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 47-77, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Gabriele Fici |
Combinatorics of Finite Words and Suffix Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 250-259, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Andreas Maletti, Catalin Ionut Tîrnauca |
Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms - Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 305-317, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
tree bimorphism, natural language processing, syntax-directed translation, regular tree language |
39 | Konstantinos A. Draziotis |
Computation of Pell Numbers of the Form pX2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 220-226, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Bo Cui 0001, Lila Kari, Shinnosuke Seki |
On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 204-219, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Christos Koukouvinos, Dimitris E. Simos |
Self-dual Codes over Small Prime Fields from Combinatorial Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 278-287, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
construction, combinatorial designs, Self-dual codes |
39 | Franz Winkler 0001 |
Canonical Reduction Systems in Symbolic Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 123-135, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Andreas Maletti |
A Backward and a Forward Simulation for Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 288-304, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Symeon Bozapalidis, Archontia Grammatikopoulou |
An Eilenberg Theorem for Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 172-188, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Gerasimos C. Meletiou |
Polynomial Interpolation of the k-th Root of the Discrete Logarithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 318-323, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Dietrich Kuske |
Theories of Automatic Structures and Their Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 81-98, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Symeon Bozapalidis, Antonios Kalampakas |
On the Complexity of the Syntax of Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 189-203, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Detlef Plump |
The Graph Programming Language GP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 99-122, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Symeon Bozapalidis, George Rahonis (eds.) |
Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-540-75413-8 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Frank Drewes, Johanna Högberg |
An Algebra for Tree-Based Music Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 172-188, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Iakovos Ouranos, Petros S. Stefaneas |
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 247-259, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Algebraic Specification and Verification, Observational Transition Systems, SPINS Protocol suite, Sensor Networks, CafeOBJ |
39 | Andreas Maletti |
Learning Deterministically Recognizable Tree Series - Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 218-235, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Jürgen Albert, German Tischler |
On Generalizations of Weighted Finite Automata and Graphics Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 1-22, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Antonios Kalampakas |
The Syntactic Complexity of Eulerian Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 208-217, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Jozef Gruska |
Algebraic Methods in Quantum Informatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 87-111, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Oliver Matz |
Recognizable vs. Regular Picture Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 112-121, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Marcella Anselmo, Maria Madonia |
Deterministic Two-Dimensional Languages over One-Letter Alphabet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 147-159, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Determinism, Automata and Formal Languages, Two-dimensional languages |
39 | Jean Marcel Pallo |
Nonassociativity à la Kleene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 260-274, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Frank Drewes |
From Tree-Based Generators to Delegation Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 48-72, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Zoltán Ésik, Szabolcs Iván |
Aperiodicity in Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 189-207, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Heiko Stamer, Friedrich Otto |
Restarting Tree Automata and Linear Context-Free Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 275-289, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis |
The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 236-246, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Jean Berstel |
Sturmian and Episturmian Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 23-47, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Giusi Castiglione, Roberto Vaglica |
Recognizable Picture Languages and Polyominoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 160-171, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Ulrike Prange, Hartmut Ehrig |
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 122-146, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Dora Giammarresi |
Tiling Recognizable Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 75-86, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Tiling systems, Unambiguity, Determinism, Automata and Formal Languages, Two-dimensional languages |
39 | Manfred Droste, Guo-Qiang Zhang 0001 |
Bifinite Chu Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 73-74, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Kristijan Mihalic (eds.) |
Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![ACM Press The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
39 | Erika Reponen, Kristijan Mihalic |
Model of primary and secondary context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 37-38, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
privacy, communication, context, mobile phones, publishing, video phones |
39 | Lucia Terrenghi |
Sticky, smelly, smoky context: experience design in the kitchen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 49-52, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer supported collaborative cooking, evaluation, human computer interaction, ubiquitous computing, user experience |
39 | Jörg Beringer |
In context of business. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 17-18, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Heimo Müller, Fritz Wiesinger |
Modelling "user understanding" in simple communication tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 39-43, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
eye-gaze patterns, visual language, adaptive interfaces, mental models |
39 | Robert Dinoff, Richard Hull 0001, Bharat Kumar, Daniel F. Lieuwen, Paulo Santos 0002 |
Learning and managing user context in personalized communications services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 33-36, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
preference palettes, privacy, learning, personalization, context, preferences |
39 | Torben Weis, Martin Saternus, Mirko Knoll, Alexander Brändle, Marco Combetto |
Towards a general purpose user interface for service-oriented context-aware applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 53-55, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
human computer interaction, ubiquitous computing, context |
39 | Diane Lingrand, Michel Riveill |
Input interactions and context component based modelisations: differences and similarities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 19-22, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
human computer interaction, context |
39 | Elke Franz 0001, Katja Liesebach, Katrin Borcea-Pfitzmann |
Privacy-aware user interfaces within collaborative environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 45-48, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
partial identities, privacy-aware user interface, privacy-enhancing identity management, visualization, collaborative environments |
39 | Alan J. Dix, Tiziana Catarci, Benjamin Habegger, Yannis E. Ioannidis, Azrina Kamaruddin, Akrivi Katifori, Giorgos Lepouras, Antonella Poggi, Devina Ramduny-Ellis |
Intelligent context-sensitive interactions on desktop and the web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 23-27, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
dynamic interaction, human computer interaction, context, user experience, intelligent interfaces, natural interaction |
39 | Andreas Heil, Iman Moradi, Torben Weis |
LCARS: the next generation programming context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 29-31, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
VRDK, ubiquitous computing, robots, context, visual programming languages, model-driven software engineering |
39 | Ross Shannon, Aaron J. Quigley, Paddy Nixon |
Collaborating in context: immersive visualisation environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Proceedings of the 2006 AVI Workshop on Context in advanced interfaces, CAI 2006, Venice, Italy, May 23, 2006, pp. 13-16, 2006, ACM Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer-supported cooperative work, information visualisation, visual interaction, visual interface design |
38 | Cristian A. Linte, Ziv Yaniv, Pascal Fallavollita (eds.) |
Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![Springer, 978-3-319-24600-0 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Markus Zweng, Pascal Fallavollita, Stefanie Demirci, Markus Kowarschik, Nassir Navab, Diana Mateus |
Automatic Guide-Wire Detection for Neurointerventions Using Low-Rank Sparse Matrix Decomposition and Denoising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 114-123, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Naoki Suzuki, Asaki Hattori, Makoto Hashizume |
Development of 4D Human Body Model that Enables Deformation of Skin, Organ and Blood Vessel According to Dynamic Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 80-91, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Beatriz Paniagua, Dzenan Zukic, Ricardo Ortiz, Stephen R. Aylward, Brent Golden, Tung Nguyen, Andinet Enquobahrie |
Ultrasound-Guided Navigation System for Orthognathic Surgery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 1-10, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Junchen Wang, Hideyuki Suenaga, Liangjing Yang, Hongen Liao, Takehiro Ando, Etsuko Kobayashi, Ichiro Sakuma |
3D Surgical Overlay with Markerless Image Registration Using a Single Camera. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 124-133, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Hagen Kaiser, Pascal Fallavollita, Nassir Navab |
'On the Fly' Reconstruction and Tracking System for Patient Setup in Radiation Therapy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 30-37, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Hua Ma 0001, Gerardo Dibildox, Jyotirmoy Banerjee, Wiro J. Niessen, Carl J. Schultz, Evelyn Regar, Theo van Walsum |
Layer Separation for Vessel Enhancement in Interventional X-ray Angiograms Using Morphological Filtering and Robust PCA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 104-113, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Fabrizio Cutolo, Giovanni Badiali, Vincenzo Ferrari |
Human-PnP: Ergonomic AR Interaction Paradigm for Manual Placement of Rigid Bodies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 50-60, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Gabriel Kiss, Cameron Lowell Palmer, Hans Torp |
Patient Adapted Augmented Reality System for Real-Time Echocardiographic Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 145-154, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Golafsoun Ameri, John S. H. Baxter, A. Jonathan McLeod, Terry M. Peters, Elvis C. S. Chen |
Augmented Reality Ultrasound Guidance for Central Line Procedures: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 11-20, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Uditha L. Jayarathne, Xióngbiao Luó, Elvis C. S. Chen, Terry M. Peters |
Simultaneous Estimation of Feature Correspondence and Stereo Object Pose with Application to Ultrasound Augmented Robotic Laparoscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 134-144, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Simon Drouin, Marta Kersten-Oertel, D. Louis Collins |
Interaction-Based Registration Correction for Improved Augmented Reality Overlay in Neurosurgery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 21-29, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Marta Kersten-Oertel, Ian J. Gerard, Simon Drouin, Kelvin Mok, Denis Sirhan, David S. Sinclair, D. Louis Collins |
Augmented Reality for Specific Neurovascular Surgical Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 92-103, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Pierre Ambrosini, Ihor Smal, Daniel Ruijters, Wiro J. Niessen, Adriaan Moelker, Theo van Walsum |
3D Catheter Tip Tracking in 2D X-Ray Image Sequences Using a Hidden Markov Model and 3D Rotational Angiography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 38-49, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Hagen Kaiser, Pascal Fallavollita, Nassir Navab |
Real-Time Markerless Respiratory Motion Management Using Thermal Sensor Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 61-68, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Elvis C. S. Chen, A. Jonathan McLeod, John S. H. Baxter, Terry M. Peters |
An Iterative Closest Point Framework for Ultrasound Calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings, pp. 69-79, 2015, Springer, 978-3-319-24600-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Cristian A. Linte, Ziv Yaniv, Pascal Fallavollita, Purang Abolmaesumi, David R. Holmes III (eds.) |
Augmented Environments for Computer-Assisted Interventions - 9th International Workshop, AE-CAI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![Springer, 978-3-319-10436-2 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
38 | Marta Kersten-Oertel, Ian Gerard, Simon Drouin, Kelvin Mok, Denis Sirhan, David S. Sinclair, D. Louis Collins |
Augmented Reality in Neurovascular Surgery: First Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AE-CAI ![In: Augmented Environments for Computer-Assisted Interventions - 9th International Workshop, AE-CAI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014. Proceedings, pp. 80-89, 2014, Springer, 978-3-319-10436-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 32281 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|