|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11014 occurrences of 5351 keywords
|
|
|
Results
Found 28291 publication records. Showing 28290 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | L. Zöliei, J. Fisher, W. Wells |
An Introduction to Statistical Methods of Medical Image Registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 531-542, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | H. Guo, A. Rangarajan, Shantanu H. Joshi |
Diffeomorphic Point Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 205-219, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Nikos Paragios |
Curve Propagation, Level Set Methods and Grouping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 145-159, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Joachim Weickert, Gabriele Steidl, Pavel Mrázek, Martin Welk, Thomas Brox |
Diffusion Filters and Wavelets: What Can They Learn from Each Other? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 1-16, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Philippe Pons, Renaud Keriven, Olivier D. Faugeras |
Modelling Non-Rigid Dynamic Scenes from Multi-View Image Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 439-452, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Alfred M. Bruckstein |
Invariant Processing and Occlusion Resistant Recognition of Planar Shapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 175-188, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | B. Legeveldt, Alejandro F. Frangi, Steven C. Mitchell, Hans C. van Assen, Sebastián Ordas, Johan H. C. Reiber, Milan Sonka |
3D Active Shape and Appearance Models in Cardiac Image Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 471-485, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | C. Stewart |
Uncertainty-Driven, Point-Based Image Registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 221-235, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Tony F. Chan, Selim Esedoglu, Frederick E. Park, Andy M. Yip |
Total Variation Image Restoration: Overview and Recent Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 17-31, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Anthony J. Yezzi, Delphine Nain, Gozde B. Unal, Ofer Zeitouni, Allen R. Tannenbaum |
On a Stochastic Model of Geometric Snakes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 161-174, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Yuri Boykov, Olga Veksler |
Graph Cuts in Vision and Graphics: Theories and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 79-96, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Dimitris N. Metaxas, Xiaolei Huang 0001, Ting Chen 0001 |
Integrating Shape and Texture in DeformabIe Models: from Hybrid Methods to Metamorphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 113-129, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Motilal Agrawal, Anurag Mittal, Larry S. Davis |
Multi-view Reconstruction of Static and Dynamic Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 405-422, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | S. Zucker |
Differential Geometry from the Frenet Point of View: Boundary Detection, Stereo, Texture and Color. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 357-373, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Gianfranco Doretto, Stefano Soatto |
Modeling Dynamic Scenes: An Overview of Dynamic Textures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 341-355, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Laurent D. Cohen |
Minimal Paths and Fast Marching Methods for Image Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 97-111, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Marcelo Bertalmío, Vicent Caselles, Gloria Haro, Guillermo Sapiro |
PDE-Based Image and Surface Inpainting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 33-61, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | A. Blake |
Visual Tracking: A Short Research Roadmap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 293-307, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Richard Szeliski |
Image Alignment and Stitching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 273-292, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | V. Chen |
Characterization of Diffusion Anisotropy in DWI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 487-501, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Emmanuel Prados, Olivier D. Faugeras |
Shape From Shading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 375-388, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Z. Wang, B. Vcmuti |
Segmentation of Diffusion Tensor Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 503-516, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Fernand Meyer |
Levelings: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 63-78, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ioannis A. Kakadiaris, Carlos Barron |
Model-Based Human Motion Capture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 325-340, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Vladimir Kolmogorov, Ramin Zabih |
Graph Cut Algorithms for Binocular Stereo with Occlusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 423-437, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Stéphanie Jehan-Besson, Ariane Herbulot, Michel Barlaud, Gilles Aubert |
Shape Gradient for Image and Video Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 309-323, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Anuj Srivastava, Shantanu H. Joshi, David Kaziska, D. Wilson |
Planar Shape Analysis and Its Applications in Image-Based Inferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 189-203, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Rachid Deriche, D. Tschumpelé, Christophe Lenglet, Mikaël Rousson |
Variational Approaches to the Estimation, Regularizatinn and Segmentation of Diffusion Tensor Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 517-530, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Leo J. Grady, Yiyong Sun, James Williams |
Interactive Graph-Based Segmentation Methods in Cardiovascular Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Models in Computer Vision ![In: Handbook of Mathematical Models in Computer Vision, pp. 453-469, 2006, Springer, 978-0-387-26371-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Dieter Hutter, Werner Stephan 0001 (eds.) |
Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![Springer, 3-540-25051-4 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Wilfried Sieg, Saverio Cittadini |
Normal Natural Deduction Proofs (in Non-classical Logics). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 169-191, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Werner Stephan 0001, Bruno Langenstein, Andreas Nonnengart, Georg Rock |
Verification Support Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 476-493, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Bernd Krieg-Brückner |
Towards MultiMedia Instruction in Safe and Secure Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 379-395, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Heiko Mantel, Axel Schairer |
Exploiting Generic Aspects of Security Models in Formal Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 452-475, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jim Doran |
Agents with Exact Foreknowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 528-542, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Howard Barringer, Dov M. Gabbay, John Woods 0001 |
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 59-98, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Wolfgang Bibel |
Time for Thinking Big in AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 120-131, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Erica Melis |
Why Proof Planning for Maths Education and How?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 364-378, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Alessandro Armando, Luca Compagna, Silvio Ranise |
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 30-45, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Manfred Schmidt-Schauß |
Decidable Variants of Higher-Order Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 154-168, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Larry Wos |
The Flowering of Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 204-227, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Leonard Bolc |
Formal Description of Natural Languages: An HPSG Grammar of Polish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 297-320, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Johan van Benthem |
An Essay on Sabotage and Obstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 268-276, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Franz Baader, Ian Horrocks 0001, Ulrike Sattler |
Description Logics as Ontology Languages for the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 228-248, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Deepak Kapur, Paliath Narendran, Lida Wang |
A Unification Algorithm for Analysis of Protocols with Blinded Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 433-451, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Dieter Hutter, Serge Autexier |
Formal Software Development in MAYA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 407-432, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Dieter Hutter, Werner Stephan 0001 |
A Portrait of a Scientist: Logic, AI and Politics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 1-13, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Dimitri Chubarov, Andrei Voronkov |
Solving First-Order Constraints over the Monadic Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 132-138, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Klaus Fischer 0001 |
Self-organisation in Holonic Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 543-563, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Marco Benedetti, Luigia Carlucci Aiello |
SAT-Based Cooperative Planning: A Proposal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 494-513, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Claus-Peter Wirth |
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 192-203, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Christoph Beierle, Gabriele Kern-Isberner |
Footprints of Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 99-119, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Peter B. Andrews |
Some Reflections on Proof Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 14-29, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella |
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 46-58, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Michael Beetz |
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 514-527, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Mateja Jamnik, Alan Bundy |
Psychological Validity of Schematic Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 321-341, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Concettina Guerra, Sorin Istrail (eds.) |
Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![Springer, 3-540-40104-0 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Knut Hüper |
A Dynamical System Approach to Matrix Eigenvalue Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 257-274, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Johannes M. Schumacher |
Control and Financial Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 345-374, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Joseph A. Ball, Victor Vinnikov |
Overdetermined Multidimensional Systems: State Space and Frequency Domain Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 63-119, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Gérard Ben Arous, Allen R. Tannenbaum, Ofer Zeitouni |
Crystalline Stochastic Systems and Curvature Driven Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 41-61, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Jan C. Willems, Harish K. Pillai |
Dissipative Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 493-504, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | J. William Helton |
Manipulating Matrix Inequalities Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 237-256, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Wolfgang J. Runggaldier |
On Stochastic Control in Finance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 317-344, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Olof J. Staffans |
Passive and Conservative Infinite-Dimensional Impedance and Scattering Systems (From a Personal Point of View). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 375-413, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Shmuel Friedland |
Multi-Dimensional Capacity, Pressure and Hausdorff Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 183-222, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Per-Olof Persson, Gilbert Strang |
Smoothing by Savitzky-Golay and Legendre Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 301-315, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Sjoerd M. Verduyn Lunel |
Spectral Theory for Neutral Delay Equations with Applications to Control and Stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 415-467, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Robert J. McEliece, Muhammed Yildirim |
Belief Propagation on Partially Ordered Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 275-299, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Raffaello D'Andrea, Cedric Langbort, Ramu S. Chandra |
A State Space Approach to Control of Interconnected Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 157-182, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Anthony M. Bloch |
Dissipative Dynamics in Classical and Quantum Conservative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 121-155, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Uwe Helmke, Jens Jordan |
Numerics Versus Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 223-236, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Mark S. Alber, Maria A. Kiskowski, James A. Glazier, Yi Jiang |
On Cellular Automaton Approaches to Modeling Biological Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 1-39, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Pascal O. Vontobel, Hans-Andrea Loeliger |
On Factor Graphs and Electrical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Systems Theory in Biology, Communications, Computation, and Finance ![In: Mathematical Systems Theory in Biology, Communications, Computation, and Finance, pp. 469-492, 2003, Springer, 978-1-4419-2326-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Yves-Henri Sanejouand, Georges Trinquier |
Proteinlike Properties of Simple Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 147-153, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Haim J. Wolfson |
Spatial Pattern Detection in Structural Bioinformatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 35-56, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Maricel Kann, Richard A. Goldstein |
OPTIMA: A New Score Function for the Detection of Remote Homologs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 99-108, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Mary Ellen Bock, Concettina Guerra |
Identifying Flat Regions and Slabs in Protein Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 83-97, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Dean C. Adams, Gavin J. P. Naylor |
A Comparison of Methods for Assessing the Structural Similarity of Proteins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 109-115, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Giuseppe Lancia, Sorin Istrail |
Protein Structure Comparison: Algorithms and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 1-33, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | John R. Quine, Timothy A. Cross |
Protein Structure from Solid-State NMR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 131-137, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Carlo Ferrari, Concettina Guerra |
Geometric Methods for Protein Structure Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 57-82, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Flavio Seno, Cristian Micheletti, Amos Maritan, Jayanth R. Banavar |
Learning Effective Amino-Acid Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 139-145, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Andrea Rossi 0004, Cristian Micheletti, Flavio Seno, Amos Maritan |
Self-consistent Knowledge-Based Approach to Protein Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 123-129, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Claus Lundegaard, Thomas Nordahl Petersen, Morten Nielsen 0001, Henrik Bohr, Jakob Bohr, Søren Brunak, Garry Gippert, Ole Lund |
Prediction of Protein Secondary Structure at High Accuracy Using a Combination of Many Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 117-122, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Dennis W. Prather, Mark S. Mirotznik, Shouyuan Shi |
5. Electromagnetic Models for Finite Aperiodic Diffractive Optical Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Modeling in Optical Science ![In: Mathematical Modeling in Optical Science, pp. 141-177, 2001, SIAM, 978-0-89871-475-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | J. Allen Cox |
1. Overview and Applications of Diffractive Optics Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Modeling in Optical Science ![In: Mathematical Modeling in Optical Science, pp. 1-35, 2001, SIAM, 978-0-89871-475-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Oscar P. Bruno, Fernando Reitich |
3. High-Order Boundary Perturbation Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Modeling in Optical Science ![In: Mathematical Modeling in Optical Science, pp. 71-109, 2001, SIAM, 978-0-89871-475-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Peter Kuchment |
7. The Mathematics of Photonic Crystals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Modeling in Optical Science ![In: Mathematical Modeling in Optical Science, pp. 207-272, 2001, SIAM, 978-0-89871-475-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Habib Ammari, Jean-Claude Nédélec |
6. Analysis of the Diffraction from Chiral Gratings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Modeling in Optical Science ![In: Mathematical Modeling in Optical Science, pp. 179-206, 2001, SIAM, 978-0-89871-475-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Gang Bao, David C. Dobson |
2. Variational Methods for Diffractive Optics Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Modeling in Optical Science ![In: Mathematical Modeling in Optical Science, pp. 37-69, 2001, SIAM, 978-0-89871-475-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Carlos Martín-Vide, Gheorghe Paun (eds.) |
Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Topics in Mathematical and Computational Linguistics ![Editura Academiei Române, Bucuresti, 973-27-0770-4 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Pierre Hansen, Patrick W. Fowler, Maolin Zheng (eds.) |
Discrete Mathematical Chemistry, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discrete Mathematical Chemistry ![DIMACS/AMS, 978-0-8218-0987-7 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Ding-Zhu Du, Panos M. Pardalos, Jie Wang 0002 (eds.) |
Discrete Mathematical Problems with Medical Applications, Proceedings of a DIMACS Workshop, December 8-10, 1999 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discrete Mathematical Problems with Medical Applications ![DIMACS/AMS, 978-0-8218-2096-4 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Gundula Niemann, Friedrich Otto |
Confluent Internal Contextual Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Topics in Mathematical and Computational Linguistics ![In: Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday, pp. 234-244, 2000, Editura Academiei Române, Bucuresti, 973-27-0770-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Symeon Bozapalidis |
New Syntactical Invariants for Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Topics in Mathematical and Computational Linguistics ![In: Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday, pp. 46-54, 2000, Editura Academiei Române, Bucuresti, 973-27-0770-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Adrian Chitu |
Bounded Semilinear Languages and PC Grammar Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Topics in Mathematical and Computational Linguistics ![In: Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday, pp. 68-81, 2000, Editura Academiei Române, Bucuresti, 973-27-0770-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Radu Gramatovici |
Bounded Deterministic Push-Down Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Topics in Mathematical and Computational Linguistics ![In: Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday, pp. 121-129, 2000, Editura Academiei Române, Bucuresti, 973-27-0770-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Lech Polkowski, Andrzej Skowron |
Synthesis Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Topics in Mathematical and Computational Linguistics ![In: Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday, pp. 260-270, 2000, Editura Academiei Române, Bucuresti, 973-27-0770-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | |
Papers by Solomon Marcus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Topics in Mathematical and Computational Linguistics ![In: Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday, pp. 321-342, 2000, Editura Academiei Române, Bucuresti, 973-27-0770-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
Displaying result #301 - #400 of 28290 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|