|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1941 occurrences of 1292 keywords
|
|
|
Results
Found 12471 publication records. Showing 12448 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | Jungwhan Kim, Seonghyun Jang, Eunjung Han, Keechul Jung |
Multimedia visitor book using mobile phone. |
Advances in Computer Entertainment Technology |
2009 |
DBLP DOI BibTeX RDF |
multimedia visitor book, photo-mosaic, mobile phone, Bluetooth |
56 | Walid Magdy, Kareem Darwish |
Book search: indexing the valuable parts. |
BooksOnline |
2008 |
DBLP DOI BibTeX RDF |
OCR retrieval, book search |
55 | Monica Landoni, Ruth Wilson, Forbes Gibb |
From the Visual Book to the WEB Book: The Importance of Good Design. |
ECDL |
2000 |
DBLP DOI BibTeX RDF |
|
53 | Shaolei Feng 0001, R. Manmatha |
A hierarchical, HMM-based automatic evaluation of OCR accuracy for a digital library of books. |
JCDL |
2006 |
DBLP DOI BibTeX RDF |
OCR evaluation, book alignment, digital libraries |
53 | Jonghee Park, Woontack Woo |
Multi-layer Based Authoring Tool for Digilog Book. |
ICEC |
2009 |
DBLP DOI BibTeX RDF |
AR book, Digilog Book, augmented reality, authoring, layer |
53 | Eva Patrícia Gil Rodríguez, Jordi Planella Ribera |
Educational Uses of the e-Book: An Experience in a Virtual University Context. |
USAB |
2008 |
DBLP DOI BibTeX RDF |
digital ink book, human aspects of e-learning, m-learning, mobile HCI, e-book |
53 | Noorhidawati Abdullah, Forbes Gibb |
Using a Task-Based Approach in Evaluating the Usability of BoBIs in an E-book Environment. |
ECIR |
2008 |
DBLP DOI BibTeX RDF |
Task-Based, BoBI, Book Index, Usability Evaluation, E-book |
47 | Pingping Xiu, Henry S. Baird |
Analysis of whole-book recognition. |
Document Analysis Systems |
2010 |
DBLP DOI BibTeX RDF |
whole-book recognition, digital library, cross entropy, isogeny, anytime algorithm, adaptive classification |
47 | Hiroki Yamada |
SequenceBook: interactive paper book capable of changing the storylines by shuffling pages. |
CHI Extended Abstracts |
2010 |
DBLP DOI BibTeX RDF |
picture book, story creation, hci, tangible user interface, rfid, media art |
47 | Nobuhiro Inagawa, Kaori Fujinami |
Making Reading Experience Rich with Augmented Book Cover and Bookmark. |
APCHI |
2008 |
DBLP DOI BibTeX RDF |
Virtual illustration, Page-Flipping detection, Embedded interaction, Augmented book |
47 | Hengzhi Wu, Gabriella Kazai, Michael J. Taylor 0001 |
Book Search Experiments: Investigating IR Methods for the Indexing and Retrieval of Books. |
ECIR |
2008 |
DBLP DOI BibTeX RDF |
multi-field indexing, BM25F, efficiency, effectiveness, Book search |
47 | Takanori Kuroiwa, Subhash Bhalla |
Aizu-BUS: Need-Based Book Recommendation Using Web Reviews and Web Services. |
DNIS |
2007 |
DBLP DOI BibTeX RDF |
Book recommendation, Web review retrieval, Web Services |
47 | Nobuko Taketa, Kenichi Hayashi, Hirokazu Kato 0001, Shogo Nishida |
Virtual Pop-Up Book Based on Augmented Reality. |
HCI (9) |
2007 |
DBLP DOI BibTeX RDF |
pop-up book, texture tracking, Augmented Reality |
47 | Minghui Wu 0006, Rongfeng Li, Bin Fu, Wenxin Li 0005, Zhuoqun Xu |
A Page Content Independent Book Dewarping Method to Handle 2D Images Captured by a Digital Camera. |
ICIAR |
2007 |
DBLP DOI BibTeX RDF |
text line, document rectification, book dewarping, digital camera, Transformation model |
46 | Raphaël Grasset, Andreas Dünser, Mark Billinghurst |
Edutainment with a mixed reality book: a visually augmented illustrative childrens' book. |
Advances in Computer Entertainment Technology |
2008 |
DBLP DOI BibTeX RDF |
user interface, augmented reality, electronic book |
43 | Nguyen-Huu Quoc, Won-Ho Choi |
A Framework for Recognition Books on Bookshelves. |
ICIC (1) |
2009 |
DBLP DOI BibTeX RDF |
Book recognition, dominant vanishing point, MSAC, OCR, Singular Value Decomposition, RANSAC, line segment |
43 | Nina Wacholder, Lu Liu 0014, Ying-Hsang Liu |
Selecting books: a performance-based study. |
JCDL |
2006 |
DBLP DOI BibTeX RDF |
book selection, electronic books |
43 | Thomas R. Lincke |
Strategies for the Automatic Construction of Opening Books. |
Computers and Games |
2000 |
DBLP DOI BibTeX RDF |
opening book construction, expansion strategy, best-first, Awari, Othello |
43 | Mark T. J. Carden |
E-Books are not books. |
BooksOnline |
2008 |
DBLP DOI BibTeX RDF |
electronic book, E-Book, digital content, EBook |
43 | Konstantina Chatzara, Athanasios Mpantsos, Demosthenes Stamatis, Athanasios K. Tsadiras |
Developing Personalized E-Books: A Multi-Layered Approach. |
AIAI |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Rasimah Che Mohd Yusoff, Halimah Badioze Zaman |
Mixed Reality Book: A Visualization Tool. |
IVIC |
2009 |
DBLP DOI BibTeX RDF |
science research education, mixed reality book |
43 | Walid Magdy, Kareem Darwish |
CMIC at INEX 2007: Book Search Track. |
INEX |
2007 |
DBLP DOI BibTeX RDF |
OCR retrieval, book search |
43 | Emilio Di Giacomo, Walter Didimo, Giuseppe Liotta, Stephen K. Wismath |
Book Embeddability of Series-Parallel Digraphs. |
Algorithmica |
2006 |
DBLP DOI BibTeX RDF |
Book embeddability, Point set embedding |
42 | Minghui Wu 0006, Rongfeng Li, Bin Fu, Wenxin Li 0005, Zhuoqun Xu |
A Model Based Book Dewarping Method to Handle 2D Images Captured by a Digital Camera. |
ICDAR |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Jonathan Katz |
Comparative book review: Cryptography: An Introduction by V. V. Yaschenko (American Mathematical Society, 2002); Cryptanalysis of Number Theoretic Ciphers by S.S. Wagstaff, Jr. (Chapman & Hall/CRC Press, 2003); RSA and Public-Key Cryptography by R. A. Mollin (Chapman & Hall/CRC Press, 2003); Foundations of Cryptography, vol. 1: Basic Tools by O. Goldreich, (Cambridge University Press, 2001). |
SIGACT News |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Albert C. Leighton, Stephen M. Matyas |
The History of Book Ciphers. |
CRYPTO |
1984 |
DBLP DOI BibTeX RDF |
|
39 | Trien V. Do, Jong-Weon Lee 0002 |
Creating 3D E-books with ARBookCreator. |
Advances in Computer Entertainment Technology |
2009 |
DBLP DOI BibTeX RDF |
3D contents, human computer interaction, augmented reality, e-learning, serious game, e-book, digital contents, 3D book |
39 | Hiroaki Tobita |
EnforManga: interactive comic creation with deformation. |
AVI |
2010 |
DBLP DOI BibTeX RDF |
comic book creation, manga, zooming and interaction technique, user interface, interactive system, image deformation |
39 | Petros A. Kostagiolas, Christina Banou, Stelios Zimeras |
A Study for the Organization of the Greek Publishing Enterprises at the Beginning of the 21st Century. |
WSKS (2) |
2009 |
DBLP DOI BibTeX RDF |
book publishing industry, publishing companies, management, organization, empirical research, Greece |
39 | Hyun Seung Yang, Kyusung Cho, Jaemin Soh, Jinki Jung, Junseok Lee |
Hybrid Visual Tracking for Augmented Books. |
ICEC |
2008 |
DBLP DOI BibTeX RDF |
hybrid visual tracking, augmented reality, augmented book |
39 | Arum Park, Kyoung Jun Lee, Federico Casalegno |
The Three Dimensions of Book Evolution in Ubiquitous Computing Age: Digitalization, Augmentation, and Hypermediation. |
SUTC/UMC |
2010 |
DBLP DOI BibTeX RDF |
hypermediation, ubiquitous computing, Business Model, e-book, Augmented Book |
39 | Umar Farooq 0001, Mahmood ul Hasan, Muhammad Usman Asad, Asim Iqbal, Muhammad Amar |
An Integrated Library Management System for Book Search and Placement Tasks. |
ICSAP |
2010 |
DBLP DOI BibTeX RDF |
library management system, book placement, image processing, mobile phone, digital camera, book searching |
38 | Newton Lee |
A word from the editor. |
Comput. Entertain. |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Elizabeth Dykstra-Erickson |
Perspectives on interaction design by Yvonne Rogers, Helen Sharp, and Jennifer J. Preece. |
Interactions |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Robert L. Glass |
How to handle real project risks, while filing gaps in the risk theory literature. |
Data Base |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Daniel L. Schuster |
CS1, arcade games and the free Java book. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
acm java, free java book, games, cs1 |
38 | Jie Qi, Leah Buechley |
Electronic popables: exploring paper-based computing through an interactive pop-up book. |
TEI |
2010 |
DBLP DOI BibTeX RDF |
conductive paint, magnetic paper, paper computing, paper electronics, paper-crafts, pop-up book, arduino |
38 | Hideaki Araki, Hirohide Haga, Shigeo Kaneda |
Automatic Updating of a Book Storage Database in a Ubiquitous Library Information System. |
UIC |
2006 |
DBLP DOI BibTeX RDF |
library system, book retrieval, image data processing, multi thread processing, real-time processing, CCD camera, infrared sensor |
38 | M.-Carmen Juan, Beatriz Rey, David Pérez 0001, D. Tomas, Mariano Alcañiz Raya |
The memory book. |
Advances in Computer Entertainment Technology |
2005 |
DBLP DOI BibTeX RDF |
memory book, augmented reality, storytelling |
38 | Yixing Sun, David J. Harper, Stuart N. K. Watt |
Design of an e-book user interface and visualizations to support reading for comprehension. |
SIGIR |
2004 |
DBLP DOI BibTeX RDF |
reading tasks, visualization and user interface, information retrieval, e-book, topic detection and tracking |
37 | Koji Eguchi, Shigeki Sugita |
Automatically editing book reviews on the web. |
WIDM |
2001 |
DBLP DOI BibTeX RDF |
|
37 | ChunChen Lin, Yosihiro Niwa, Seinosuke Narita |
Logical Structure Analysis of Book Document Images Using Contents Information. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
|
36 | Scott Davidson 0001 |
Book Reviews: Test Tutorials in Book Form. |
IEEE Des. Test Comput. |
2007 |
DBLP DOI BibTeX RDF |
advances in electronic testing, methodologies, DFT, ATE, tutorials |
36 | Monica M. C. Schraefel, Gareth V. Hughes, Hugo R. Mills, Graham Smith, Terry R. Payne, Jeremy G. Frey |
Breaking the book: translating the chemistry lab book into a pervasive computing lab environment. |
CHI |
2004 |
DBLP DOI BibTeX RDF |
pervasive computing, design methods, e-science |
34 | Liang Zhang, Jiangqin Wu, Yueting Zhuang, Yin Zhang 0006, Chenxing Yang |
Review-oriented metadata enrichment: a case study. |
JCDL |
2009 |
DBLP DOI BibTeX RDF |
graph-based scoring, metadata enrichment, digital libraries, metadata, diversity, keyword extraction, book review |
34 | Veronica Liesaputra, Ian H. Witten |
Seeking information in realistic books: a user study. |
JCDL |
2008 |
DBLP DOI BibTeX RDF |
flash application, electronic book |
34 | Lenwood S. Heath, Sorin Istrail |
The Pagenumber of Genus g Graphs is O(g). |
J. ACM |
1992 |
DBLP DOI BibTeX RDF |
book embeddings, graph genus, homotopy classes, planar-nonplanar decomposition, surface embeddings |
33 | Bodin Dresevic, Aleksandar Uzelac, Bogdan Radakovic, Nikola Todic |
Book Layout Analysis: TOC Structure Extraction Engine. |
INEX |
2008 |
DBLP DOI BibTeX RDF |
book layout analysis, TOC, TOC navigation, ocrml, bookml, information extraction |
33 | Nicholas Chen, François Guimbretière, Morgan Dixon, Cassandra Lewis, Maneesh Agrawala |
Navigation techniques for dual-display e-book readers. |
CHI |
2008 |
DBLP DOI BibTeX RDF |
motion sensing, multiple display devices, reading, e-book, embodied interfaces |
33 | William Billingsley, Peter Robinson 0001 |
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
Intelligent book, MathsTiles, Isabelle |
33 | Raphaël Grasset, Andreas Dünser, Hartmut Seichter, Mark Billinghurst |
The mixed reality book: a new multimedia reading experience. |
CHI Extended Abstracts |
2007 |
DBLP DOI BibTeX RDF |
interactive book, augmented reality, mediated reality |
33 | K. Thangavel, D. Ashok Kumar |
Optimization of code book in vector quantization. |
Ann. Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
Pattern space, Code book, Clustering, Optimization |
33 | Katsuhiro Ikeda, Kozo Sugiyama, Isamu Watanabe, Kazuo Misue |
Generation of relevance maps and navigation in a digital book. |
APVIS |
2006 |
DBLP DOI BibTeX RDF |
relevance map, navigation, digital book |
33 | Victor Adamchik, Ananda Gunawardena |
Adaptive Book: Teaching and Learning Environment for Programming Education. |
ITCC (1) |
2005 |
DBLP DOI BibTeX RDF |
adaptive book, learning objects, Electronic books, programming education, authoring environment |
33 | Toshikazu Wada, Hiroyuki Ukida, Takashi Matsuyama |
Shape from Shading with Interreflections under Proximal Light Source: 3D Shape Reconstruction of Unfolded Book Surface from a Scanner Image. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
piecewise polynomial techniques, unfolded book surface, scanner image, proximal light source, real world environments, moving light source, nonuniform albedo distribution, iterative nonlinear optimization scheme, piecewise polynomial models, image restoration experiments, photometric distortions, optimisation, iterative methods, image restoration, shading, specular reflection, geometric distortions, light sources, light reflection, interreflections, albedo, 3D shape reconstruction |
32 | Danil V. Prokhorov |
Intelligent Control Systems Using Computational Intelligence [book review]. |
IEEE Trans. Neural Networks |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Francesco Giordano, Giuseppe Liotta, Tamara Mchedlidze, Antonios Symvonis |
Computing Upward Topological Book Embeddings of Upward Planar Digraphs. |
ISAAC |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Takanori Kuroiwa, Subhash Bhalla |
Dynamic Personalization for Book Recommendation System Using Web Services and Virtual Library Enhancements. |
CIT |
2007 |
DBLP DOI BibTeX RDF |
|
32 | William Bamford, Paul Coulton, Reuben Edwards |
A massively multi-authored mobile surrealist book. |
Advances in Computer Entertainment Technology |
2006 |
DBLP DOI BibTeX RDF |
multi-player, viral distribution, mobile, games |
32 | Farhad Shahrokhi, Ondrej Sýkora, László A. Székely, Imrich Vrto |
Book Embeddings and Crossing Numbers. |
WG |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Prakash Reddy, Jian Fan, Jim Rowson, Steven Rosenberg, Andrew Bolwell |
A web service for long tail book publishing. |
BooksOnline |
2008 |
DBLP DOI BibTeX RDF |
edge lines, page boundary, scanning, print on demand |
29 | Liangcai Gao, Zhi Tang 0001, Xiaofan Lin |
CEBBIP: a parser of bibliographic information in chinese electronic books. |
JCDL |
2009 |
DBLP DOI BibTeX RDF |
chinese electronic book, machine learning, digital library, metadata extraction, bibliography |
29 | Kiyoung Kim, Jonghee Park, Woontack Woo |
Marker-Less Tracking for Multi-layer Authoring in AR Books. |
ICEC |
2009 |
DBLP DOI BibTeX RDF |
marker-less tracking, layer authoring, page recognition, AR book, augmented reality, SIFT |
29 | Yi-Chun Chu, David Bainbridge 0001, Matt Jones 0001, Ian H. Witten |
Realistic books: a bizarre homage to an obsolete medium? |
JCDL |
2004 |
DBLP DOI BibTeX RDF |
3D book visualisation, Java and OpenGL, visual metadata |
29 | Pilu Crescenzi, Gaia Innocenti |
A tool to develop electronic course books based on WWW technologies, resources and usability criteria. |
ITiCSE |
2003 |
DBLP DOI BibTeX RDF |
electronic course book, teaching material and aids, Java, WWW |
29 | Vicraj Thomas, Niky Riga, Sarah Edwards, Fraida Fund, Thanasis Korakis |
GENI in the Classroom. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Glenn Ricart, Rick McGeer |
US Ignite and Smarter Communities. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Marshall Brinn |
GENI Architecture Foundation. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Thierry Rakotoarivelo, Guillaume Jourjon, Olivier Mehani, Max Ott, Michael Zink |
A Walk Through the GENI Experiment Cycle. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Niky Riga, Sarah Edwards, Vicraj Thomas |
The Experimenter's View of GENI. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Andy C. Bavier, Rick McGeer |
The GENI Experiment Engine. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Dipankar Raychaudhuri, Ivan Seskar, Max Ott |
ORBIT: Wireless Experimentation. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Joe Mambretti, Jim Hao Chen, Fei Yeh, Jingguo Ge, Junling You, Tong Li 0012, Cees de Laat, Paola Grosso, Te-Lung Liu, Mon-Yen Luo, Aki Nakao, Paul Müller 0001, Ronald van der Pol, Martin J. Reed, Michael Stanton, Chu-Sing Yang |
Creating a Worldwide Network for the Global Environment for Network Innovations (GENI) and Related Experimental Environments. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Robert Ricci, The Emulab Team |
Precursors: Emulab. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | James Griffioen, Zongming Fei, Hussamuddin Nasir, Charles Carpenter, Jeremy Reed, Xiongqi Wu, P. Sergio Rivera |
The GENI Desktop. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Robert Ricci |
The Need for Flexible Community Research Infrastructure. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Alberto Leon-Garcia, Hadi Bannazadeh |
SAVI Testbed for Applications on Software-Defined Infrastructure. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Ivan Seskar, Dipankar Raychaudhuri, Abhimanyu Gosain |
4G Cellular Systems in GENI. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | John Wroclawski, Terry V. Benzel, Jim Blythe, Ted Faber, Alefiya Hussain, Jelena Mirkovic, Stephen Schwab |
DETERLab and the DETER Project. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Paul Müller 0001, Stefan Fischer 0001 |
Europe's Mission in Next-Generation Networking with Special Emphasis on the German-Lab Project. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Rick McGeer, Robert Ricci |
The InstaGENI Project. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Akihiro Nakao, Kazuhisa Yamada |
Research and Development on Network Virtualization Technologies in Japan: VNode and FLARE Projects. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Nicholas Bastin, Rick McGeer |
Programmable, Controllable Networks. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Heidi Picher Dempsey |
The GENI Mesoscale Network. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Ilya Baldin, Jeffrey S. Chase, Yufeng Xin, Anirban Mandal, Paul Ruth, Claris Castillo, Victor Orlikowski, Chris Heermann, Jonathan Mills |
ExoGENI: A Multi-Domain Infrastructure-as-a-Service Testbed. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Peter A. Freeman |
The GENI Vision: Origins, Early History, Possible Futures. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Jeffrey S. Chase, Ilya Baldin |
A Retrospective on ORCA: Open Resource Control Architecture. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Matt Hemmings, Robert Krahn, David John Lary, Rick McGeer, Glenn Ricart, Marko Röder |
The Ignite Distributed Collaborative Scientific Visualization System. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Ted Faber, Stephen Schwab, John Wroclawski |
Authorization and Access Control: ABAC. |
The GENI Book |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Martin V. Butz, Olivier Sigaud, Giovanni Pezzulo, Gianluca Baldassarre (eds.) |
Anticipatory Behavior in Adaptive Learning Systems, From Brains to Individual and Social Behavior [the book is a result from the third workshop on anticipatory behavior in adaptive learning systems, ABiALS 2006, Rome, Italy, September 30, 2006, colocated with SAB 2006] |
ABiALS book |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Paul Gastin, Antoine Petit 0001 |
Infinite Traces. |
The Book of Traces |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Christian Choffrut |
Combinatorics in Trace Monoids I. |
The Book of Traces |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Edward Ochmanski |
Recognizable Trace Languages. |
The Book of Traces |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Hendrik Jan Hoogeboom, Grzegorz Rozenberg |
Dependence Graphs. |
The Book of Traces |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Gérard Duchamp, Daniel Krob |
Combinatorics in Trace Monoids II. |
The Book of Traces |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Mireille Clerbout, Michel Latteux, Yves Roos |
Semi-Commutations. |
The Book of Traces |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Volker Diekert, Anca Muscholl |
Construction of Asynchronous Automata. |
The Book of Traces |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Wojciech Penczek, Ruurd Kuiper 0001 |
Traces and Logic. |
The Book of Traces |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Wieslaw Zielonka |
Asynchronous Automata. |
The Book of Traces |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Mogens Nielsen, Glynn Winskel |
Trace Structures and other Models for Concurrency. |
The Book of Traces |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 12448 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|