]> 2007-03-15 Consistent Streaming Through Time: A Vision for Event Stream Processing. 363-374 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p42.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#BargaGAH07 2005-11-17 Sorting And Indexing With Partitioned B-Trees. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p1.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#Graefe03 2005-11-17 Approximate Range Selection Queries in Peer-to-Peer Systems. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p13.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#GuptaA03 2007-03-06 Demaq: A Foundation for Declarative XML Message Processing. 33-43 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p04.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#0002KM07 2005-01-19 Efficient Regression Tests for Database Applications. 95-106 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P08.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#HaftmannKK05 2005-11-17 Crossing the Structure Chasm. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p11.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#HalevyED03 2005-11-17 Active Server Availability Feedback. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p4.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#Hamilton03 2005-11-17 Genomics Algebra: A New, Integrating Data Model, Language, and Tool for Processing and Querying Genomic Information. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p16.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#HammerS03 2007-03-06 Public Health for the Internet (PHI). 332-340 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p38.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#HellersteinCGLMRT07 2005-11-17 A Case for Staged Database Systems. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p3.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#HarizopoulosA03 2005-01-19 Data on the Outside Versus Data on the Inside. 144-153 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P12.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#Helland05 2007-03-06 Cache-Oblivious Query Processing. 44-55 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p05.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#HeL07 2005-01-19 The Architecture of PIER: an Internet-Scale Query Processor. 28-43 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P03.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#HuebschCHLMRSSY05 2005-01-19 ORCHESTRA: Rapid, Collaborative Sharing of Dynamic Data. 107-118 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P09.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#IvesKKC05 2005-11-17 Distributed Computing with BEA WebLogic Server. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p26.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#Jacobs03 2005-11-17 Capacity Bound-free Web Warehouse. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p4.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#KambayashiC03 2005-01-19 Haystack: A General-Purpose Information Management Tool for End Users Based on Semistructured Data. 13-26 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P02.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#KargerBHQS05 2005-01-19 Cracking the Database Store. 213-224 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P18.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#KerstenM05 2005-01-19 (Almost) Hands-Off Information Integration for the Life Sciences. 131-143 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P11.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#LeserN05 2005-11-17 SkyQuery: A Web Service Approach to Federate Databases. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p17.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#MalikS03 2005-11-17 The Database Machine: Old Story, New Slant? 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p6.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#McCann03 2007-03-06 The Data Ring: Community Content Sharing. 154-163 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p17.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#AbiteboulP07 2005-11-17 Query Processing, Approximation, and Resource Management in a Data Stream Management System. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p22.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#MotwaniWABBDMORV03 2007-03-06 P2P Web Search: Make It Light, Make It Fly (Demo). 164-168 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p18.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#BenderMPC07 2005-01-20 When Database Systems Meet the Grid. 154-161 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P13.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#Nieto-SantistebanGSATO05 2005-01-19 A Scalability Service for Dynamic Web Applications. 56-69 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P05.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#OlstonMGAMM05 2005-11-17 Distributed Query Processing and Catalogs for Peer-to-Peer Systems. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p12.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#PapadimosM03 2005-11-17 Speculative Query Processing. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p2.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#PolyzotisI03 2005-01-20 Buffer-pool Aware Query Optimization. 250-261 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P21.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#RamamurthyD05 2007-03-06 Managing Query Compilation Memory Consumption to Improve DBMS Throughput. 275-280 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p31.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#BaryshnikovCCGOS07 2005-01-19 User Profile Management in Converged Networks (Episode II): "Share your Data, Keep your Secrets". 200-212 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P17.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#SahuguetAFLSA05 2005-11-17 Enter Once, Share Everywhere: User Profile Management in Converged Networks. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p14.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#SahuguetHLX03 2005-11-17 AIMS: An Immersidata Management System. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p20.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#Shahabi03 2005-11-17 The BINGO! System for Information Portal Generation and Expert Web Search. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p7.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#SizovTSWGBZ03 2007-03-06 MOMA - A Mapping-based Object Matching System. 247-258 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p27.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#ThorR07 2005-11-17 Towards High Performance Peer-to-Peer Content and Resource Sharing Systems. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p10.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#TriantafillouXKN03 2005-01-19 How can we support Grid Transactions? Towards Peer-to-Peer Transaction Processing. 174-185 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P15.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#TurkerHSS05 2005-01-19 Trio: A System for Integrated Management of Data, Accuracy, and Lineage. 262-276 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P22.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#Widom05 2005-01-19 Action-Oriented Query Processing for Pervasive Computing. 305-316 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P25.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#XueL05 2007-03-06 The Case for a Signal-Oriented Data Stream Management System. 397-406 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p45.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#GirodJMNRTBM07 2005-11-17 Managing Expressions as Data in Relational Database Systems. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p27.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#YalamanchiSG03 2005-11-17 Query Processing in Sensor Networks. 2003 CIDR http://www-db.cs.wisc.edu/cidr/cidr2003/program/p21.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2003.html#YaoG03 2007-01-23 Two Can Keep A Secret: A Distributed Architecture for Secure Database Services. 186-199 2005 CIDR http://www-db.cs.wisc.edu/cidr/papers/P16.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2005.html#AggarwalBGGKMSTX05 2007-03-06 Impliance: A Next Generation Information Management Appliance. 351-362 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p41.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#BhattacharjeeGGLMPRRS07 2007-03-06 CIDR 2007, Third Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 7-10, 2007, Online Proceedings CIDR 2007 http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html 2007-03-06 Rethinking Choices for Multi-dimensional Point Indexing: Making the Case for the Often Ignored Quadtree. 281-291 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p32.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#KimP07 2007-03-06 One table stores all: Enabling painless free-and-easy data publishing and sharing. 142-153 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p16.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#OoiYL07 2007-03-06 The CompleteSearch Engine: Interactive, Efficient, and Towards IR& DB Integration. 88-95 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p09.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#BastW07 2007-03-06 Beyond Just Data Privacy. 324-331 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p37.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#MungamuruG07 2007-03-06 An Architecture for Modular Data Centers. 306-313 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p35.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#Hamilton07 2007-03-06 SASE: Complex Event Processing over Streams (Demo). 407-411 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p46.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#Gyllstrom0CDSA07 2007-03-06 One Size Fits All? Part 2: Benchmarking Studies. 173-184 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p20.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#StonebrakerBCCGHHLRZ07 2007-03-06 Entity Search Engine: Towards Agile Best-Effort Information Integration over the Web. 108-113 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p12.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#ChengC07 2007-03-06 Isolation Support for Service-based Applications: A Position Paper. 314-323 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p36.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#GreenfieldFJKN07 2007-03-06 Life beyond Distributed Transactions: an Apostate's Opinion. 132-141 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p15.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#Helland07 2007-03-06 Smoothing the ROI Curve for Scientific Data Management Applications. 185-195 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p21.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#HoweMB07 2007-03-06 Database Cracking. 68-78 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p07.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#IdreosKM07 2007-03-06 Moirae: History-Enhanced Monitoring. 375-386 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p43.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#BalazinskaKKL07 2007-03-06 Maitri Demonstration: Managing Large Scale Scientific Data (Demo). 219-224 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p24.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#SinhaTMW07 2007-03-06 Community Systems: The World Online. 341 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p39.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#Ramakrishnan07 2007-03-08 A Dataspace Odyssey: The iMeMex Personal Dataspace Management System (Demo). 114-119 2007 CIDR http://www.cidrdb.org/cidr2007/papers/cidr07p13.pdf http://www.informatik.uni-trier.de/~ley/db/conf/cidr/cidr2007.html#BlunschiDGKS07 2005-05-30 New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings CiE 3526 2005 3-540-26179-6 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html 2006-06-30 Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings 3988 2006 3-540-35466-2 CiE http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html 2005-05-30 The Flow of Data and the Complexity of Algorithms. 263-274 2005 CiE http://dx.doi.org/10.1007/11494645_33 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#KristiansenJ05 2006-06-30 Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. 1-10 2006 CiE http://dx.doi.org/10.1007/11780342_1 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#AbrahamGS06 2006-06-30 Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests. 289-296 2006 CiE http://dx.doi.org/10.1007/11780342_31 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#KudinovS06 2006-06-30 From Constructibility and Absoluteness to Computability and Domain Independence. 11-20 2006 CiE http://dx.doi.org/10.1007/11780342_2 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Avron06 2006-06-30 An Invariant Cost Model for the Lambda Calculus. 105-114 2006 CiE http://dx.doi.org/10.1007/11780342_11 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#LagoM06 2006-06-30 Datatype-Generic Reasoning. 21-34 2006 CiE http://dx.doi.org/10.1007/11780342_3 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Backhouse06 2006-06-30 Lower Bounds Using Kolmogorov Complexity. 297-306 2006 CiE http://dx.doi.org/10.1007/11780342_32 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Laplante06 2005-05-30 Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees. 8-17 2005 CiE http://dx.doi.org/10.1007/11494645_2 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Barmpalias05 2005-05-30 On a Question of Sacks - A Partial Solution on the Positive Side. 275-286 2005 CiE http://dx.doi.org/10.1007/11494645_34 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Lewis05 2005-05-30 The Fan Theorem and Uniform Continuity. 18-22 2005 CiE http://dx.doi.org/10.1007/11494645_3 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Berger05 2005-05-30 The Low Splitting Theorem in the Difference Hierarchy. 287-296 2005 CiE http://dx.doi.org/10.1007/11494645_35 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Li05 2005-05-30 Continuous Semantics for Strong Normalization. 23-34 2005 CiE http://dx.doi.org/10.1007/11494645_4 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Berger05a 2006-06-30 The Jump Classes of Minimal Covers. 307-318 2006 CiE http://dx.doi.org/10.1007/11780342_33 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Lewis06 2006-06-30 The Logical Strength of the Uniform Continuity Theorem. 35-39 2006 CiE http://dx.doi.org/10.1007/11780342_4 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Berger06 2005-05-30 Geometric Software: Robustness Issues and Model of Computation. 297-298 2005 CiE http://dx.doi.org/10.1007/11494645_36 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Lieutier05 2006-06-30 Elementary Algebraic Specifications of the Rational Function Field. 40-54 2006 CiE http://dx.doi.org/10.1007/11780342_5 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Bergstra06 2006-06-30 Space Bounds for Infinitary Computation. 319-329 2006 CiE http://dx.doi.org/10.1007/11780342_34 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Lowe06 2005-05-30 A Thread Algebra with Multi-level Strategic Interleaving. 35-48 2005 CiE http://dx.doi.org/10.1007/11494645_5 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#BergstraM05 2005-05-30 The Small Grzegorczyk Classes and the Typed lambda-Calculus. 252-262 2005 CiE http://dx.doi.org/10.1007/11494645_32 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#KristiansenB05 2005-11-15 Membrane Computing - Current Results and Future Problems. 49-53 2005 CiE http://dx.doi.org/10.1007/11494645_6 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#BernardiniGKT05 2005-05-30 The Computational Complexity of One-Dimensional Sandpiles. 342-348 2005 CiE http://dx.doi.org/10.1007/11494645_42 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Miltersen05 2005-05-30 How to Compare the Power of Computational Models. 54-64 2005 CiE http://dx.doi.org/10.1007/11494645_7 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#BokerD05 2005-05-30 Categoricity in Restricted Classes. 349-349 2005 CiE http://dx.doi.org/10.1007/11494645_43 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Morozov05 2005-05-31 Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages. 65-67 2005 CiE http://dx.doi.org/10.1007/11494645_8 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#BonizzoniFM05 2005-05-30 Recursion and Complexity. 350-357 2005 CiE http://dx.doi.org/10.1007/11494645_44 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Moschovakis05 2006-06-30 Random Closed Sets. 55-64 2006 CiE http://dx.doi.org/10.1007/11780342_6 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#BrodheadCD06 2006-06-30 Martingale Families and Dimension in P. 388-397 2006 CiE http://dx.doi.org/10.1007/11780342_41 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Moser06 2006-06-30 Deep Inference and Its Normal Form of Derivations. 65-74 2006 CiE http://dx.doi.org/10.1007/11780342_7 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Brunnler06 2005-05-30 FM-Representability and Beyond. 358-367 2005 CiE http://dx.doi.org/10.1007/11494645_45 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#MostowskiZ05 2005-05-30 Quantum Computing. 68-68 2005 CiE http://dx.doi.org/10.1007/11494645_9 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Buhrman05 2006-06-30 A Measure of Space for Computing over the Reals. 231-240 2006 CiE http://dx.doi.org/10.1007/11780342_25 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Naurois06 2005-05-30 Symbol Grounding in Connectionist and Adaptive Agent Models. 69-74 2005 CiE http://dx.doi.org/10.1007/11494645_10 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Cangelosi05 2006-06-30 Can General Relativistic Computers Break the Turing Barrier?. 398-412 2006 CiE http://dx.doi.org/10.1007/11780342_42 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#NemetiA06 2006-06-30 The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. 137-146 2006 CiE http://dx.doi.org/10.1007/11780342_15 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#CasadoC06 2006-06-30 Degrees of Weakly Computable Reals. 413-422 2006 CiE http://dx.doi.org/10.1007/11780342_43 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#NgSW06 2005-05-30 The Complexity of Inductive Definability. 75-85 2005 CiE http://dx.doi.org/10.1007/11494645_11 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#CenzerR05 2005-05-30 Formalising Exact Arithmetic in Type Theory. 368-377 2005 CiE http://dx.doi.org/10.1007/11494645_46 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Niqui05 2006-06-30 Logspace Complexity of Functions and Structures. 75-84 2006 CiE http://dx.doi.org/10.1007/11780342_8 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#CenzerU06 2006-06-30 Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis. 423-434 2006 CiE http://dx.doi.org/10.1007/11780342_44 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Oliva06 2006-06-30 Prefix-Like Complexities and Computability in the Limit. 85-93 2006 CiE http://dx.doi.org/10.1007/11780342_9 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#ChernovS06 2005-05-30 Complexity in Predicative Arithmetic. 378-384 2005 CiE http://dx.doi.org/10.1007/11494645_47 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#OstrinW05 2005-05-30 Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It. 1-7 2005 CiE http://dx.doi.org/10.1007/11494645_1 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Cooper05 2005-05-30 Domain-Theoretic Formulation of Linear Boundary Value Problems. 385-395 2005 CiE http://dx.doi.org/10.1007/11494645_48 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Pattinson05 2005-05-30 A Logical Approach to Abstract Algebra. 86-95 2005 CiE http://dx.doi.org/10.1007/11494645_12 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Coquand05 2005-05-30 Membrane Computing: Power, Efficiency, Applications. 396-407 2005 CiE http://dx.doi.org/10.1007/11494645_49 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Paun05 2006-06-30 Partial Continuous Functions and Admissible Domain Representations. 94-104 2006 CiE http://dx.doi.org/10.1007/11780342_10 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Dahlgren06 2006-06-30 A Subrecursive Refinement of the Fundamental Theorem of Algebra. 435-444 2006 CiE http://dx.doi.org/10.1007/11780342_45 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#PeshevS06 2006-06-30 On the Complexity of the Sperner Lemma. 115-124 2006 CiE http://dx.doi.org/10.1007/11780342_12 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Dantchev06 2005-05-30 The Analogue of Büchi's Problem for Polynomials. 408-417 2005 CiE http://dx.doi.org/10.1007/11494645_50 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#PheidasV05 2006-06-30 The Church-Turing Thesis: Consensus and Opposition. 125-132 2006 CiE http://dx.doi.org/10.1007/11780342_13 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Davis06 2006-06-30 An Introduction to Program and Thread Algebra. 445-458 2006 CiE http://dx.doi.org/10.1007/11780342_46 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#PonseZ06 2006-06-30 Gödel and the Origins of Computer Science. 133-136 2006 CiE http://dx.doi.org/10.1007/11780342_14 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Dawson06 2006-06-30 Fast Quantifier Elimination Means P = NP. 459-470 2006 CiE http://dx.doi.org/10.1007/11780342_47 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Prunescu06 2006-06-30 Turing Universality in Dynamical Systems. 147-152 2006 CiE http://dx.doi.org/10.1007/11780342_16 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Delvenne06 2005-05-30 On the Turing Degrees of Divergence Bounded Computable Reals. 418-428 2005 CiE http://dx.doi.org/10.1007/11494645_51 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#RettingerZ05 2006-06-30 Every Sequence Is Decompressible from a Random One. 153-162 2006 CiE http://dx.doi.org/10.1007/11780342_17 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Doty06 2005-05-30 New Algorithmic Paradigms in Exponential Time Algorithms. 429-429 2005 CiE http://dx.doi.org/10.1007/11494645_52 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Schoning05 2005-05-30 Schnorr Dimension. 96-105 2005 CiE http://dx.doi.org/10.1007/11494645_13 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#DowneyMR05 2006-06-30 Admissible Representations in Computable Analysis. 471-480 2006 CiE http://dx.doi.org/10.1007/11780342_48 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Schroder06 2005-05-30 Abstract Geometrical Computation: Turing-Computing Ability and Undecidability. 106-116 2005 CiE http://dx.doi.org/10.1007/11494645_14 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Durand-Lose05 2006-06-30 Do Noetherian Modules Have Noetherian Basis Functions?. 481-489 2006 CiE http://dx.doi.org/10.1007/11780342_49 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#SchusterZ06 2006-06-30 Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal. 163-172 2006 CiE http://dx.doi.org/10.1007/11780342_18 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Durand-Lose06 2006-06-30 Inverting Monotone Continuous Functions in Constructive Analysis. 490-504 2006 CiE http://dx.doi.org/10.1007/11780342_50 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Schwichtenberg06 2006-06-30 LJQ: A Strongly Focused Calculus for Intuitionistic Logic. 173-185 2006 CiE http://dx.doi.org/10.1007/11780342_19 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#DyckhoffL06 2005-05-30 Some Reducibilities on Regular Sets. 430-439 2005 CiE http://dx.doi.org/10.1007/11494645_53 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#Selivanov05 2005-05-30 Computability in Computational Geometry. 117-127 2005 CiE http://dx.doi.org/10.1007/11494645_15 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2005.html#EdalatKL05 2006-06-30 Partial Recursive Functions in Martin-Löf Type Theory. 505-515 2006 CiE http://dx.doi.org/10.1007/11780342_51 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#Setzer06 2006-06-30 Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. 186-197 2006 CiE http://dx.doi.org/10.1007/11780342_20 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#EhrhardR06 2006-06-30 ¹₁on Finite Models. 516-525 2006 CiE http://dx.doi.org/10.1007/11780342_52 http://www.informatik.uni-trier.de/~ley/db/conf/cie/cie2006.html#SevensterT06 2005-05-30 Shrad: A Language for Sequential Real Number Computation. 128-128 2005 CiE http://dx.doi.org/10.1007/11494645_16 http:/