Search results for "CiE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Luca Bortolussi, Alberto Policriti	Stochastic Programs and Hybrid Automata for (Biological) Modeling.	CiE	2009	DBLP DOI BibTeX RDF
1	Andrey N. Frolov, Iskander Sh. Kalimullin, Russell G. Miller	Spectra of Algebraic Fields and Subfields.	CiE	2009	DBLP DOI BibTeX RDF	Computability, algebraic, field, spectrum, computable model theory
1	Antonio Montalbán	Notes on the Jump of a Structure.	CiE	2009	DBLP DOI BibTeX RDF
1	Jiang Liu 0002, Shengling Wang 0002, Guohua Wu	Infima of d.r.e. Degrees.	CiE	2009	DBLP DOI BibTeX RDF
1	Ion Petre, Andrzej Mizera, Ralph-Johan Back	Computational Heuristics for Simplifying a Biological Model.	CiE	2009	DBLP DOI BibTeX RDF	heat shock response, mathematical model, Model reduction
1	Samuel Coskey	Infinite-Time Turing Machines and Borel Reducibility.	CiE	2009	DBLP DOI BibTeX RDF
1	Nikolay K. Vereshchagin	Algorithmic Minimal Sufficient Statistic Revisited.	CiE	2009	DBLP DOI BibTeX RDF
1	Sanjay Jain 0001, Frank Stephan 0001, Jason Teutsch	Index Sets and Universal Numberings.	CiE	2009	DBLP DOI BibTeX RDF
1	John Case, Samuel E. Moelius	Program Self-reference in Constructive Scott Subdomains.	CiE	2009	DBLP DOI BibTeX RDF	Scott domains, self-reproducing programs, self-reference, recursion theorems, numberings
1	Klaus Meer	On Ladner's Result for a Class of Real Machines with Restricted Use of Constants.	CiE	2009	DBLP DOI BibTeX RDF	real number model, diagonal problems, Complexity
1	Douglas Cenzer, Rebecca Weber, Guohua Wu	Immunity for Closed Sets.	CiE	2009	DBLP DOI BibTeX RDF	Computability, Classes
1	Mathieu Hoyrup, Cristobal Rojas	An Application of Martin-Löf Randomness to Effective Probability Theory.	CiE	2009	DBLP DOI BibTeX RDF	universal test, effective probability theory, Lebesgue integration, layerwise computability, computable analysis, Algorithmic randomness
1	Paul Brodhead, Bjørn Kjos-Hanssen	Numberings and Randomness.	CiE	2009	DBLP DOI BibTeX RDF
1	Stefan S. Dantchev, Barnaby Martin	Cutting Planes and the Parameter Cutwidth.	CiE	2009	DBLP DOI BibTeX RDF
1	Ömer Egecioglu, Oscar H. Ibarra	On Stateless Multicounter Machines.	CiE	2009	DBLP DOI BibTeX RDF	Stateless multicounter machines, reversal-bounded, realtime computation, hierarchies
1	Marius Zimand	On Generating Independent Random Strings.	CiE	2009	DBLP DOI BibTeX RDF	random strings, independent strings, Kolmogorov complexity, randomness extraction
1	Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel	S01 and P01 Equivalence Structures.	CiE	2009	DBLP DOI BibTeX RDF	equivalence structures, effective categoricity, computability theory, computable model theory
1	Andreas Weiermann	A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets.	CiE	2009	DBLP DOI BibTeX RDF	well-partial orderings, maximal order types, finite multisets, well-quasi orderings, ordinals, term orderings
1	Jack H. Lutz	A Divergence Formula for Randomness and Dimension.	CiE	2009	DBLP DOI BibTeX RDF
1	Tobias Gärtner, Günter Hotz	Computability of Analytic Functions with Analytic Machines.	CiE	2009	DBLP DOI BibTeX RDF
1	Jacques Duparc, Alessandro Facchini	Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I).	CiE	2008	DBLP DOI BibTeX RDF	Wadge games, topological complexity, parity games, weakly alternating automata, ?-calculus
1	Dag Normann	Internal Density Theorems for Hierarchies of Continuous Functionals.	CiE	2008	DBLP DOI BibTeX RDF	Limit space, Probabilistic selection, Density theorem, Continuous functional
1	Russell Miller 0001, Dustin Mulcahey	Perfect Local Computability and Computable Simulations.	CiE	2008	DBLP DOI BibTeX RDF	perfect local computability, simulation, computability, Category theory, local computability
1	Peter Koepke, Russell G. Miller	An Enhanced Theory of Infinite Time Register Machines.	CiE	2008	DBLP DOI BibTeX RDF	ordinal computability, hypercomputation, infinitary computation, register machine
1	Shankara Narayanan Krishna, Gabriel Ciobanu	On the Computational Power of Enhanced Mobile Membranes.	CiE	2008	DBLP DOI BibTeX RDF
1	Andrea Bréard	A Summation Algorithm from 11th Century China.	CiE	2008	DBLP DOI BibTeX RDF	Shen Gua, Song dynasty, Sum of squares
1	Michiel De Smet, Andreas Weiermann	Phase Transitions for Weakly Increasing Sequences.	CiE	2008	DBLP DOI BibTeX RDF	Ackermann function, weakly increasing sequences, Erdös-Szekeres, Dilworth, phase transitions, Ramsey theory
1	Giovanni Di Crescenzo, Helger Lipmaa	Succinct NP Proofs from an Extractability Assumption.	CiE	2008	DBLP DOI BibTeX RDF
1	Edwin J. Beggs, John V. Tucker	Programming Experimental Procedures for Newtonian Kinematic Machines.	CiE	2008	DBLP DOI BibTeX RDF
1	Constantinos Daskalakis	Computing Equilibria in Large Games We Play.	CiE	2008	DBLP DOI BibTeX RDF
1	Mathieu Sablik, Guillaume Theyssier	Topological Dynamics of 2D Cellular Automata.	CiE	2008	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.	CiE	2008	DBLP DOI BibTeX RDF	multi-agent logics, relational Kripke-Hintikka models, decidability algorithms, satisfiability, linear temporal logic, hybrid logics
1	Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu	Computable Categoricity of Graphs with Finite Components.	CiE	2008	DBLP DOI BibTeX RDF
1	Charalampos Cornaros	Pell Equations and Weak Regularity Principles.	CiE	2008	DBLP DOI BibTeX RDF
1	Alexandra A. Soskova	omega-Degree Spectra.	CiE	2008	DBLP DOI BibTeX RDF
1	Matthias Baaz, George Metcalfe	Herbrand Theorems and Skolemization for Prenex Fuzzy Logics.	CiE	2008	DBLP DOI BibTeX RDF	Herbrand Theorem, Fuzzy Logics, Skolemization
1	Erzsébet Csuhaj-Varjú	P Automata: Membrane Systems as Acceptors.	CiE	2008	DBLP DOI BibTeX RDF
1	Matthias Christandl	A Quantum Information-Theoretic Proof of the Relation between Horn's Problem and the Littlewood-Richardson Coefficients.	CiE	2008	DBLP DOI BibTeX RDF
1	Christian Glaßer, Christian Reitwießner, Victor L. Selivanov	The Shrinking Property for NP and coNP.	CiE	2008	DBLP DOI BibTeX RDF
1	Willem L. Fouché	Subrecursive Complexity of Identifying the Ramsey Structure of Posets.	CiE	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D20, 68Q17, 06A07, 05D10
1	Nicolas Ollinger	Two-by-Two Substitution Systems and the Undecidability of the Domino Problem.	CiE	2008	DBLP DOI BibTeX RDF
1	Keye Martin, Prakash Panangaden	Domain Theory and the Causal Structure of Space-Time.	CiE	2008	DBLP DOI BibTeX RDF
1	Jirí Wiedermann, Jan van Leeuwen	How We Think of Computing Today.	CiE	2008	DBLP DOI BibTeX RDF	evolving automata, non-uniform complexity, Turing machines, interactive computation
1	Hugo Gimbert, Florian Horn 0001	Solving Simple Stochastic Games.	CiE	2008	DBLP DOI BibTeX RDF
1	Colin Riba	Union of Reducibility Candidates for Orthogonal Constructor Rewriting.	CiE	2008	DBLP DOI BibTeX RDF
1	Argimiro Arratia, Iain A. Stewart	Program Schemes with Deep Pushdown Storage.	CiE	2008	DBLP DOI BibTeX RDF
1	Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj	Updatable Timed Automata with Additive and Diagonal Constraints.	CiE	2008	DBLP DOI BibTeX RDF
1	Sergei Podzorov	Upper Semilattices in Many-One Degrees.	CiE	2008	DBLP DOI BibTeX RDF	Distributive Upper Semilattice, Many-One Degree, Lachlan Semilattice, Computably Enumerable Set, Simple Set, Hypersimple Set, Immune Set, Hyperimmune Set, Arithmetical Hierarchy
1	Victor L. Selivanov, Klaus W. Wagner	Complexity of Aperiodicity for Topological Properties of Regular omega-Languages.	CiE	2008	DBLP DOI BibTeX RDF	Regular aperiodic ?-language, Wadge reducibility, aperiodic automaton, deterministic Muller automaton, nondeterministic Büchi automaton, monadic second-order formula
1	Jens Høyrup	The Algorithm Concept - Tool for Historiographic Interpretation or Red Herring?.	CiE	2008	DBLP DOI BibTeX RDF	pre-Modern mathematics, algorithm concept as an historiographic analytical tool, algebra as a historiographic analytical tool
1	Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.)	Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings	CiE	2008	DBLP DOI BibTeX RDF
1	Pierre Letouzey	Extraction in Coq: An Overview.	CiE	2008	DBLP DOI BibTeX RDF
1	Peter C. Richter	The Quantum Complexity of Markov Chain Monte Carlo.	CiE	2008	DBLP DOI BibTeX RDF
1	Liesbeth De Mol, Maarten Bullynck	A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC.	CiE	2008	DBLP DOI BibTeX RDF	Derrick H. Lehmer, Fermat’s little theorem, early programming, prime sieve, parallelism, number theory, ENIAC
1	Takako Nemoto	Complete Determinacy and Subsystems of Second Order Arithmetic.	CiE	2008	DBLP DOI BibTeX RDF	complete determinacy, Wadge class, second order arithmetic, reverse mathematics, infinite game, determinacy
1	Mircea-Dan Hernest, Paulo Oliva	Hybrid Functional Interpretations.	CiE	2008	DBLP DOI BibTeX RDF	Functional interpretations, modified realizability, Dialectica interpretation, program extraction from proofs, uniform quantifiers, linear logic
1	Ralph Matthes	Recursion on Nested Datatypes in Dependent Type Theory.	CiE	2008	DBLP DOI BibTeX RDF
1	Jérémie Cabessa, Jacques Duparc	The Algebraic Counterpart of the Wagner Hierarchy.	CiE	2008	DBLP DOI BibTeX RDF	?-automata, ?-rational languages, ?-semigroups, Wadge game, Wadge hierarchy, Wagner hierarchy, infinite games
1	Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen	Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time.	CiE	2008	DBLP DOI BibTeX RDF	linear time complexity, static program analysis, polynomial time complexity, implicit computational complexity
1	Rica Gonen	On the Hardness of Truthful Online Auctions with Multidimensional Constraints.	CiE	2008	DBLP DOI BibTeX RDF
1	Antonina Kolokolova	Many Facets of Complexity in Logic.	CiE	2008	DBLP DOI BibTeX RDF
1	Gabriel Istrate, Madhav V. Marathe, S. S. Ravi	Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion.	CiE	2008	DBLP DOI BibTeX RDF	adversarial scheduling, Markov chains, evolutionary games
1	Marcin Jurdzinski, Rahul Savani	A Simple P-Matrix Linear Complementarity Problem for Discounted Games.	CiE	2008	DBLP DOI BibTeX RDF	Discounted game, Pmatrix, strategy improvement algorithm, unique sink orientation, zerosum game, linear complementarity problem
1	Mark Daley	On the Processing Power of Protozoa.	CiE	2008	DBLP DOI BibTeX RDF
1	Emmanuel Hainry	Reachability in Linear Dynamical Systems.	CiE	2008	DBLP DOI BibTeX RDF	Skolem-Pisot problem, Gelfond-Schneider Theorem, Dynamical Systems, Reachability
1	Iris Loeb	Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.	CiE	2008	DBLP DOI BibTeX RDF	Intuitionistic Mathematics, Continuity Principle, Compactness Principle, Constructive Mathematics, Reverse Mathematics
1	Michael Brough, Bakhadyr Khoussainov, Peter Nelson	Sequential Automatic Algebras.	CiE	2008	DBLP DOI BibTeX RDF
1	Temesghen Kahsai, Marino Miculan	Implementing Spi Calculus Using Nominal Techniques.	CiE	2008	DBLP DOI BibTeX RDF
1	Johann A. Makowsky	Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants.	CiE	2008	DBLP DOI BibTeX RDF
1	James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers	Computability and Complexity in Self-assembly.	CiE	2008	DBLP DOI BibTeX RDF	computational complexity, computability, self-assembly, molecular computing
1	Barnaby Martin	First-Order Model Checking Problems Parameterized by the Model.	CiE	2008	DBLP DOI BibTeX RDF
1	Matteo Cavaliere	Computing by Observing: A Brief Survey.	CiE	2008	DBLP DOI BibTeX RDF
1	Lawrence C. Paulson	The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF.	CiE	2008	DBLP DOI BibTeX RDF
1	Xiaoyang Gu, Jack H. Lutz	Effective Dimensions and Relative Frequencies.	CiE	2008	DBLP DOI BibTeX RDF	effective fractal dimensions, empirical frequencies, finite-state dimension, saturated sets, randomness
1	Lars Kristiansen	Recursion in Higher Types and Resource Bounded Turing Machines.	CiE	2008	DBLP DOI BibTeX RDF
1	Dan E. Browne, Janet Anders	The Role of Classical Computation in Measurement-Based Quantum Computation.	CiE	2008	DBLP DOI BibTeX RDF	measurement-based quantum computation, Quantum computation, computational models
1	Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen	Deterministic Graphical Games Revisited.	CiE	2008	DBLP DOI BibTeX RDF
1	Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine	Principal Typings for Explicit Substitutions Calculi.	CiE	2008	DBLP DOI BibTeX RDF	lambda-calculus, explicit substitution, principal typings
1	Mathias Barra	Pure Iteration and Periodicity.	CiE	2008	DBLP DOI BibTeX RDF
1	Mariya Ivanova Soskova	Cupping Classes of Enumeration Degrees.	CiE	2008	DBLP DOI BibTeX RDF
1	John Longley	Interpreting Localized Computational Effects Using Operators of Higher Type.	CiE	2008	DBLP DOI BibTeX RDF
1	Jiang Liu 0002, Guohua Wu	Joining to High Degrees.	CiE	2008	DBLP DOI BibTeX RDF
1	Shankara Narayanan Krishna	On the Computational Power of Flip-Flop Proteins on Membranes.	CiE	2007	DBLP DOI BibTeX RDF	Universality, Membrane Computing, Register Machines
1	James I. Lathrop, Jack H. Lutz, Scott M. Summers	Strict Self-assembly of Discrete Sierpinski Triangles.	CiE	2007	DBLP DOI BibTeX RDF	Sierpinski triangles, fractals, self-assembly, molecular computing
1	Guido Gherardi	Internal Computability.	CiE	2007	DBLP DOI BibTeX RDF	Nonstandard Analysis, Type-2 Theory of Effectivity, Theory of Representations, Computable Analysis, Constructive Mathematics
1	José Espírito Santo	Refocusing Generalised Normalisation.	CiE	2007	DBLP DOI BibTeX RDF	generalised elimination rules, multiarity, normalisation
1	Douglas S. Bridges	Colocatedness and Lebesgue Integrability.	CiE	2007	DBLP DOI BibTeX RDF
1	Giancarlo Mauri	Membrane Systems and Their Application to Systems Biology.	CiE	2007	DBLP DOI BibTeX RDF
1	Kentaro Kikuchi	Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus.	CiE	2007	DBLP DOI BibTeX RDF	?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution
1	Joel Friedman	Linear Transformations in Boolean Complexity Theory.	CiE	2007	DBLP DOI BibTeX RDF	Boolean circuit complexity, linear transformations, cohomology
1	Michal Koucký 0001	Circuit Complexity of Regular Languages.	CiE	2007	DBLP DOI BibTeX RDF	circuit complexity, regular languages
1	José Félix Costa, Bruno Loff, Jerzy Mycka	The New Promise of Analog Computation.	CiE	2007	DBLP DOI BibTeX RDF
1	Russell G. Miller	Locally Computable Structures.	CiE	2007	DBLP DOI BibTeX RDF	extensional, perfectly locally computable, computability, locally computable, computable model theory
1	Andrej Bauer, Christopher A. Stone	RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.	CiE	2007	DBLP DOI BibTeX RDF
1	Alexandre Pinto	Comparing Notions of Computational Entropy.	CiE	2007	DBLP DOI BibTeX RDF	Computational Entropy, Compressibility, Kolmogorov Complexity
1	Barnaby Martin, Florent R. Madelaine	Hierarchies in Fragments of Monadic Strict NP.	CiE	2007	DBLP DOI BibTeX RDF
1	Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín	On Rules and Parameter Free Systems in Bounded Arithmetic.	CiE	2007	DBLP DOI BibTeX RDF	conservation results, parameter free schemes, Bounded Arithmetic
1	Wolfgang Maass 0001	Liquid Computing.	CiE	2007	DBLP DOI BibTeX RDF
1	Anil Nerode	Logic and Control.	CiE	2007	DBLP DOI BibTeX RDF
1	Michael Rathjen	Theories and Ordinals: Ordinal Analysis.	CiE	2007	DBLP DOI BibTeX RDF

Publications at "CiE"( http://dblp.L3S.de/Venues/CiE )