Search results for "theoretical computer science"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Kirsten Schlüter, Torsten Brinda	Characteristics and dimensions of a competence model of theoretical computer science in secondary education.	ITiCSE	2008	DBLP DOI BibTeX RDF	characteristics of task difficulty, competence profiles, secondary computer science education, educational standards, competence model, didactics of informatics, theoretical computer science
3	Laura Korte, Stuart Anderson, Helen Pain, Judith Good	Learning by game-building: a novel approach to theoretical computer science education.	ITiCSE	2007	DBLP DOI BibTeX RDF	game-building, game-based learning, automata theory, turing machines, regular languages, constructionism, theoretical computer science
3	Jozef Gruska	New Challenges for Theoretical Computer Science.	IFIP TCS	2000	DBLP DOI BibTeX RDF
2	Emma Enström, Viggo Kann	Computer lab work on theory.	ITiCSE	2010	DBLP DOI BibTeX RDF	computer lab work, learning theoretical computer science, reductions
2	Ravi Kannan, K. Narayan Kumar	Preface -- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009).	FSTTCS	2009	DBLP DOI BibTeX RDF
2	Boris A. Trakhtenbrot	From Logic to Theoretical Computer Science - An Update.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
2	Ramesh Hariharan, Madhavan Mukund, V. Vinay	2008 Preface - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.	FSTTCS	2008	DBLP DOI BibTeX RDF
2	Ramesh Hariharan, Madhavan Mukund, V. Vinay	2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.	FSTTCS	2008	DBLP BibTeX RDF
2	Tim Roughgarden	Algorithmic Game Theory: Some Greatest Hits and Future Directions.	IFIP TCS	2008	DBLP DOI BibTeX RDF
2	Daniela Chudá	Visualization in education of theoretical computer science.	CompSysTech	2007	DBLP DOI BibTeX RDF	visualization, animation, e-learning, computer science education, reusable learning object, story board
2	Jin-yi Cai, Hong Zhu	Progress in Computational Complexity Theory.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	computational complexity theory, PCP theorem, logspace complexity, Reingold's theorem, GAP problem, complexity of lattice problems, worst-case to average-case reductions, extractors, pseudorandomness, inapproximability, primality testing, theoretical computer science, holographic algorithms
2	Wolfgang Maass	Neural Computation: A Research Topic for Theoretical Computer Science? Some Thoughts and Pointers.	Current Trends in Theoretical Computer Science	2001	DBLP BibTeX RDF
2	Diletta Cacciagrano, Flavio Corradini	On Synchronous and Asynchronous Communication Paradigms.	ICTCS	2001	DBLP DOI BibTeX RDF
2	Yoshihito Toyama	New Challenges for Compuational Models.	IFIP TCS	2000	DBLP DOI BibTeX RDF
2	Donald Sannella	What Does the Future Hold for Theoretical Computer Science?	TAPSOFT	1997	DBLP DOI BibTeX RDF
2	D. Rooß	Recent Developments in DNA-Computing. (PDF / PS)	ISMVL	1997	DBLP DOI BibTeX RDF	test tubes, time complexity, DNA-computing, DNA, space complexity, Hamiltonian path problem, theoretical computer science
2	R. Balasubramanian, Venkatesh Raman	Path Balance Heuristic for Self-Adjusting Binary Search Trees.	FSTTCS	1995	DBLP DOI BibTeX RDF
2	Juhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg (eds.)	Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings	Results and Trends in Theoretical Computer Science	1994	DBLP BibTeX RDF
2	Nils Andersen, Neil D. Jones	Generalizing Cook's Transformation to Imperative Stack Programs.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	G. S. Makanin, Habib Abdulrab	On General Solution of Word Equations.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Keijo Ruohonen	Event Detection for ODEs and Nonrecursive Hierarchies.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Joost Engelfriet	Deciding the NTS Property of Context-Free Grammars.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Erzsébet Csuhaj-Varjú	Cooperating Grammars' Systems: Power and Parameters.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Paavo Turakainen	On Polynomial Matrix Equations X T = p(X) and X = p(X). Where all Parameters are Nonnegative.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Karel Culik II, Jarkko Kari	Parallel Pattern Generation with One-Way Communications.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Wilfried Brauer, Ute Brauer	Reconsidering the Jeep Problem - Or How to Transport a Birthday Present to Salosauna.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Anne Brüggemann-Klein, Petra Fischer, Thomas Ottmann	Learning Picture Sets from Examples.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Gheorghe Paun, Jürgen Dassow, Stefan Skalla	On the Size of Components of Cooperating Grammar Systems.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Juraj Hromkovic, Juhani Karhumäki, Arto Lepistö	Comparing Descriptional and Computational Complexity of Infinite Words.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Lila Kari	Power of Controlled Insertion and Deletion.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Mogens Nielsen, Christian Clausen	Bisimulation, Games, and Logic.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Azaria Paz	An Elementary Algorithmic Problem from an Advanced Standpoint.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Emo Welzl	Gram's Equation - A Probabilistic Proof.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Alica Kelemenová, Jozef Kelemen	From Colonies to Eco(grammar)systems.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Juha Honkala	An Iteratio Property of Lindenmayerioan Power Series.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Jean Berstel	A Rewriting of Fife's Theorem about Overlap-Free Words.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Imre Simon	String Matching Algorithms and Automata.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Kai Salomaa, Derick Wood, Sheng Yu	Rediscovering Pushdown Machines.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Alexandru Mateescu	On (Left) Partial Shuffle.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Cristian Calude, Helmut Jürgensen	Randomness as an Invariant for Number Representations.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Hermann A. Maurer	Learning Theoretical Aspects is Important but (Sometimes) Dangerous.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Dynamic Labeled 2-Structures with Variable Domains.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Valtteri Niemi, Ari Renvall	Cryptographic Protocols and Voting.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Tero Harju, Hendrik Jan Hoogeboom, H. C. M. Kleijn	Identities and Transductions.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Ferenc Gécseg	Homomorphic Representations by Producs of Tree Automata.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Hannu Nurmi	Cryptographic Protocols for Auctions and Bargaining.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Werner Kuich	On the Multiplicity Equivalence Problem for Context-free Grammars.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Magnus Steinby	Classifying Regular Languages by their Syntactic Algebras.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Tero Harju, Grzegorz Rozenberg	Decompostion of Infinite Labeled 2-Structures.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Oscar H. Ibarra, Tao Jiang	On Some Open Problems Concerning the Complexity of Cellular Arrays.	Results and Trends in Theoretical Computer Science	1994	DBLP DOI BibTeX RDF
2	Wolfgang Thomas	On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science.	TAPSOFT	1993	DBLP DOI BibTeX RDF
2	Tao Jiang, Edward McDowell, Bala Ravikumar	The Structure and Complexity of Minimal NFA's over a Unary Alphabet.	FSTTCS	1991	DBLP DOI BibTeX RDF
2	Carl A. Gunter, Dana S. Scott	Semantic Domains.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Martin Wirsing	Algebraic Specification.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	E. Allen Emerson	Temporal and Modal Logic.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Dexter Kozen, Jerzy Tiuryn	Logics of Programs.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Paris C. Kanellakis	Elements of Relational Database Theory.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Bruno Courcelle	Graph Rewriting: An Algebraic and Logic Approach.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Leslie Lamport, Nancy A. Lynch	Distributed Computing: Models and Methods.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Krzysztof R. Apt	Logic Programming.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	John C. Mitchell	Type Systems for Programming Languages.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Nachum Dershowitz, Jean-Pierre Jouannaud	Rewrite Systems.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Peter D. Mosses	Denotational Semantics.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Bruno Courcelle	Recursive Applicative Program Schemes.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Jean Berstel, Luc Boasson	Context-Free Languages.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Robin Milner	Operational and Algebraic Semantics of Concurrent Processes.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Wolfgang Thomas	Automata on Infinite Objects.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Arto Salomaa	Formal Language and Power Series.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Patrick Cousot	Methods and Logics for Proving Programs.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Hendrik Pieter Barendregt	Functional Programming and Lambda Calculus.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Dominique Perrin	Finite Automata.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP BibTeX RDF
2	Richard M. Karp, Vijaya Ramachandran	Parallel Algorithms for Shared-Memory Machines.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Leslie G. Valiant	General Purpose Parallel Architectures.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	David S. Johnson	A Catalog of Complexity Classes.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Ravi B. Boppana, Michael Sipser	The Complexity of Finite Functions.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Ming Li, Paul M. B. Vitányi	Kolmogorov Complexity and its Applications.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Peter van Emde Boas	Machine Models and Simulation.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Kurt Mehlhorn, Athanasios K. Tsakalidis	Data Structures.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Joel I. Seiferas	Machine-Independent Complexity Theory.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	F. Frances Yao	Computational Geometry.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Nicholas Pippenger	Communication Networks.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Jeffrey Scott Vitter, Philippe Flajolet	Average-Case Analysis of Algorithms and Data Structures.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Volker Strassen	Algebraic Complexity Theory.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Thomas Lengauer	VLSI Theory.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Arjen K. Lenstra, Hendrik W. Lenstra Jr.	Algorithms in Number Theory.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Ronald L. Rivest	Cryptography.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Alfred V. Aho	Algorithms for Finding Patterns in Strings.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Jacob T. Schwartz, Micha Sharir	Algorithmic Motion Planning in Robotics.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Jan van Leeuwen	Graph Algorithms.	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A)	1990	DBLP BibTeX RDF
2	Akshar Bharati, Rajeev Sangal, Vineet Chaitanya	Natural Language Processing, Complexity Theory and Logic (Extended Abstract).	FSTTCS	1990	DBLP DOI BibTeX RDF
2	Dines Bjørner	Software Development Graphs. A Unifying Concept for Software Development?	FSTTCS	1986	DBLP DOI BibTeX RDF
2	Robert L. Constable	Partial functions in constructive formal theories.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
2	Karl J. Lieberherr, Stephen A. Vavasis	Analysis of polynomial approximation algorithms for constraint expressions.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
2	Andrzej Lingas	Heuristics for minimum edge length rectangular partitions of rectilinear figures.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
2	Christoph Kreitz, Klaus Weihrauch	Complexity theory on real numbers and functions.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
2	Jean-Eric Pin, Jacques Sakarovitch	Some operations and transductions that preserve rationality.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
2	Andreas Eick, Elfriede Fehr	Inconsistencies of pure LISP.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
2	Johann A. Makowsky, Bernd Mahr	An axiomatic approach to semantics of specification languages.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
2	Ronald V. Book, Timothy J. Long, Alan L. Selman	Controlled relativizations of P and NP.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF
2	Harry A. G. Wijshoff, Jan van Leeuwen	Periodic versus arbitrary tessellations of the plane using polyominos of a single type.	Theoretical Computer Science	1983	DBLP DOI BibTeX RDF