The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for lectures with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1965-1985 (23) 1987-1990 (16) 1991-1994 (19) 1995-1996 (43) 1997 (90) 1998 (35) 1999 (23) 2000 (118) 2001 (102) 2002 (122) 2003 (169) 2004 (186) 2005 (164) 2006 (128) 2007 (251) 2008 (184) 2009 (98) 2010 (53) 2011 (108) 2012 (103) 2013 (80) 2014 (96) 2015 (70) 2016 (69) 2017 (65) 2018 (73) 2019 (81) 2020 (56) 2021 (82) 2022 (43) 2023 (45) 2024 (5)
Publication types (Num. hits)
article(330) book(24) incollection(38) inproceedings(2259) phdthesis(13) proceedings(136)
Venues (Conferences, Journals, ...)
Reasoning Web(141) SFM(139) FMCO(125) EUSFLAT Conf. (1)(72) FOSAD(70) Summer School on Neural Networ...(68) eBISS(53) ITiCSE(49) BCC(42) SIGCSE(41) Advanced Functional Programmin...(33) SETSS(33) WCCI(33) Software Visualization(32) ICALT(31) CEFP(30) More (+10 of total 587)
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
114Anastasios Karakostas, Stavros N. Demetriadis, Vasiliki Ragazou, Maria Amarlariotou e-Lectures to support blended instruction in multimedia programming course. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multimedia programming, blended learning, e-lectures
86Yu-Jin Kim, Jin Ah Bae, Byeong Ho Jeon Students' Visual Perceptions of Virtual Lectures as Measured by Eye Tracking. Search on Bibsonomy HCI (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Virtual lectures, user-centered screen design, eye tracking, visual perception, learning performance, virtual studios
86Robert Mertens, Rosta Farzan, Peter Brusilovsky Social navigation in web lectures. Search on Bibsonomy Hypertext The full citation details ... 2006 DBLP  DOI  BibTeX  RDF presentation recoding, web lectures, user interfaces, video, hypermedia, social navigation, continuous media, lecture recording
76Jason A. Day, James D. Foley Evaluating web lectures: a case study from HCI. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2006 DBLP  DOI  BibTeX  RDF educational study design, web lectures, educational technology, HCI education
66Benjoe A. Juliano, Chi-Hui Chen, Elena Kroumova Observations from using two modes of teaching undergraduate computer architecture. Search on Bibsonomy ITiCSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF evaluating learning and teaching, online course delivery and management, web-based learning, teaching methods, teaching materials
65Wolfgang Hürst, Martina Welte, Sabine Jung An evaluation of the mobile usage of e-lecture podcasts. Search on Bibsonomy Mobility Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF apple iPod, e-lectures podcasts, lecture casting, mobile media players, user study, lecture recordings, educational multimedia, e-lectures
62Kenneth E. Hoganson, David Lebron Lectures for Mobile Devices, Evaluating "iPod/PDA-casting" Technology and Pedagogy. Search on Bibsonomy ITNG The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Olivier 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 Advanced Lectures on Machine Learning The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Jö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 Lectures on Concurrency and Petri Nets The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Léon Bottou Stochastic Learning. Search on Bibsonomy Advanced Lectures on Machine Learning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Michael E. Tipping Bayesian Inference: An Introduction to Principles and Practice in Machine Learning. Search on Bibsonomy Advanced Lectures on Machine Learning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Christophe Andrieu Monte Carlo Methods for Absolute Beginners. Search on Bibsonomy Advanced Lectures on Machine Learning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Zoubin Ghahramani Unsupervised Learning. Search on Bibsonomy Advanced Lectures on Machine Learning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Carl Edward Rasmussen Gaussian Processes in Machine Learning. Search on Bibsonomy Advanced Lectures on Machine Learning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Stéphane Boucheron, Gábor Lugosi, Olivier Bousquet Concentration Inequalities. Search on Bibsonomy Advanced Lectures on Machine Learning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Olivier Bousquet, Stéphane Boucheron, Gábor Lugosi Introduction to Statistical Learning Theory. Search on Bibsonomy Advanced Lectures on Machine Learning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Christopher J. C. Burges Some Notes on Applied Mathematics for Machine Learning. Search on Bibsonomy Advanced Lectures on Machine Learning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Elad Yom-Tov An Introduction to Pattern Classification. Search on Bibsonomy Advanced Lectures on Machine Learning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Jonathan Billington, Guy Edward Gallasch, Bing Han A Coloured Petri Net Approach to Protocol Verification. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Dan Barak, David Harel, Rami Marelly InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Simona Bernardi 0001, Andrea Bobbio, Susanna Donatelli Petri Nets and Dependability. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Eike Best, Maciej Koutny Process Algebra: A Petri-Net-Oriented Tutorial. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Petri nets, process algebras
54Reiko Heckel, Hendrik Voigt Model-Based Development of Executable Business Processes for Web Services. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Blaise Genest, Anca Muscholl, Doron A. Peled Message Sequence Charts. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Hartmut Ehrig, Julia Padberg Graph Grammars and Petri Net Transformations. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Jörg Desel, Vesna Milijic, Christian Neumair Model Validation in Controller Design. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Philippe Darondeau Unbounded Petri Net Synthesis. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Robin Milner Bigraphs for Petri Nets. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Josep Carmona 0001, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev Synthesis of Asynchronous Hardware from Petri Nets. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Roberto Bruni, Hernán C. Melgratti, Ugo Montanari Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel Petri Nets and Manufacturing Systems: An Examples-Driven Tour. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Johan Bengtsson, Wang Yi 0001 Timed Automata: Semantics, Algorithms and Tools. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Abhik Roychoudhury, P. S. Thiagarajan Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen Application of Coloured Petri Nets in System Development. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Gabriel Juhás, Robert Lorenz 0001, Christian Neumair Modelling and Control with Modules of Signal Nets. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Søren Christensen, Jens Bæk Jørgensen Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Rüdiger Valk Object Petri Nets: Using the Nets-within-Nets Paradigm. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Giovanni Denaro, Mauro Pezzè Petri Nets and Software Engineering. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Wil M. P. van der Aalst Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF XML Process Definition Language(XPDL), Workflow verification, Workflow management, Business process management, Workflow management systems, Workflow patterns
54Nadia Busi, Roberto Gorrieri A Survey on Non-interference with Petri Nets. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Mogens Nielsen, Frank D. Valencia Notes on Timed Concurrent Constraint Programming. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53Alf Inge Wang, Terje Øfsdahl, Ole Kristian Mørch-Storstein An Evaluation of a Mobile Game Concept for Lectures. Search on Bibsonomy CSEE&T The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Jaspal 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 SIGCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF video lectures, online learning, tablet PC, hybrid learning
47Kazuo Ushijima Construction and Practice of a New Educational Environment with Lecture Recording System. Search on Bibsonomy AINA (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Daniel 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 SIGCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF slide synchronization, synchronized multimedia integration language, ontology, distance learning, smil, topic hierarchy, webcast
43Dilmurat 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 EUC Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43I-Chun Lai, Kuo-Yu Liu, Hao-Tung Lin, Herng-Yow Chen Efficient Methods for Skimming the Web-Based Synchronization Multimedia Lectures. Search on Bibsonomy ICWL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Guido Rößling, Christoph Trompler, Max Mühlhäuser, Susanne Köbler, Susanne Wolf Enhancing classroom lectures with digital sliding blackboards. Search on Bibsonomy ITiCSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF VMB, digital lecture hall, digital sliding blackboards
40Peter Y. A. Ryan Mathematical Models of Computer Security. Search on Bibsonomy FOSAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40Joshua D. Guttman Security Goals: Packet Trajectories and Strand Spaces. Search on Bibsonomy FOSAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu Monitoring Events that Carry Data. Search on Bibsonomy Lectures on Runtime Verification The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Christian Colombo 0001, Gordon J. Pace Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. Search on Bibsonomy Lectures on Runtime Verification The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Ezio 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 Lectures on Runtime Verification The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Adrian Francalanza, Jorge A. Pérez 0001, César Sánchez 0001 Runtime Verification for Decentralised and Distributed Systems. Search on Bibsonomy Lectures on Runtime Verification The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar Discovering Concurrency Errors. Search on Bibsonomy Lectures on Runtime Verification The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha Runtime Failure Prevention and Reaction. Search on Bibsonomy Lectures on Runtime Verification The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger Introduction to Runtime Verification. Search on Bibsonomy Lectures on Runtime Verification The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Erich Grädel Back and forth between logic and games. Search on Bibsonomy Lectures in Game Theory for Computer Scientists The full citation details ... 2011 DBLP  BibTeX  RDF
39Laurent Doyen 0001, Jean-François Raskin Games with imperfect information: theory and algorithms. Search on Bibsonomy Lectures in Game Theory for Computer Scientists The full citation details ... 2011 DBLP  BibTeX  RDF
39Krzysztof R. Apt A primer on strategic games. Search on Bibsonomy Lectures in Game Theory for Computer Scientists The full citation details ... 2011 DBLP  BibTeX  RDF
39Marcin Jurdzinski Algorithms for solving parity games. Search on Bibsonomy Lectures in Game Theory for Computer Scientists The full citation details ... 2011 DBLP  BibTeX  RDF
39Antonín Kucera 0001 Turn-based stochastic games. Search on Bibsonomy Lectures in Game Theory for Computer Scientists The full citation details ... 2011 DBLP  BibTeX  RDF
39Stephan Kreutzer Graph searching games. Search on Bibsonomy Lectures in Game Theory for Computer Scientists The full citation details ... 2011 DBLP  BibTeX  RDF
39Joseph Y. Halpern Beyond Nash equilibrium: solution concepts for the 21st century. Search on Bibsonomy Lectures in Game Theory for Computer Scientists The full citation details ... 2011 DBLP  BibTeX  RDF
39Christof Löding Infinite games and automata theory. Search on Bibsonomy Lectures in Game Theory for Computer Scientists The full citation details ... 2011 DBLP  BibTeX  RDF
39Paul Timmers Measurement, Policy and Research Issues of a New Phenomena. Search on Bibsonomy Lectures in E-Commerce The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Günter Müller Security in E-Commerce. Search on Bibsonomy Lectures in E-Commerce The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Ulrike Gretzel, Daniel R. Fesenmaier Defining Internet Readiness for the Tourism Industry: Concepts and Case Study. Search on Bibsonomy Lectures in E-Commerce The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Paula M. C. Swatman, Elsie S. K. Chan E-Commerce/E-Business Education: Pedagogy or New Product Development? Search on Bibsonomy Lectures in E-Commerce The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Yannis Bakos, Erik Brynjolfsson Aggregation and Disaggregation of Information Goods: Implications for Bundling, Site Licensing, and Micropayment Systems. Search on Bibsonomy Lectures in E-Commerce The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Alina M. Chircu, Robert J. Kauffman A Framework for Performance and Value Assessment of E-Business Systems in Corporate Travel Distribution. Search on Bibsonomy Lectures in E-Commerce The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Hans Ulrich Buhl, Dennis Kundisch, Andreas Leinfelder, Werner Steck Strategies for the Financial Services Industry in the Internet Age. Search on Bibsonomy Lectures in E-Commerce The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Rudolf Müller Auctions - the Big Winner Among Trading Mechanisms for the Internet Economy. Search on Bibsonomy Lectures in E-Commerce The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Peter Buxmann XML@work: The Case of a Next-Generation EDI Solution. Search on Bibsonomy Lectures in E-Commerce The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Ivan Damgård (eds.) Lectures on Data Security, Modern Cryptology in Theory and Practice, Summer School, Aarhus, Denmark, July 1998 Search on Bibsonomy Lectures on Data Security The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Ernst 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 Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Ronald Cramer Introduction to Secure Computation. Search on Bibsonomy Lectures on Data Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Mihir Bellare Practice-Oriented Provable Security. Search on Bibsonomy Lectures on Data Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Burton S. Kaliski Jr. Emerging Standards for Public-Key Cryptography. Search on Bibsonomy Lectures on Data Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Peter Landrock Primality Tests and Use of Primes in Public-Key Systems. Search on Bibsonomy Lectures on Data Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Bart Preneel The State of Cryptographic Hash Functions. Search on Bibsonomy Lectures on Data Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Lars R. Knudsen Contemporary Block Ciphers. Search on Bibsonomy Lectures on Data Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Torben P. Pedersen Signing Contracts and Paying Electronically. Search on Bibsonomy Lectures on Data Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Ivan Damgård Commitment Schemes and Zero-Knowledge Protocols. Search on Bibsonomy Lectures on Data Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Stefan Wolf 0001 Unconditional Security in Cryptography. Search on Bibsonomy Lectures on Data Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Louis Salvail The Search for the Holy Grail in Quantum Cryptography. Search on Bibsonomy Lectures on Data Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Richard Mayr, Annette Schelten Polynomial Time Approximation Schemes for Geometric Optimization Problems in Euclidean Metric Spaces. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Volker Heun, Wolfgang Merkle, Ulrich Weigand Proving the PCP-Theorem. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Sebastian Seibert, Thomas Wilke Bounds for Approximating MAXLINEQ3-2 and MAXEKSAT. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Alexander Wolff 0001 The Hardness of Approximating Set Cover. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Thomas Jansen 0001 Introduction to the Theory of Complexity and Approximation Algorithms. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Martin Mundhenk, Anna Slobodová Optimal Non-approximability of MAXCLIQUE. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Clemens Gröpl, Martin Skutella Parallel Repetition of MIP(2, 1) Systems. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Katja Wolf Dense Instances of Hard Optimization Problems. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Thomas Hofmeister, Martin Hühne Semidefinite Programming and Its Applications to Approximation Algorithms. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Artur Andrzejak 0001 Introduction to Randomized Algorithms. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Claus Rick, Hein Röhrig Deriving Non-approximability Results by Reductions. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Detlef Sieling Derandomization. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Stefan Hougardy Proof Checking and Non-approximability. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
38Markus Ketterl, Robert Mertens 0002, Johannes Emden, Oliver Vornberger History-Aware User Awareness in Web Lectures. Search on Bibsonomy ISM The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license