|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 878 occurrences of 611 keywords
|
|
|
Results
Found 2800 publication records. Showing 2800 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
114 | Anastasios Karakostas, Stavros N. Demetriadis, Vasiliki Ragazou, Maria Amarlariotou |
e-Lectures to support blended instruction in multimedia programming course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 189-193, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
multimedia programming, blended learning, e-lectures |
86 | Yu-Jin Kim, Jin Ah Bae, Byeong Ho Jeon |
Students' Visual Perceptions of Virtual Lectures as Measured by Eye Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. New Trends, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I, pp. 85-94, 2009, Springer, 978-3-642-02573-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Virtual lectures, user-centered screen design, eye tracking, visual perception, learning performance, virtual studios |
86 | Robert Mertens, Rosta Farzan, Peter Brusilovsky |
Social navigation in web lectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2006, Proceedings of the 17th ACM Conference on Hypertext and Hypermedia, August 22-25, 2006, Odense, Denmark, pp. 41-44, 2006, ACM, 1-59593-417-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
presentation recoding, web lectures, user interfaces, video, hypermedia, social navigation, continuous media, lecture recording |
76 | Jason A. Day, James D. Foley |
Evaluating web lectures: a case study from HCI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 195-200, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
educational study design, web lectures, educational technology, HCI education |
66 | Benjoe A. Juliano, Chi-Hui Chen, Elena Kroumova |
Observations from using two modes of teaching undergraduate computer architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2003, Thessaloniki, Greece, June 30 - July 2, 2003, pp. 248, 2003, ACM, 1-58113-672-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
evaluating learning and teaching, online course delivery and management, web-based learning, teaching methods, teaching materials |
65 | Wolfgang Hürst, Martina Welte, Sabine Jung |
An evaluation of the mobile usage of e-lecture podcasts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 4th International Conference on Mobile Technology, Applications, and Systems and the 1st International Symposium on Computer Human Interaction in Mobile Technology, Mobility Conference 2007, Singapore, September 10-12, 2007, pp. 16-23, 2007, ACM, 978-1-59593-819-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
apple iPod, e-lectures podcasts, lecture casting, mobile media players, user study, lecture recordings, educational multimedia, e-lectures |
62 | Kenneth E. Hoganson, David Lebron |
Lectures for Mobile Devices, Evaluating "iPod/PDA-casting" Technology and Pedagogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA, pp. 323-328, 2007, IEEE Computer Society, 978-0-7695-2776-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Olivier Bousquet, Ulrike von Luxburg, Gunnar Rätsch (eds.) |
Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Lectures on Machine Learning ![Springer, 3-540-23122-6 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.) |
Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned] ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![Springer, 3-540-22261-8 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Léon Bottou |
Stochastic Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Lectures on Machine Learning ![In: Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures, pp. 146-168, 2003, Springer, 3-540-23122-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Michael E. Tipping |
Bayesian Inference: An Introduction to Principles and Practice in Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Lectures on Machine Learning ![In: Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures, pp. 41-62, 2003, Springer, 3-540-23122-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Christophe Andrieu |
Monte Carlo Methods for Absolute Beginners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Lectures on Machine Learning ![In: Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures, pp. 113-145, 2003, Springer, 3-540-23122-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Zoubin Ghahramani |
Unsupervised Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Lectures on Machine Learning ![In: Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures, pp. 72-112, 2003, Springer, 3-540-23122-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Carl Edward Rasmussen |
Gaussian Processes in Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Lectures on Machine Learning ![In: Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures, pp. 63-71, 2003, Springer, 3-540-23122-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Stéphane Boucheron, Gábor Lugosi, Olivier Bousquet |
Concentration Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Lectures on Machine Learning ![In: Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures, pp. 208-240, 2003, Springer, 3-540-23122-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Olivier Bousquet, Stéphane Boucheron, Gábor Lugosi |
Introduction to Statistical Learning Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Lectures on Machine Learning ![In: Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures, pp. 169-207, 2003, Springer, 3-540-23122-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Christopher J. C. Burges |
Some Notes on Applied Mathematics for Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Lectures on Machine Learning ![In: Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures, pp. 21-40, 2003, Springer, 3-540-23122-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Elad Yom-Tov |
An Introduction to Pattern Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Lectures on Machine Learning ![In: Advanced Lectures on Machine Learning, ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures, pp. 1-20, 2003, Springer, 3-540-23122-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Jonathan Billington, Guy Edward Gallasch, Bing Han |
A Coloured Petri Net Approach to Protocol Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 210-290, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Dan Barak, David Harel, Rami Marelly |
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 66-86, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Simona Bernardi 0001, Andrea Bobbio, Susanna Donatelli |
Petri Nets and Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 125-179, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Eike Best, Maciej Koutny |
Process Algebra: A Petri-Net-Oriented Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 180-209, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Petri nets, process algebras |
54 | Reiko Heckel, Hendrik Voigt |
Model-Based Development of Executable Business Processes for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 559-584, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Blaise Genest, Anca Muscholl, Doron A. Peled |
Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 537-558, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Hartmut Ehrig, Julia Padberg |
Graph Grammars and Petri Net Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 496-536, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Jörg Desel, Vesna Milijic, Christian Neumair |
Model Validation in Controller Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 467-495, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Philippe Darondeau |
Unbounded Petri Net Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 413-438, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Robin Milner |
Bigraphs for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 686-701, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Josep Carmona 0001, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev |
Synthesis of Asynchronous Hardware from Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 345-401, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 291-327, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel |
Petri Nets and Manufacturing Systems: An Examples-Driven Tour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 742-788, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Johan Bengtsson, Wang Yi 0001 |
Timed Automata: Semantics, Algorithms and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 87-124, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Abhik Roychoudhury, P. S. Thiagarajan |
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 789-818, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen |
Application of Coloured Petri Nets in System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 626-685, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Gabriel Juhás, Robert Lorenz 0001, Christian Neumair |
Modelling and Control with Modules of Signal Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 585-625, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Søren Christensen, Jens Bæk Jørgensen |
Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 402-412, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Rüdiger Valk |
Object Petri Nets: Using the Nets-within-Nets Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 819-848, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Giovanni Denaro, Mauro Pezzè |
Petri Nets and Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 439-466, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Wil M. P. van der Aalst |
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 1-65, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
XML Process Definition Language(XPDL), Workflow verification, Workflow management, Business process management, Workflow management systems, Workflow patterns |
54 | Nadia Busi, Roberto Gorrieri |
A Survey on Non-interference with Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 328-344, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Mogens Nielsen, Frank D. Valencia |
Notes on Timed Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 702-741, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Alf Inge Wang, Terje Øfsdahl, Ole Kristian Mørch-Storstein |
An Evaluation of a Mobile Game Concept for Lectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: Proceedings 21st Conference on Software Engineering Education and Training, CSEET 2008, 14-17 April 2008, Charleston, South Carolina, USA, pp. 197-204, 2008, IEEE Computer Society, 978-0-7695-3144-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Jaspal Subhlok, Olin G. Johnson, Venkat Subramaniam, Ricardo Vilalta, Chang Yun |
Tablet PC video based hybrid coursework in computer science: report from a pilot project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2007, Covington, Kentucky, USA, March 7-11, 2007, pp. 74-78, 2007, ACM, 1-59593-361-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
video lectures, online learning, tablet PC, hybrid learning |
47 | Kazuo Ushijima |
Construction and Practice of a New Educational Environment with Lecture Recording System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (1) ![In: 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan, pp. 12-15, 2004, IEEE Computer Society, 0-7695-2051-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Daniel D. Garcia, Gene Zhang, Sean Carr, Sameer Iyengar, Hava Edelstein, Albert Liu |
The Weiner lecture archives: an ontology-driven interface for viewing synchronized lectures and notes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 177-181, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
slide synchronization, synchronized multimedia integration language, ontology, distance learning, smil, topic hierarchy, webcast |
43 | Dilmurat Tilwaldi, Toshiya Takahashi, Yuichiro Mishima, Jun Sawamoto, Hisao Koizumi |
A Smart Method of Cooperative Learning Including Distant Lectures and Its Experimental Evaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC Workshops ![In: Embedded and Ubiquitous Computing - EUC 2005 Workshops, EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005, Proceedings, pp. 268-277, 2005, Springer, 3-540-30803-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | I-Chun Lai, Kuo-Yu Liu, Hao-Tung Lin, Herng-Yow Chen |
Efficient Methods for Skimming the Web-Based Synchronization Multimedia Lectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web-Based Learning - ICWL 2004, Third International Conference, Beijing, China, August 8-11, 2004, Proceedings, pp. 105-112, 2004, Springer, 3-540-22542-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Guido Rößling, Christoph Trompler, Max Mühlhäuser, Susanne Köbler, Susanne Wolf |
Enhancing classroom lectures with digital sliding blackboards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004, pp. 218-222, 2004, ACM, 1-58113-836-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
VMB, digital lecture hall, digital sliding blackboards |
40 | Peter Y. A. Ryan |
Mathematical Models of Computer Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSAD ![In: Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000], pp. 1-62, 2000, Springer, 3-540-42896-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
40 | Joshua D. Guttman |
Security Goals: Packet Trajectories and Strand Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSAD ![In: Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000], pp. 197-261, 2000, Springer, 3-540-42896-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu |
Monitoring Events that Carry Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 61-102, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Christian Colombo 0001, Gordon J. Pace |
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 211-232, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan 0001 |
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 135-175, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Adrian Francalanza, Jorge A. Pérez 0001, César Sánchez 0001 |
Runtime Verification for Decentralised and Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 176-210, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar |
Discovering Concurrency Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 34-60, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha |
Runtime Failure Prevention and Reaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 103-134, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger |
Introduction to Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 1-33, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Erich Grädel |
Back and forth between logic and games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in Game Theory for Computer Scientists ![In: Lectures in Game Theory for Computer Scientists., pp. 99-145, 2011, Cambridge University Press, 978-0-521-19866-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
39 | Laurent Doyen 0001, Jean-François Raskin |
Games with imperfect information: theory and algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in Game Theory for Computer Scientists ![In: Lectures in Game Theory for Computer Scientists., pp. 185-212, 2011, Cambridge University Press, 978-0-521-19866-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
39 | Krzysztof R. Apt |
A primer on strategic games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in Game Theory for Computer Scientists ![In: Lectures in Game Theory for Computer Scientists., pp. 1-37, 2011, Cambridge University Press, 978-0-521-19866-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
39 | Marcin Jurdzinski |
Algorithms for solving parity games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in Game Theory for Computer Scientists ![In: Lectures in Game Theory for Computer Scientists., pp. 74-98, 2011, Cambridge University Press, 978-0-521-19866-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
39 | Antonín Kucera 0001 |
Turn-based stochastic games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in Game Theory for Computer Scientists ![In: Lectures in Game Theory for Computer Scientists., pp. 146-184, 2011, Cambridge University Press, 978-0-521-19866-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
39 | Stephan Kreutzer |
Graph searching games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in Game Theory for Computer Scientists ![In: Lectures in Game Theory for Computer Scientists., pp. 213-263, 2011, Cambridge University Press, 978-0-521-19866-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
39 | Joseph Y. Halpern |
Beyond Nash equilibrium: solution concepts for the 21st century. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in Game Theory for Computer Scientists ![In: Lectures in Game Theory for Computer Scientists., pp. 264-290, 2011, Cambridge University Press, 978-0-521-19866-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
39 | Christof Löding |
Infinite games and automata theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in Game Theory for Computer Scientists ![In: Lectures in Game Theory for Computer Scientists., pp. 38-73, 2011, Cambridge University Press, 978-0-521-19866-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
39 | Paul Timmers |
Measurement, Policy and Research Issues of a New Phenomena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in E-Commerce ![In: Lectures in E-Commerce, pp. 1-26, 2001, Springer, 978-3-211-83623-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Günter Müller |
Security in E-Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in E-Commerce ![In: Lectures in E-Commerce, pp. 149-162, 2001, Springer, 978-3-211-83623-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Ulrike Gretzel, Daniel R. Fesenmaier |
Defining Internet Readiness for the Tourism Industry: Concepts and Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in E-Commerce ![In: Lectures in E-Commerce, pp. 77-101, 2001, Springer, 978-3-211-83623-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Paula M. C. Swatman, Elsie S. K. Chan |
E-Commerce/E-Business Education: Pedagogy or New Product Development? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in E-Commerce ![In: Lectures in E-Commerce, pp. 177-200, 2001, Springer, 978-3-211-83623-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Yannis Bakos, Erik Brynjolfsson |
Aggregation and Disaggregation of Information Goods: Implications for Bundling, Site Licensing, and Micropayment Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in E-Commerce ![In: Lectures in E-Commerce, pp. 103-122, 2001, Springer, 978-3-211-83623-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Alina M. Chircu, Robert J. Kauffman |
A Framework for Performance and Value Assessment of E-Business Systems in Corporate Travel Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in E-Commerce ![In: Lectures in E-Commerce, pp. 47-76, 2001, Springer, 978-3-211-83623-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Hans Ulrich Buhl, Dennis Kundisch, Andreas Leinfelder, Werner Steck |
Strategies for the Financial Services Industry in the Internet Age. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in E-Commerce ![In: Lectures in E-Commerce, pp. 27-46, 2001, Springer, 978-3-211-83623-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Rudolf Müller |
Auctions - the Big Winner Among Trading Mechanisms for the Internet Economy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in E-Commerce ![In: Lectures in E-Commerce, pp. 123-147, 2001, Springer, 978-3-211-83623-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Peter Buxmann |
XML@work: The Case of a Next-Generation EDI Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures in E-Commerce ![In: Lectures in E-Commerce, pp. 163-175, 2001, Springer, 978-3-211-83623-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Ivan Damgård (eds.) |
Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![Springer, 3-540-65757-6 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.) |
Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![Springer, 3-540-64201-3 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Ronald Cramer |
Introduction to Secure Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![In: Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998, pp. 16-62, 1998, Springer, 3-540-65757-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Mihir Bellare |
Practice-Oriented Provable Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![In: Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998, pp. 1-15, 1998, Springer, 3-540-65757-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Burton S. Kaliski Jr. |
Emerging Standards for Public-Key Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![In: Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998, pp. 87-104, 1998, Springer, 3-540-65757-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Peter Landrock |
Primality Tests and Use of Primes in Public-Key Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![In: Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998, pp. 127-133, 1998, Springer, 3-540-65757-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Bart Preneel |
The State of Cryptographic Hash Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![In: Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998, pp. 158-182, 1998, Springer, 3-540-65757-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Lars R. Knudsen |
Contemporary Block Ciphers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![In: Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998, pp. 105-126, 1998, Springer, 3-540-65757-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Torben P. Pedersen |
Signing Contracts and Paying Electronically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![In: Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998, pp. 134-157, 1998, Springer, 3-540-65757-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Ivan Damgård |
Commitment Schemes and Zero-Knowledge Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![In: Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998, pp. 63-86, 1998, Springer, 3-540-65757-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Stefan Wolf 0001 |
Unconditional Security in Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![In: Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998, pp. 217-250, 1998, Springer, 3-540-65757-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Louis Salvail |
The Search for the Holy Grail in Quantum Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Data Security ![In: Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998, pp. 183-216, 1998, Springer, 3-540-65757-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Richard Mayr, Annette Schelten |
Polynomial Time Approximation Schemes for Geometric Optimization Problems in Euclidean Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 313-324, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Volker Heun, Wolfgang Merkle, Ulrich Weigand |
Proving the PCP-Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 83-160, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Sebastian Seibert, Thomas Wilke |
Bounds for Approximating MAXLINEQ3-2 and MAXEKSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 179-212, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Alexander Wolff 0001 |
The Hardness of Approximating Set Cover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 249-262, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Thomas Jansen 0001 |
Introduction to the Theory of Complexity and Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 5-28, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Martin Mundhenk, Anna Slobodová |
Optimal Non-approximability of MAXCLIQUE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 235-248, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Clemens Gröpl, Martin Skutella |
Parallel Repetition of MIP(2, 1) Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 161-178, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Katja Wolf |
Dense Instances of Hard Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 299-312, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Thomas Hofmeister, Martin Hühne |
Semidefinite Programming and Its Applications to Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 263-298, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Artur Andrzejak 0001 |
Introduction to Randomized Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 29-40, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Claus Rick, Hein Röhrig |
Deriving Non-approximability Results by Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 213-234, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Detlef Sieling |
Derandomization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 41-62, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Stefan Hougardy |
Proof Checking and Non-approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 63-82, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
38 | Markus Ketterl, Robert Mertens 0002, Johannes Emden, Oliver Vornberger |
History-Aware User Awareness in Web Lectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: 12th IEEE International Symposium on Multimedia, ISM 2010, Taichung, Taiwan, December 13-15, 2010, pp. 394-399, 2010, IEEE Computer Society, 978-1-4244-8672-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
web lectures, user awareness, opencast, multimedia, social networks, e-learning, web 2.0 |
Displaying result #1 - #100 of 2800 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|