]> 2002-03-05 Revising Knowledge: a Hierarchical Approach. 160-174 1994 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1994.html#Morris94 2002-03-05 Economics and Game Theory Perspective. 299-300 1996 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1996.html#Morris96 2002-03-07 Interaction Games: A Unified Analysis of Incomplete Information and Local Interaction. 273-277 1998 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1998.html#Morris98 2002-03-07 Resource-bounded Knowledge. 261-275 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#Moses88 2002-03-05 Knowledge and Communication. 1-14 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#Moses92 2002-03-07 Agreeing to Disagree After All. 151-168 1990 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1990.html#MosesN90 2002-03-05 Topological Reasoning and The Logic of Knowledge. 95-105 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#MossP92 2006-02-15 Decision-theoretic entropy. 35-44 2003 TARK http://doi.acm.org/10.1145/846241.846246 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2003.html#Mura03 2002-10-30 Conditional, Hierarchical, Multi-Agent Preferences. 215-224 1998 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1998.html#MuraS98 2002-03-07 Incentive Constraints and Optimal Communication Systems. 179-193 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#Myerson88 2002-03-07 Changing Conditional Belief Unconditionally. 119-135 1996 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1996.html#NayakFPS96 2002-03-05 Knowledge Consistency: A Useful Suspension of Disbelief. 295-308 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#Neiger88 2002-03-05 Using Knowledge to Optimally Achieve Coordination in Distributed Systems. 43-59 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#NeigerB92 2006-02-15 Cooperation and coordination in the turn-taking dilemma. 231-244 2003 TARK http://doi.acm.org/10.1145/846241.846270 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2003.html#Neill03 2006-02-15 Exponential communication inefficiency of demand queries. 158-164 2005 TARK http://doi.acm.org/10.1145/1089933.1089951 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2005.html#NisanS05 2006-02-15 Logical omniscience and common knowledge: WHAT do we know and what do WE know? 62-77 2005 TARK http://doi.acm.org/10.1145/1089933.1089943 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2005.html#Parikh05 2002-03-05 Recent Issues in Reasoning about Knowledge. 3-10 1990 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1990.html#Parikh90 2002-03-05 A Game-Theoretic Account of Implicature. 85-94 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#Parikh92 2002-03-07 System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning. 121-135 1990 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1990.html#Pearl90 2002-03-07 Causation, Action and Counterfactuals. 51-73 1996 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1996.html#Pearl96 2006-02-15 Rationalizability and minimal complexity in dynamic games. 1-14 2003 TARK http://doi.acm.org/10.1145/846241.846243 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2003.html#Perea03 2002-03-05 On the Interpretation of Decision Problems with Imperfect Recall. 75-76 1996 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1996.html#PiccioneR96 2006-02-15 Aggregating partially ordered preferences: impossibility and possibility results. 193-206 2005 TARK http://doi.acm.org/10.1145/1089933.1089956 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2005.html#PiniRVW05 2002-03-05 A Framework for Intuitionistic Modal Logics. 399-406 1986 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1986.html#PlotkinS86 2002-03-05 Actual Truth, Possible Knowledge. 122-137 1994 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1994.html#RabinowiczS94 2002-03-05 Local Knowledge Assertions in a Changing World. 1-14 1996 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1996.html#Ramanujam96 2006-02-15 Deciding knowledge properties of security protocols. 219-235 2005 TARK http://doi.acm.org/10.1145/1089933.1089958 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2005.html#RamanujamS05 2002-03-07 On Integrity Constraints. 97-111 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#Reiter88 2002-03-07 Extensive Games and Common Knowledge. 395 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#Reny88 2002-03-05 Practical Utility of Knowledge-Based Analyses. 15-28 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#Ricciardi92 2002-03-07 Toward Software Synthesis for Distributed Applications. 15-27 1998 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1998.html#RicciardiG98 2002-03-05 A New Model for Inductive Inference. 13-28 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#RivestS88 2002-03-05 The Consistency of Syntactical Treatments of Knowledge. 115-130 1986 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1986.html#RivieresL86 2006-02-15 Being polite is a handicap: towards a game theoretical analysis of polite linguistic behavior. 45-58 2003 TARK http://doi.acm.org/10.1145/846241.846248 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2003.html#Rooy03 2005-06-22 Panel: Locality vs. Rationality. 343 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#RosencheinDLLM88 2002-03-05 The Synthesis of Digital Machines With Provable Epistemic Properties. 83-98 1986 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1986.html#RosenscheinK86 2002-03-05 Logic and Choice. 235-248 1998 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1998.html#Rott98 2002-03-05 Decision Theory With Higher Order Beliefs. 118-131 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#Rustichini92 2002-03-07 Counterfactuals and Updates as Inverse Modalities. 163-173 1996 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1996.html#RyanSR96 2002-03-05 Quantified Beliefs and Believed Quantities (Invited Talk). 263-272 1998 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1998.html#Samet98 2002-03-07 Evolutionary Foundations of Solution Concepts for Finite, Two-Player, Normal-Form Games. 211-225 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#Samuelson88 2002-03-07 Distance Semantics for Belief Revision. 137-145 1996 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1996.html#SchlechtaLM96 2006-02-15 Iterated backward inference: an algorithm for proper rationalizability. 15-28 2003 TARK http://doi.acm.org/10.1145/846241.846244 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2003.html#Schulte03 2002-03-05 Modal Logic S4F and The Minimal Knowledge Paradigm. 184-198 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#SchwarzT92 2002-03-05 Characterizing Distributed Systems Using Knowledge-Based Models. 29-42 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#ShandsC92 2006-02-15 Individual error, group error, and the value of information. 5-21 2005 TARK http://doi.acm.org/10.1145/1089933.1089937 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2005.html#Sher05 2002-03-05 Multiple Mental Attitudes in Agents. 106-107 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#Shoham92 2002-03-07 Autoepistemic Modal Logics. 97-109 1990 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1990.html#Shvarts90 2002-03-07 Representing Knowledge in Learning Systems by Pseudo Boolean Functions. 245-259 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#Shvaytser88 2002-03-07 Dynamic Models of Deliberation and the Theory of Games. 185-200 1990 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1990.html#Skyrms90 2002-03-05 Varieties of Self-Reference. 19-43 1986 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1986.html#Smith86 2002-03-05 Logicians Who Reason About Themselves. 341-352 1986 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1986.html#Smullyan86 2002-03-05 Nexttime is not Necessary. 241-256 1990 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1990.html#Spaan90 2006-02-15 Enumerative induction. 131-144 2003 TARK http://doi.acm.org/10.1145/846241.846260 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2003.html#Spohn03 2002-03-05 Semantics for Conditionals. 137-138 1990 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1990.html#Stalnaker90 2002-03-05 Notes on Conditional Semantics. 316-327 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#Stalnaker92 2002-03-05 Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? 223 1986 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1986.html#StalnakerKKLT86 2006-02-15 Decisions under subjective information. 150-157 2005 TARK http://doi.acm.org/10.1145/1089933.1089950 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2005.html#Stecher05 2002-03-05 An Epistemic Logic of Situations. 109-121 1994 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1994.html#Syverson94 2002-03-05 Summary of "On Aumann's Notion of Common Knowledge-An Alternative Approach". 253-258 1986 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1986.html#TanW86 2002-03-07 A Guide to Knowledge and Games. 163-177 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#TanW88 2002-03-05 Paradoxes and Semantic Representation. 225-239 1986 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1986.html#Thomason86 2002-03-07 Propagating Epistemic Coordination Through Mutual Defaults I. 29-39 1990 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1990.html#Thomason90 2002-03-07 Intra-Agent Modality and Nonmonotonic Epistemic Logic. 57-69 1998 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1998.html#Thomason98 2002-03-05 Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. 229-250 1996 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1996.html#ThomasonH96 2002-03-07 Nonmonotonic Default Modal Logics. 73-83 1990 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1990.html#TiomkinK90 2002-03-05 Zero Knowledge Interactive Proofs of Knowledge (A Digest). 1-12 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#Tompa88 2002-03-05 Inductive Learning, Knowledge Asymmetries and Convention. 284-304 1994 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1994.html#Vanderschraaf94 2002-03-05 On Epistemic Logic and Logical Omniscience. 293-305 1986 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1986.html#Vardi86 2002-03-05 Implementing Knowledge-Based Programs. 15-30 1996 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1996.html#Vardi96 2002-03-05 Generalized Kripke Models for Epistemic Logic. 214-228 1992 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1992.html#Voorbraak92 2006-02-15 Semantics for multi-agent only knowing: extended abstract. 109-125 2005 TARK http://doi.acm.org/10.1145/1089933.1089947 http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark2005.html#WaalerS05 2002-03-07 Toward a Theory of Communication and Cooperation for Multiagent Planning. 129-143 1988 TARK http://www.informatik.uni-trier.de/~ley/db/conf/tark/tark1988.html#Werner88 2002-02-12 Ein parallelisierter Algorithmus zum Simulated-Annealing. 262-269 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#ViehoverG90 2003-01-22 Parallele Datenverarbeitung mit dem Transputer, 1. Transputer-Anwender-Treffen TAT '89, Aachen, 25.-26. September 1989 Transputer-Anwender-Treffen 237 1990 3-540-52366-9 http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html 2002-02-12 Ein Transputersystem als Prozeßrechner zur Modellierung der Umgebung mit Ultraschall. 246-253 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#VietzeH90 2003-01-22 Parallele Datenverarbeitung mit dem Transputer, 2. Transputer-Anwender-Treffen TAT '90, Aachen, 17.-18. September 1990 Transputer-Anwender-Treffen 272 1991 3-540-53976-X http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html 2002-01-22 Schnelle Rekonstruktion der Rohdaten eines Kernspintomographen für den Einsatz in der interventionellen Radiologie. 242-249 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#VogelB91 2002-01-22 Parallele Datenverarbeitung mit dem Transputer, 3. Transputer-Anwender-Treffen TAT '91, Aachen, 17.-18. September 1991 Transputer-Anwender-Treffen 1991 3-540-55386-X http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html 2002-01-28 Die Programmiersprache Modula-P. 132-142 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#Vollmer92 2002-01-28 Parallele Datenverarbeitung mit dem Transputer, 4. Transputer-Anwender-Treffen TAT '92, Aachen, 22.-23. September 1992 Transputer-Anwender-Treffen 1993 3-540-56534-5 http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html 2002-02-12 Parallelverarbeitung in Hardware: Optimierung numerischer Routinen auf dem T800. 9-12 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#Vorbruggen90 2002-11-26 Eine parallel-verteilte Architektur für Rechnersehen und Telerobotik. 295-303 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#A92 2002-02-12 GRAVIDAL - Ein Werkzeug zur Visualisierung von verteilten Algorithmen. 21-28 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#VornbergerZ90 2002-11-26 Echtzeitfähiges Lokalisieren von Polyedern im 3-D-Raum. 174-181 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#AH90 2002-02-12 Quantenchemie mit Transputern. Ein direktes SCF-Programm. 83-93 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#WedigBS89 2002-11-26 Erkennen und Lokalisieren von Polyedern im 3-D Raum. 201-208 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#AH91 2002-01-28 Ein Algorithmus für die parallele Analyse formaler Sprachen auf Transputer-Netzen. 225-234 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#Lampe92 2002-02-12 3D- und Kurven-Darstellung von graphischen Flugversuchsdaten in Echtzeit. 198-205 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#AlvermannH90 2002-02-12 Konfigurierbare Transputernetze als CAD-Akzeleratoren. 285-292 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#Lanches90 2002-02-12 "Thinning" auf einem Transputer-Netzwerk. 151-157 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#ArendN90 2002-01-28 Eine Umgebung zur Evaluierug paralleler Logiksimulationsverfahren. 61-71 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#LanchesB92 2002-01-22 Rekursive Prozeduraufrufe in VLSI-Occam. 108-115 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#ArztMT91 2002-01-28 Parallele Vorverarbeitungsschritte für die verteilte Logiksimulation. 214-224 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#LanchesB92a 2002-01-28 Eine parallele Implementation des Karmakar-Verfahrens. 245-254 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#BachemS92 2002-01-22 Eine verteilte Realisierung von DaRender. 273-280 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#LangeNH91 2002-01-28 Parallelisierung von Heuristiken für große Traveling-Salesman-Probleme. 204-213 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#BachemW92 2003-01-16 Schnelle 3D-Verarbeitung tomographischer Bilddaten auf einem aus Transputern bestehenden Parallelrechnersystem. 220-232 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#LehrigD89 2002-01-22 Transputer als Front-End-Datenerfassungs- und Echtzeit-Analyse-System für Kernmassen-Messungen. 304-312 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#BalogLW91 2002-01-28 Parallele nichtlineare Finite-Element-Berechnung mit der parallel erweiterten Computer-Adaptive Language par_CAL. 153-163 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#LeimbachU92 2002-01-22 A General Purpose Resource Description Language. 68-75 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#BauerR91 2002-01-22 Strömungssimulation auf Transputernetzwerken mit parallelen FEM-Verfahren. 369-376 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#LohmeyerV91 2002-02-12 Transputer Grafik-System VEPIGS für die Farbbild-Entwicklung und Darstellung auf Flugzeug-Cockpit Vektor-Röhren. 206-213 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#Bavendiek90 2002-02-12 Ein paralleler adaptiver Algorithmus für die numerische Integration. 43-53 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#Maierhofer89 2002-02-12 Transputer in der flächenorientierten Bildverarbeitung. 233-241 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#BeccardFA89 2002-02-12 Einsatz von Transputern zur berührungslosen Geschwindigkeitsmessung nach dem Laufzeitkorrelationsverfahren. 214-221 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#JanochaK90 2002-02-12 Echtzeit-Signalverarbeitung mit Transputern in dem astrophysikalischen Experiment KASCADE. 238-245 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#BekkGKKSLMSW90 2002-02-12 Eine schnelle Implementierung des DES auf Transputern. 67-71 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#Maisel90 2002-01-22 Leistungsmessung von Transputersystemen. 41-48 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#BiekerO91 2002-01-28 Bidirektionale Mehrzielmethode zur Lösung von Zweipunkt-Randwertaufgaben. 255-264 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#MeisSS92 2002-02-21 Link-Verbindung eines Transputernetzes mit einem Multiprozessor-Bildverarbeitungssystem. 178-185 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#BlochlB91 2002-01-22 Verteilte Generierung von 3-dimensionalen Szenenfolgen auf Mehrprozessor-Systemen. 281-288 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#MenzelO91 2002-05-08 Objekterkennung in Verkehrsszenen auf Transputern. 285-294 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#BlochlT92 2002-01-28 Das Transputer-Lehrsystem. 122-131 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#MeyerK92 2002-02-12 Ein paralleler Lösungsansatz für nichtlineare Optimierungsprobleme. 254-261 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#BodenG90 2002-07-09 Einsatz von Bildverarbeitungssystemen mit TRANSPUTER-Parallelprozessoren zur automatischen Kontrolle von bedruckten Kunsstoffartikeln. 224-230 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#MichaeliP91 2002-02-12 Parallele dynamische Spielbaumauswertung auf Transputern. 80-87 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#BohmS90 2002-01-28 Mapping und Lastverteilung in parallelen Systemen. 1-10 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#MonienL92 2002-01-28 Ein paralleler SAT-Solver auf Transputern. 235-244 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#BohmS92 2002-02-12 Grundlagen der parallelen Datenverarbeitung. 1-8 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#Oberschelp89 2002-01-29 Anästhesie Simulation auf einem Parallelrechner mit SystemSpecs. 380-390 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#BoillatKS92 2002-01-22 Ein Transputersystem mit verteiltem Bildspeicher für Echtzeit-Computergrafik und Bildverarbeitung. 170-177 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#OehlrichKRD91 2002-02-12 Laufzeitmessungen in stark verrauschter Umgebung mit pseudostatistischen Signalfolgen. 222-229 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#BongratzGK90 2002-02-12 Transputer-Einsatz in der parallelen Bildvorverarbeitung. 143-150 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#OehlrichQ90 2002-02-12 Simulation von Beanspruchung und Verformung biologischer Gelenke auf dem dynamisch adaptierbaren Multiprozessorsystem DAMP. 293-300 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#BraamMP90 2002-02-12 Echtzeitsimulation eines komplexen mechanischen Systems (Modellrotor) auf einem Transputernetzwerk. 118-138 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#OertelGL89 2002-01-28 Protokollanalyse mit Transputernetzen. 21-30 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#Braun92 2002-02-12 Implementation und Test paralleler Basisalgorithmen der Linearen Algebra. 111-118 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#Pester90 2002-01-22 Ein Kontrollmodul mit verteilter Methodenbasis zur Extraktion von Merkmalen aus dem hierarchischen Struturcode. 186-193 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#BukerMZ91 2002-01-28 Dynamische Deadlockerkennung für Parallelprogramme. 83-92 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#HuangS92 2002-02-12 Zur Bearbeitung komplexer Anfragen im Mehrbenutzerbetrieb auf Shared-Nothing-Datenbanksystemen. 59-66 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#BultzingsloewenKLS90 2002-01-22 Parallele Implementation der iterativen Auflösung von Randelementgleichungen. 124-130 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Pester91 2002-01-22 Das Closed Loop Antagonistic Network auf Transputern. 258-264 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#BusemannH91 2002-07-17 Werkzeuge zur Echtzeitanalyse der Signale eines Multisensorsystems. 152-167 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#PfeiferP89 2002-01-28 Parallele Simulation mit Transputern. 352-361 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#Clemens92 2002-01-22 OCCWIN - Eine grafische Benutzeroberfläche für Transputersysteme. 76-83 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#CronemeyerHO91 2002-07-17 Graphische Benutzeroberfläche für Transputer Software. 29-34 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#PfeiferP90 2002-01-22 Das Baukastensystem CARO zur Lösung von Problemen der Linearen Algebra auf einem Transputerring. 116-123 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#DeworDKK91 2002-07-17 Geschwindigkeitsuntersuchung eines Fuzzy-Logic-Systems für Echtzeitanwendungen. 314-323 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#PfeiferP92 2002-01-22 Implementierung von Simulated Annealing auf Transputer-Systemen. 361-368 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#DiekmannLMS91 2002-07-09 Transputer-Einsatz in der Kunststofftechnik. 139-151 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#PhilippMB89 2002-01-28 Modellgestützte Bildfolgenanalyse zur berührungslosen Erfassung ebener Bewegungen. 324-333 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#Dietmayer92 2002-01-28 Transputereinsatz in der kardiologischen Grundlagenforschung: Untersuchungen an isolierten Herzmuskelzellen. 334-351 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#KulschPLRK92 2002-02-12 Bis zu 256 Transputer direkt gekoppelt über ein MIN (Projekt ReNet). 51-58 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#DietrichJKRRSH90 2002-01-22 Effizientes Lernen von ICD-Klassifikationen anhand von Diagnosetexten. 155-162 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#PietschRS91 2002-01-22 TMS - Transputer Management System. Eine Benutzeroberfläche und Entwicklungsumgebung für Transputernetzwerke. 92-99 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#DorkenHS91 2002-01-28 Leitungsanalyse dezentraler Transputer-Systeme basierend auf FDDI Links. 31-40 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#PopovicW92 2002-01-28 Transputer steuern Industrieroboter. 304-313 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#DrewsA92 2002-02-12 Asynchrone Parallelisierungsstrategien zur Generierung des Hierarchischen Strukturcodes (HSC). 166-173 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#PrieseRS90 2002-01-22 Ein Transputersystem zur Untersuchung von Synchronisationsmechanismen zur Merkmalsverknüpfung in einem sich selbst organisierenden neuronalen Netzwerk. 250-257 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#DrueHLD91 2002-01-22 Video-Framegrabber für Transputernetzwerk. 163-169 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Prufer91 2002-01-22 Eine beliebig erweiterbare Vielkanalmeßanlage mit Transputern und Delta-Sigma A/D-Umsetzern. 293-295 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#DzaakAG91 2002-01-22 Transputer-Debugging mit Link-2-Monitor. 57-59 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#PruferM91 2002-02-12 Wahrscheinlichkeitsbasierte neuronale Netze zur Signalverarbeitung. 296-303 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#EffingerR91 2003-01-23 Robotersteuerung auf Transputerbasis. 168-188 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#PruferW89 2002-01-28 Transient - Ein Werkzeug zur verteilten Simulation mechatronischer Systeme unter Echtzeitbedingungen. 362-379 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#EngelkeB92 2002-01-28 Rechenzentrums-Software für Parallelrechner. 72-82 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#RammeR92 2002-02-12 Neuronale Netzwerkmodelle und ihre Implementation auf Transputernetzen. 68-82 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#ErbP89 2002-02-12 Eine verteilte objektorientierte Wissensbank für Multi-Agenten. 72-79 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#RemboldDH90 2002-02-12 Realisierung eines nichtlinearen adaptiven Regelverfahrens mittels eines Transputer-Rechnersystems. 230-237 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#FlunkertKW90 2002-01-28 Abbildung Neuronaler Netzwerke auf Mehrprozessorsysteme. 182-193 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#Reski92 2002-01-22 Ein Verfahren zur Konfiguration von Transputersystemen für Echtzeitapplikationen. 9-16 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#FrankeL91 2002-02-12 Simulation eines neuronalen Netzes zur Hauptkomponentenanalyse und Datenkompression auf einem Transputernetz. 95-102 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#Reusch90 2002-02-12 Modellgestützte Echtzeit-Bildverarbeitung auf Transputern zur autonomen Führung von Fahrzeugen. 182-189 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#FrankeU90 2002-02-12 Bildfolgenverarbeitung in Echtzeit mittels einer Transputerpipeline. 210-219 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#ReuschenbachS89 2002-02-12 Kombinatorische Optimierung durch einen parallelen Simulated-Annealing-Algorithmus. 270-276 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#FreislebenS90 2002-02-12 Parallelisierung der Blockdiagramm-orientierten Simulation von Nachrichtenübertragungssystemen. 94-103 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#KunkelRS89 2002-02-12 WUMPS, Würzburger Message Passing System. 43-50 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#FriedewaldHM90 2002-01-22 DISQUE: Ein verteilter Simulator für Warteschlangennetze auf Transputern. 345-352 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Richter91 2002-01-28 Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk. 101-111 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#FrohlingsW92 2002-02-12 Ein paralleles Waveform-Relaxationsverfahren für die Simulation von VLSI-Schaltungen. 277-284 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#RissiekS90 2002-02-07 Lichtschnittsensor auf Transputerbasis zur Echtzeit-Erfassung der Schweißnahtgeometrie. 231-241 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#FuchsZ91 2002-01-22 Datenerfassungs- und Verarbeitungssystem auf Transputerbasis mit einer Transferleistung von 100 MByte/sek. 289-292 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#RostW91 2002-01-22 Ein objektorientiertes Konzept zur Prozeßkopplung und Datenverarbeitung in mechatronischen Systemen. 313-324 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#GaedtkeHB91 2002-01-22 TINIX - ein verteiltes Betriebssystem für Transputer. 84-91 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Rozek91 2002-01-22 Der On-Board Computer für den Kleinsatelliten BREMSAT. 341-344 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#GandertG91 2002-02-12 Portierung eines neuronalen Netzwerksimulators auf ein Transputersystem. 88-94 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#Schatz90 2002-02-12 Paralleles Lösen großer Systeme linearer Gleichungen. 119-126 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#Gehrke90 2002-01-22 Parallelisierung und Implementation eines Randwertelösers nach dem Mehrzielverfahren. 131-138 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#ScheffczykWL91 2002-02-12 Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern. 34-42 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#Glasser89 2002-01-28 TRAPPER: Eine graphische Software-Entwicklungsumgebung für MIMD-Parallelrechner. 112-121 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#ScheidlerSK92 2002-01-22 Dynamische Partitionierung Asynchroner Prozeßnetzwerke am Beispiel Paralleler Logischer Programmierung. 33-40 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#GlasserKL91 2002-02-12 RouMorS: Ein Routing- und Monitoring-System für große Transputernetze. 9-20 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#Schlierkamp-VoosenW89 2002-01-22 ESimAc - ein Beschleuniger für Mixed-Mode-Simulation. 353-360 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#GlocknerS91 2002-01-22 Parallele Bildfolgenanalyse von Wasseroberflächenwellen. 265-272 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#ScholzRWQJ91 2002-01-22 Anwendungen von Transputern zur Simulation von Prozessen im Boden- und Grundwasserbereich. 377-383 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#GraberM91 2002-02-12 3D-Grafik und Transputer: Die Parallelisierung von MiraShading, Sabrina und Miranim. 190-197 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#SchormannDB90 2003-05-27 Funktional parallele Lösung von Dekompositionsproblemen der mathematischen Optimierung. 139-146 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Grauer91 2002-01-28 Ein massiv paralleler, genetischer Algorithmus zur Lösung eines Bin-Packing-Problems. 172-181 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#SchwenderlingKV92 2002-01-22 Transputersysteme für topologieunabhängige Programmierung. 1-8 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#HatzB91 2002-01-28 Hierarchische Generierung von Formprimitiven als Basis der parallelen Bilderkennung. 275-284 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#SchwolleBPW92 2002-01-28 Simulation von Membranformen ohne implizite Symmetrie. 391-400 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#HektorSFG92 2002-02-12 Spezifikation einer Sprache zur Simulation von PRAM-Modellen und ihre Übersetzung nach OCCAM. 103-110 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#SeifertS90 2002-01-22 Ultraschall-Computertomographie an Aerosolen. 333-340 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Hofelmann91 2002-01-28 Zur Simulation von shared-memory auf Transputernetzwerken. 51-60 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#SeifertS92 2002-01-22 System zur autonomen Fahrzeugführung aufTransputerbasis. 217-223 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Holt91 2002-01-22 Eine objektorientierte Petrinetz-Sprache für Transputer-Systeme. 100-107 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Sonnenschein91 2002-01-28 Portable Parallele Applikationsprogrammierung mit PARMACS. 93-100 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#Hoppe92 2002-02-12 Photogrammetrische Auswertungen auf der Basis eines Transputer-Netzwerkes. 158-165 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#JeschkeKSW90 2002-01-28 Evolutionäre Algorithmen auf Transputerfarmen zur Lösung schwieriger Optimierungsprobleme. 164-171 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#SpraveS92 2002-02-12 Freikonfigurierbares Transputernetzwerk als "Compute-Server" und Bildverarbeitungssystem. 189-201 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#Junkes89 2002-02-12 Effiziente Lösung hochdimensionaler BOOLEscher Probleme mittels XBOOLE auf Transputer. 127-134 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#SteinbachK90 2002-01-28 Numerische Lösung ebener Probleme der linearen Elastizitätstheorie mit der direkten Randelementmethode auf einem MIMD-Parallelrechner. 265-274 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#KlaasKS92 2002-01-22 Physikalischer Multicast in Transputernetzen. 17-24 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#StocksK91 2002-01-22 Ein Verfahren zur Laufzeitrekonfigurierung von Transputersystemen. 25-32 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Klingler91 2002-02-12 Konzept für Datenverarbeitung in der 3D-Lichtmikroskopie. 135-142 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#StorzS90 2002-01-22 Realzeitzugriff auf ausgedehnte geometrische Objekte in einem Transputernetz. 194-200 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#KlingsporR91 2002-02-12 Ein System zur benutzerdefinierten Visualisierung von parallelen Programmen. 13-20 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#SturmN90 2002-01-22 Transputer in der Iterationstheorie ganzer transzendenter Funktionen. 147-154 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Krauskopf91 2002-02-12 UTOPIA, ein Bildverarbeitungssystem auch unter HELIOS. 202-209 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#ThielingFBMA89 2002-02-12 Parallele Lösung eines Verschnittproblems. 54-67 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#KrogerV89 2002-02-06 Echtzeit-Bildverarbeitung unter HELIOS am Beispiel der Bahnverfolgung von Objekten. 209-216 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#ThielingHMA91 2002-02-12 Parallele Implementierung einer funktionalen Programmiersprache auf einem Transputer-Mehrprozessor-System. 21-33 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#KuchenL89 2006-09-01 Selbstorganisierende Neuronale Netze auf Transputern. 194-203 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#UltschGKL92 2002-01-28 CANDELA - Eine Sprache zur Beschreibung von Topologien. 41-50 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#KuchenSL92 2002-01-22 Leistungsanalyse am Beispiel eines parallelen Mehrebenen-Logiksimulators. 49-56 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#UtrechtOP91 2002-02-12 Lastverteilungsstrategien auf Multicomputern. 1-8 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#KuchenW90 2002-01-28 Parallelisierungsmöglichkeiten formal spezifizierter Protokolle. 11-20 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#WemheuerB92 2002-01-28 Graph+C - Eine Graphische Programmiersprache für Transputer. 143-152 1992 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1992.html#Wirtz92 2002-02-12 Effizientes Broadcast auf Transputern. 35-42 1990 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1990.html#Wolf90 2002-01-22 GePaRD - Eine Programmierumgebung für MIMD-Parallelrechner. 60-67 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#Wolf91 2002-01-22 Echtzeitmeßdatenverarbeitung mittels Transputern am Beispiel eines elastischen Manipulators. 325-332 1991 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1991.html#WolffKF91 2002-02-12 Sichtsimulation für einen Fahrsimulator auf der Basis eines Transputer-Netzwerkes. 104-117 1989 Transputer-Anwender-Treffen http://www.informatik.uni-trier.de/~ley/db/conf/tat/tat1989.html#Zimmermann89 2004-09-28 Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002 Timing Issues in the Specification and Synthesis of Digital Systems 1-58113-526-2 2002 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html 2006-02-15 Statistical timing analysis using bounds and selective enumeration. 16-21 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589415 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#AgarwalBZV02 2006-02-15 Statistical timing analysis using bounds and selective enumeration. 29-36 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589417 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#AgarwalBZV02a 2006-02-15 A library compatible driving point model for on-chip RLC interconnects. 63-69 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589425 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#AgarwalSB02 2006-02-15 The statistical longest path problem and its application to delay analysis of logical circuits. 134-139 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589440 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#AndoYNM02 2006-02-15 Test structures for delay variability. 109 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589435 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#BoningPGNMGL02 2006-02-15 Determination of worst-case crosstalk noise for non-switching victims in GHz+ buses. 92-97 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589430 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#ChenH02 2006-02-15 A probabilistic approach to clock cycle prediction. 9-15 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589414 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#DambreSC02 2006-02-15 Efficient algorithms for debugging timing constraint violations. 50-56 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589423 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#Dasdan02 2006-02-15 Timing analysis challenges for high speed CPUs at 90nm and below. 42 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589420 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#EfratiK02 2006-06-02 Wireless interconnects for clock distribution. 105-108 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589433 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#FloydGCDHKK02 2006-02-15 PERI: a technique for extending delay and slew metrics to ramp inputs. 57-62 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589424 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#KashyapALD02 2006-02-15 Active shielding of RLC global interconnects. 98-104 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589431 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#KaulSB02 2006-02-15 From blind certainty to informed uncertainty. 37-41 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589419 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#KeutzerO02 2006-02-15 Reducing probabilistic timed petri nets for asynchronous architectural analysis. 140-147 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589441 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#KimTB02 2006-02-15 Transistor sizing of energy-delay--efficient circuits. 126-133 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589439 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#PenzesNM02 2006-02-15 Aggressive crunching of extracted RC netlists. 70-77 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589426 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#RaoSLY02 2006-04-19 Quadratic deferred-merge embedding algorithm for zero skew clock distribution network. 119-125 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589438 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#SaaiedAAN02 2006-02-15 Explicit computation of performance as a function of process variation. 1-8 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589413 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#Scheffer02 2006-02-15 Minimum-power retiming for dual-supply CMOS circuits. 43-49 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589422 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#SheikhKK02 2006-02-15 Performance optimization of single-phase level-sensitive circuits using time borrowing and non-zero clock skew. 111-118 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589437 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#TaskinK02 2006-02-15 Efficient switching window computation for cross-talk noise. 84-91 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589429 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#ThudiB02 2006-02-15 Worst case clock skew under power supply variations. 22-28 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589416 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#ZhaoGZFPRA02 2006-02-15 Clock schedule verification with crosstalk. 78-83 2002 Timing Issues in the Specification and Synthesis of Digital Systems http://doi.acm.org/10.1145/589411.589428 http://www.informatik.uni-trier.de/~ley/db/conf/tau/tau2002.html#Zhou02 2002-08-22 Integrity and Internal Control in Information Systems, IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems, Zurich, Switzerland, December 4-5, 1997 1997 109 0-412-82600-3 http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html 2002-08-22 Integrity and Internal Control in Information Systems, IFIP TC11 Working Group 11.5, Second Working Conference on Integrity and Internal Control in Information Systems: Bridging Business Requirements and Research Results, Warrenton, Virginia, USA, November 19-20, 1998 1998 136 0-412-84770-1 http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html 2002-08-22 Integrity and Internal Control in Information Systems, IFIP TC11 Working Group 11.5, Third Working Conference on Integrity and Internal Control in Information Systems: Strategic Views on the Need for Control, Amsterdam, The Netherlands, November 18-19, 1999 1999 165 0-7923-7821-0 http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html 2002-12-20 Integrity, Internal Control and Security in Information Systems: Connecting Governance and Technology, IFIP TC11/WG11.5 Fourth Working Conference on Integrity, Internal Control and Security in Information Systems, November 15-16, 2001, Brussels, Belgium IICIS 211 2002 1-4020-7005-5 http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html 2003-05-21 Integrity and Internal Control in Information Systems V, IFIP TC11/WG11.5 Fifth Working Conference on Integrity and Internal Control in Information Systems (IICIS), November 11-12, 2002, Bonn, Germany IICIS 251 2003 1-4020-7473-5 http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html 2002-01-03 Managing with Less than Absolute Integrity. 195-202 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Sheth97 2005-12-07 Assurance - What is it? 271-284 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#AbramsLS98 2003-12-10 Dynamic Integrity Constraints Definition and Enforcement in Databases: A Classification Framework. 65-87 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Silva97 2002-01-03 Maintaining Integrity Constraints and Security in real-Time Database Systems. 255-270 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#AhmedV98 2002-01-03 The Integrity Challenge. 59-70 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#AmmannJ99 2002-01-03 Application of Models from Epidemiology to Metrics for Computer Virus Risk. 131-145 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#AronG98 2002-01-03 Application of Models from Epidemiology to Metrics for Computer Virus Risk - A Brief Update. 179-184 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#AronG99 2002-01-03 View Constraints: An Interpretation of Integrity Constraints for Security. 237-252 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Asirelli97 2002-01-03 Firewall Policies Definition Tools: An Implementation Idea. 99-110 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#AsirelliF99 2003-05-21 The Constraint Operator of MedLan: Its Efficient Implementation and Use. 41-55 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#AsirelliRT98 2002-01-03 Modification of Integrity Constraints Through Knowledge Discovery. 191-209 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#Atluri98 2002-07-18 Diversity as a defense strategy in information systems. Does evidence from previous events support such an approach?. 77-94 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#BainFFW01 2002-07-18 Business process security. Managing the new security challenge with X-Tra Secure. 177-186 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#Wattel01 2002-08-21 Growing Dependency on IT: The Consequences Thereof for the Organization and for IT-Auditors. 57-74 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#Biene-Hershey98 2003-05-21 Concurrent Checking of Global Cross-database Integrity Constraints. 3-19 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#Bottche02 2002-01-03 Query Answering in Information Systems with Integrity Constraints. 113-130 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Bry97 2003-05-21 The Impact of Web Services on Audit. 151-172 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#Buchholz02 2003-05-21 Stop that Subversive Spreadsheet! 205-211 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#Chadwick02 2002-01-03 Information Integrity in End-User Systems. 273-292 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#ChadwickKC97 2002-01-03 COSO in the Worldbank. 1-10 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#ChoudhuryM99 2002-01-03 DEMIDS: A Misuse Detection System for Database Systems. 159-178 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#ChungGL99 2003-05-21 A Typical Model Audit Approac. 213-219 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#Croll02 2002-01-03 A Logical Formalization of Integrity Policies for Database Management Systems. 231-254 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#CuppensS98 2002-01-03 Definition of Integrity Policies For Web-based Applications. 85-98 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#DiazAP99 2002-01-03 Integrity Problems in Distributed Accounting Systems with Semantic ACID Properties. 147-158 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#Frank99 2003-05-21 Designing High Integrity Systems Using Aspects. 37-57 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#GeorgFR02 2003-05-21 Opportunities and Challenges in Tracing Security Breaches. 223-226 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#Gertz02 2002-01-03 Managing Data Quality and Integrity in Federated Databases. 211-230 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#Gertz98 2003-05-21 Monitoring Mission Critical Data for Integrity and Availability. 189-201 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#GertzC02 2002-01-03 An Extensible Framework for Repairing Constraint Violations. 89-111 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#GertzL97 2002-07-18 Implementation of the COBIT-3 maturity model in Royal Philips Electronics. 161-174 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#Gils01 2002-01-03 Integrity Constraint Enforcement in a Multidatabase Using Distributed Active Rules. 19-39 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#GomezU98 2002-07-18 Governing information technology through COBIT. 115-160 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#Guldentops01 2002-01-03 Establishing an Information Security Strategy. 1-21 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Guldentops97 2002-07-18 A cautionary note regarding the data integrity capacity of certain secure systems. 3-26 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#IrvineL01 2003-05-21 Increasing the Accuracy of Time-tabled Condition Monitoring. 21-35 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#JinE02 2002-07-18 Integrity and internal control in modern banking systems. 57-76 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#Jones01 2003-05-21 Towards Effect Preservation of Updates with Loops. 59-75 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#JurkB02 2002-01-03 Integrity and Internal Control in a Statistical Environment. 71-84 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#KellerR99 2002-01-03 Maintaining Temporal Integrity of World Wide Web pages. 43-63 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#KnolmayerB97 2003-05-21 Application Controls in a Client/Server Environment. 77-97 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#Koning02 2002-01-03 TOP: An Example of Complex Application Controls. 75-101 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#Korver98 2003-05-21 Integrity Mechanisms in German and International Payment Systems. 175-187 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#Kraus02 2002-01-03 A Model for Specifying Individual Integrity Constraints on Objects. 217-235 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Lahlou97 2002-01-03 Optimistic Concurrency Control for Maintaining the Global Integrity Constraint in MDBSs. 131-151 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#LeeP97 2002-01-03 Detecting Data Integrity Failures. 341-348 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#List97 2002-01-03 The Effects of Time on Integrity in Information Systems. 349-358 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#List97a 2002-01-03 Integrity in Information Systems. 295-340 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#ListM97 2002-01-03 Design Basis for Achieving Information Integrity - a Feedback Control System Approach. 169-190 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#MandkeN98 2002-01-03 Implementing Information Integrity Technology - A Feedback Control System Approach. 23-40 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#MandkeN99 2002-01-03 Control Models and Control Self Assessment: Results of a Survey of the IIA CSA Center. 11-22 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#MelvilleH99 2002-07-18 Establishing accounting principles as invariants of financial systems. 41-56 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#Minsky01 2002-01-03 Towards Continuously Auditable Systems. 23-41 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Minsky97 2002-01-03 Changing Definitions of Internal Control and Information Systems Integrity. 255-272 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Moeller97 2002-07-18 The information integrity imperative. 187-194 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#Nayar01 2002-01-03 Control of Information and Communication Technology: An Integrity Problem. 253-254 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Neisingh97 2003-06-05 Developing secure software. A survey and classification of common software vulnerabilities. 27-40 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#PiessensDW01 2005-11-30 The Very Brief History of Digital Evidence Standards. 135-143 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#Pollitt02 2002-01-03 Complex IT Environments: Ascertaining Information Integrity. 121-146 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#Poos99 2002-01-03 Propagating Integrity Information among Interrelated Databases. 5-18 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#RosenthalS98 2002-01-03 Integrity Control of Spreadsheets: Organisation & Tools. 147-168 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#RajalinghamC98 2002-01-03 Algebra for Databases with Explicit Markings of Damaged Data. 103-129 1998 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iic1998.html#RumoloJ98 2002-01-03 Efficient Methods for Checking Integrity: An Integrated Spreadsheet Engineering Methodology (ISEM). 41-58 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#RajalinghamCKE99 2003-05-21 Information Security: A Corporate Governance Issue. 115-133 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#SolmsS02 2003-05-21 Protecting Java Component Integrity Against Trojan Horse Programs. 99-113 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#WinandyCLS02 2003-05-21 Multi-representation: A New Paradigm for Databases. 143-149 2002 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2002.html#SpaccapietraVP02 2002-01-03 Integrity Testing in WWW Environment. 111-120 1999 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1999.html#StanekO99 2002-07-18 The way forward. 197-200 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#Strous01 2002-01-03 Integrity: Definition, Subdivision, Challenge. 187-194 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Strous97 2002-01-03 The Integrity of Electronic Evidence. 153-186 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Tenhunen97 2002-07-18 Data quality: developments and directions. 97-102 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#ThuraisinghamH01 2002-01-03 Integrity: Do you know where your Objects Are? 203-215 1997 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis1997.html#Wade97 2002-07-18 Security in electronic payment systems EMV and CEPs. 103-112 2001 IICIS http://www.informatik.uni-trier.de/~ley/db/conf/tc11-5/iicis2001.html#Ward01 2004-03-24 Theory of Cryptography, First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings TCC 2951 2004 3-540-21000-8 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html 2005-01-31 Theory of Cryptography, Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005, Proceedings 3378 3-540-24573-1 TCC 2005 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html 2006-03-03 Theory of Cryptography, Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings 3876 2006 3-540-32731-2 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html 2005-01-31 On Hardness Amplification of One-Way Functions. 34-49 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=34 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#LinTW05 2005-01-31 Public-Key Steganography with Active Attacks. 210-226 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=210 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#BackesC05 2004-03-24 Lower Bounds for Concurrent Self Composition. 203-222 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=203 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#Lindell04 2004-03-24 A General Composition Theorem for Secure Reactive Systems. 336-354 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=336 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#BackesPW04 2005-01-31 Efficiently Constructible Huge Graphs That Preserve First Order Properties of Random Graphs. 66-85 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=66 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#NaorNT05 2004-03-24 On the Possibility of One-Message Weak Zero-Knowledge. 121-132 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=121 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#BarakP04 2004-03-24 Soundness of Formal Encryption in the Presence of Active Adversaries. 133-151 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=133 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#MicciancioW04 2006-03-03 Efficient Multi-party Computation with Dispute Control. 305-328 2006 TCC http://dx.doi.org/10.1007/11681878_16 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#Beerliova-TrubiniovaH06 2005-01-31 The Relationship Between Password-Authenticated Key Exchange and Other Cryptographic Primitives. 457-475 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=457 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#Nguyen05 2006-03-03 On Matroids and Non-ideal Secret Sharing. 482-501 2006 TCC http://dx.doi.org/10.1007/11681878_25 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#BeimelL06 2004-03-24 Simpler Session-Key Generation from Short Random Passwords. 428-445 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=428 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#NguyenV04 2004-03-24 A Quantitative Approach to Reductions in Secure Computation. 238-257 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=238 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#BeimelM04 2006-03-03 Communication Efficient Secure Linear Algebra. 522-541 2006 TCC http://dx.doi.org/10.1007/11681878_27 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#NissimW06 2005-01-31 Characterizing Ideal Weighted Threshold Secret Sharing. 600-619 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=600 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#BeimelTW05 2006-03-03 Efficient Blind and Partially Blind Signatures Without Random Oracles. 80-99 2006 TCC http://dx.doi.org/10.1007/11681878_5 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#Okamoto06 2005-01-31 The Universal Composable Security of Quantum Key Distribution. 386-406 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=386 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#Ben-OrHLMO05 2006-03-03 On Error Correction in the Exponent. 167-183 2006 TCC http://dx.doi.org/10.1007/11681878_9 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#Peikert06 2006-03-03 Ring Signatures: Stronger Definitions, and Constructions Without Random Oracles. 60-79 2006 TCC http://dx.doi.org/10.1007/11681878_4 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#BenderKM06 2006-03-03 Efficient Collision-Resistant Hashing from Worst-Case Assumptions on Cyclic Lattices. 145-166 2006 TCC http://dx.doi.org/10.1007/11681878_8 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#PeikertR06 2005-01-31 Evaluating 2-DNF Formulas on Ciphertexts. 325-341 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=325 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#BonehGN05 2005-01-31 Relaxing Environmental Security: Monitored Functionalities and Client-Server Computation. 104-127 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=104 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#PrabhakaranS05 2004-03-24 On the Random-Oracle Methodology as Applied to Length-Restricted Signature Schemes. 40-57 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=40 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#CanettiGH04 2004-03-24 Notions of Reducibility between Cryptographic Primitives. 1-20 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=1 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#ReingoldTV04 2006-03-03 Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. 380-403 2006 TCC http://dx.doi.org/10.1007/11681878_20 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#CanettiH06 2005-01-31 Universally Composable Privacy Amplification Against Quantum Adversaries. 407-425 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=407 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#RennerK05 2005-01-31 Adaptively-Secure, Non-interactive Public-Key Encryption. 150-168 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=150 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#CanettiHK05 2004-03-24 On the Notion of Pseudo-Free Groups. 505-521 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=505 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#Rivest04 2005-01-31 Hardness Amplification of Weakly Verifiable Puzzles. 17-33 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=17 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#CanettiHS05 2004-03-24 A Note on Constant-Round Zero-Knowledge Proofs for NP. 191-202 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=191 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#Rosen04 2006-03-03 Mercurial Commitments: Minimal Assumptions and Efficient Constructions. 120-144 2006 TCC http://dx.doi.org/10.1007/11681878_7 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#CatalanoDV06 2004-03-24 Hierarchical Threshold Secret Sharing. 473-490 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=473 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#Tassa04 2005-01-31 Toward Privacy in Public Databases. 363-385 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=363 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#ChawlaDMSW05 2005-01-31 A New Cramer-Shoup Like Methodology for Group Based Provably Secure Encryption Schemes. 495-509 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=495 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#VascoMSV05 2004-03-24 Secret-Key Zero-Knowlegde and Non-interactive Verifiable Exponentiation. 223-237 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=223 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#CramerD04 2006-03-03 Finding Pessiland. 429-442 2006 TCC http://dx.doi.org/10.1007/11681878_22 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#Wee06 2005-01-31 Share Conversion, Pseudorandom Secret-Sharing and Applications to Secure Computation. 342-362 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=342 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#CramerDI05 2004-03-24 A Universally Composable Mix-Net. 317-335 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=317 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#Wikstrom04 2004-03-24 Computational Collapse of Quantum State with Application to Oblivious Transfer. 374-393 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=374 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#CrepeauDMS04 2006-03-03 Interactive Zero-Knowledge with Restricted Random Oracles. 21-40 2006 TCC http://dx.doi.org/10.1007/11681878_2 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#YungZ06 2006-03-03 Perfectly Secure Password Protocols in the Bounded Retrieval Model. 225-244 2006 TCC http://dx.doi.org/10.1007/11681878_12 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#CrescenzoLW06 2006-03-03 Unconditionally Secure Constant-Rounds Multi-party Computation for Equality, Comparison, Bits and Exponentiation. 285-304 2006 TCC http://dx.doi.org/10.1007/11681878_15 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#DamgardFKNT06 2004-03-24 Unfair Noisy Channels and Oblivious Transfer. 355-373 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=355 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#DamgardFMS04 2006-03-03 Non-interactive Zero-Knowledge from Homomorphic Encryption. 41-59 2006 TCC http://dx.doi.org/10.1007/11681878_3 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#DamgardFN06 2006-03-03 Games and the Impossibility of Realizable Ideal Functionality. 360-379 2006 TCC http://dx.doi.org/10.1007/11681878_19 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#DattaDMRS06 2005-01-31 On the Relationships Between Notions of Simulation-Based Security. 476-494 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=476 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#DattaKMR05 2005-01-31 Upper and Lower Bounds on Black-Box Steganography. 227-244 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=227 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#DedicIRR05 2005-01-31 Error Correction in the Bounded Storage Model. 578-599 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=578 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#Ding05 2004-03-24 Constant-Round Oblivious Transfer in the Bounded Storage Model. 446-472 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=446 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#DingHRS04 2005-01-31 Chosen-Ciphertext Security of Multiple Encryption. 188-209 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=188 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#DodisK05 2006-03-03 On the Relation Between the Ideal Cipher and the Random Oracle Models. 184-206 2006 TCC http://dx.doi.org/10.1007/11681878_10 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#DodisP06 2006-03-03 Separating Sources for Encryption and Secret Sharing. 601-616 2006 TCC http://dx.doi.org/10.1007/11681878_31 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#DodisPP06 2005-01-31 Entropic Security and the Encryption of High Entropy Messages. 556-577 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=556 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#DodisS05 2006-03-03 Threshold and Proactive Pseudo-Random Permutations. 542-560 2006 TCC http://dx.doi.org/10.1007/11681878_28 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#DodisYY06 2006-03-03 Calibrating Noise to Sensitivity in Private Data Analysis. 265-284 2006 TCC http://dx.doi.org/10.1007/11681878_14 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#DworkMNS06 2004-03-24 List-Decoding of Linear Functions and Analysis of a Two-Round Zero-Knowledge Argument. 101-120 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=101 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#DworkSST04 2006-03-03 Intrusion-Resilience Via the Bounded-Storage Model. 207-224 2006 TCC http://dx.doi.org/10.1007/11681878_11 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#Dziembowski06 2006-03-03 Round-Optimal and Efficient Verifiable Secret Sharing. 329-342 2006 TCC http://dx.doi.org/10.1007/11681878_17 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#FitziGGRS06 2005-01-31 Keyword Search and Oblivious Pseudorandom Functions. 303-324 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=303 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#FreedmanIPR05 2004-03-24 Efficient and Universally Composable Committed Oblivious Transfer and Applications. 297-316 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=297 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#Garay04 2006-03-03 Resource Fairness and Composability of Cryptographic Protocols. 404-428 2006 TCC http://dx.doi.org/10.1007/11681878_21 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#GarayMPY06 2004-03-24 Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering. 258-277 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=258 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#GennaroLMMR04 2005-01-31 Proof of Plaintext Knowledge for the Ajtai-Dwork Cryptosystem. 529-555 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=529 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#GoldwasserK05 2004-03-24 Transformation of Digital Signature Schemes into Designated Confirmer Signature Schemes. 77-100 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=77 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#GoldwasserW04 2004-03-24 Rerandomizable and Replayable Adaptive Chosen Ciphertext Attack Secure Cryptosystems. 152-170 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=152 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#Groth04 2005-01-31 _n. 50-65 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=50 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#Groth05 2004-03-24 Implementing Oblivious Transfer Using Collection of Dense Trapdoor Permutations. 394-409 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=394 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#Haitner04 2004-03-24 Universally Composable Commitments Using Random Oracles. 58-76 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=58 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#HofheinzM04 2005-01-31 Comparing Two Notions of Simulatability. 86-103 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=86 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#HofheinzU05 2005-01-31 Fair-Zero Knowledge. 245-263 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=245 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#LepinskiMS05 2005-01-31 How to Securely Outsource Cryptographic Computations. 264-282 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=264 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#HohenbergerL05 2006-03-03 Pseudorandom Generators from One-Way Functions: A Simple Construction for Any Hardness. 443-461 2006 TCC http://dx.doi.org/10.1007/11681878_23 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#Holenstein06 2006-03-03 Polylogarithmic Private Approximations and Efficient Matching. 245-264 2006 TCC http://dx.doi.org/10.1007/11681878_13 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#IndykW06 2005-01-31 Sufficient Conditions for Collision-Resistant Hashing. 445-456 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=445 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#IshaiKO05 2005-01-31 Further Simplifications in Proactive RSA Signatures. 510-528 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=510 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#JareckiS05 2004-03-24 On Compressing Encrypted Data without the Encryption Key. 491-504 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=491 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#JohnsonWR04 2006-03-03 PRF Domain Extension Using DAGs. 561-580 2006 TCC http://dx.doi.org/10.1007/11681878_29 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#Jutla06 2005-01-31 Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs. 128-149 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=128 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#KatzL05 2006-03-03 Chosen-Ciphertext Security from Tag-Based Encryption. 581-600 2006 TCC http://dx.doi.org/10.1007/11681878_30 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#Kiltz06 2005-01-31 Secure Computation of the Mean and Related Statistics. 283-302 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=283 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#KiltzLM05 2006-03-03 Key Exchange Using Passwords and Long Keys. 100-119 2006 TCC http://dx.doi.org/10.1007/11681878_6 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#KolesnikovR06 2006-03-03 Secure Computation with Partial Message Loss. 502-521 2006 TCC http://dx.doi.org/10.1007/11681878_26 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#Koo06 2006-03-03 On the Complexity of Parallel Hardness Amplification for One-Way Functions. 462-481 2006 TCC http://dx.doi.org/10.1007/11681878_24 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#Lu06 2004-03-24 Alternatives to Non-malleability: Definitions, Constructions, and Applications (Extended Abstract). 171-190 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=171 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#MacKenzieRY04 2006-03-03 Generalized Environmental Security from Number Theoretic Assumptions. 343-359 2006 TCC http://dx.doi.org/10.1007/11681878_18 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#MalkinMY06 2004-03-24 Composition of Random Systems: When Two Weak Make One Strong. 410-427 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=410 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#MaurerP04 2004-03-24 Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology. 21-39 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=21 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#MaurerRH04 2005-01-31 Optimal Error Correction Against Computationally Bounded Noise. 1-16 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=1 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#MicaliPSW05 2004-03-24 Physically Observable Cryptography (Extended Abstract). 278-296 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2951&spage=278 2004 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2004.html#MicaliR04 2006-03-03 Concurrent Zero Knowledge Without Complexity Assumptions. 1-20 2006 TCC http://dx.doi.org/10.1007/11681878_1 http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2006.html#MicciancioOSV06 2005-01-31 Adaptive Security of Symbolic Encryption. 169-187 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=169 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#MicciancioP05 2005-01-31 A Universally Composable Secure Channel Based on the KEM-DEM Framework. 426-444 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3378&spage=426 2005 TCC http://www.informatik.uni-trier.de/~ley/db/conf/tcc/tcc2005.html#NagaoMO05 2005-02-03 E-Government: Towards Electronic Democracy, International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005, Proceedings 3416 3-540-25016-6 TCGOV 2005 http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html 2005-02-03 Towards a Semantically-Driven Software Engineering Environment for eGovernment. 157-168 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=157 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#ApostolouSLT05 2005-02-03 Web-Based Tools for Policy Evaluation. 13-24 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=13 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#BerntzenW05 2005-07-18 Model Driven Security for Inter-organizational Workflows in e-Government. 122-133 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=122 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#BreuHWN05 2005-02-03 A Protocol for Anonymous and Accurate E-Polling. 112-121 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=112 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#BruschiFL05 2006-11-17 Interactive Tools for e-Democracy: Examples from Switzerland. 36-47 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=36 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#ChappeletK05 2005-02-03 <i>e-</i>Government Cooperative Processes. 181-192 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=181 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#ContentiMTB05 2005-02-03 e-Government: A Legislative Ontology for the 'SIAP' Parliamentary Management System. 134-146 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=134 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#CostillaPCV05 2005-02-03 A Zero Knowledge Proof for Subset Selection from a Family of Sets with Applications to Multiparty/Multicandidate Electronic Elections. 100-111 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=100 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#DimitriouF05 2005-02-03 Good Practice in e-Government: Management over Methods?. 257-267 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=257 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#Eddowes05 2005-02-03 An Integrated Approach in Healthcare e-Procurement: The Case-Study of the ASL of Viterbo. 298-309 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=298 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#Federici05 2005-02-03 Urban Versus Regional Divide: Comparing and Classifying Digital Divide. 81-90 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=81 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#FerroCP05 2005-02-03 e-Citizen: Why Waiting for the Governments? 91-99 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=91 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#Filho05 2005-02-03 Towards Requirements for a Reference Model for Process Orchestration in e-Government. 169-180 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=169 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#GortmakerJW05 2005-02-03 A Methodology Framework for Calculating the Cost of e-Government Services. 247-256 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=247 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#Hadzilias05 2005-02-03 Public eProcurement in Action: Policies, Practices and Technologies. 286-297 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=286 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#HardyW05 2005-02-03 Third Way e-Government: The Case for Local Devolution. 70-80 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=70 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#Kolsaker05 2005-02-03 Enhancing e-Democracy Via Fiscal Transparency: A Discussion Based on China's Experience. 57-69 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=57 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#Lan05 2005-02-03 Towards Building E-Government on the Grid. 205-212 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=205 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#LiLC05 2005-02-03 Using Weblogs to Support Local Democracy. 1-12 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=1 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#MacintoshMS05 2005-08-05 Applying the ISO RM-ODP Standard in E-Government. 213-224 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=213 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#MeneklisKPD05 2005-02-03 eGovernment Service Marketplace: Architecture and Implementation. 193-204 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=193 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#MugelliniPKP05 2005-02-03 Participatory Budget Formation Through the Web. 268-276 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=268 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#RiosIFR05 2005-02-03 "Public Budget Dialogue" - An Innovative Approach to E-Participation. 48-56 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=48 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#RoederPMMS05 2005-02-03 On the Transition to an Open Source Solution for Desktop Office Automation. 277-285 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=277 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#RossiRZS05 2005-02-03 Quixote: Supporting Group Decisions Through the Web. 225-234 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=225 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#RubioIRF05 2005-02-03 No (e-)Democracy Without (e-)Knowledge. 147-156 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=147 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#Sacco05 2005-02-03 Can Online Map-Based Applications Improve Citizen Participation?. 25-35 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=25 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#SteinmannKB05 2005-02-03 UNICAP: Efficient Decision Support for Academic Resource and Capacity Management. 235-246 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3416&spage=235 2005 TCGOV http://www.informatik.uni-trier.de/~ley/db/conf/tcgov/tcgov2005.html#VinnikS05 2006-09-19 Technologies for Collaborative Business Process Management, Proceedings of the 1st International Workshop on Technologies for Collaborative Business Process Management, TCoB 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006 978-972-8865-57-3 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html 2006 2006-09-19 On Collaborations and Choreographies. 3-12 2006 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html#BrunoBR06 2006-09-19 Extracting and Maintaining Project Knowledge Using Ontologies. 72-83 2006 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html#FitsilisGK06 2006-09-19 A Multi-level Modeling Framework for Designing and Implementing Cross-Organizational Business Processes. 13-23 2006 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html#GreinerLKZJ06 2006-09-19 Migrating BDIFS from a Peer-to-Peer Design to a Grid Service Architecture. 42-51 2006 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html#KirkhamV06 2006-09-19 Workflow Semantic Description for Inter-organizational Cooperation. 62-71 2006 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html#MBareckT06 2006-09-19 Towards a Coordination Model for Web Services. 24-32 2006 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html#MaamarNT06 2006-09-19 Using Multi-Agent Systems for Change Management Processes in the Context of Distributed Software Development Processes. 33-41 2006 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html#MarkwardtMOR06 2006-09-19 Research on Enterprise Interoperability - Aspects and Solution Approaches. 2006 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html#Ruggaber06 2006-09-19 Semantic Web Services Composition for the Mass Customization Paradigm. 52-61 2006 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html#SamBH06 2006-09-19 Collaborative Business Process Lifecycles. 84-96 2006 Technologies for Collaborative Business Process Management http://www.informatik.uni-trier.de/~ley/db/conf/tcob/tcob2006.html#WalterW06 2002-10-30 Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany, March 28-30, 1977, Proceedings Theoretical Computer Science 48 1977 3-540-08138-0 http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html 2002-12-23 Theoretical Computer Science, 4th GI-Conference, Aachen, Germany, March 26-28, 1979, Proceedings Theoretical Computer Science 67 1979 3-540-09118-1 http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html 2002-02-07 Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings Theoretical Computer Science 104 1981 3-540-10576-X http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html 2002-10-09 Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings Theoretical Computer Science 145 1982 3-540-11973-6 http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html 2002-10-30 systèmes schématiques généralises. 184-189 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Kott77 2003-05-27 A comparative study of one-counter Ianov schemes. 83-95 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#AEKT77 2002-10-30 Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen. 123-131 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Alt77 2002-02-07 Cycle-Free N-Algebraic Systems. 5-12 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Kuich81 2002-10-30 Gylindres de languages simples et pseudo-simples. 149-153 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Autebert77 2002-10-09 Complexity theory on real numbers and functions. 165-174 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#KreitzW83 2002-02-07 Un resultat de discontinuité dans les familles de langages. 64-69 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Autebert81 2002-10-09 A multifit algorithm for uniform multiprocessor scheduling. 175-185 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Kunde83 2002-02-07 P-Complete Problems in Free Groups. 42-51 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#AvenhausM81 2002-12-23 Sur deux langages linéaires. 182-189 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Latteux79 2002-10-09 Interprocedural data flow systems. 49-59 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Barth83 2002-10-30 ². 339-350 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Monien77 2005-07-05 Centers of Languages. 245-251 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#BassonN81 2002-02-07 Reachability Analysis with Assertion Systems. 214-223 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Muller81 2002-12-23 Strong Non-Deterministic Context-Free Languages. 47-57 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Beauquier79 2002-10-09 A general scheme for some deterministically parsable grammars and their strong equivalents. 243-255 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#NijholtP83 2002-10-09 On the crossing-free, rectangular embedding of weighted graphs in the plane. 61-72 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Becker83 2002-10-09 A decidability result about sufficient-completeness of axiomatically specified abstract data types. 257-268 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#NipkowW83 2002-12-23 Information Content Characterizations of Complexity Theoretic Properties. 58-66 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Bennison79 2002-02-07 On alpha-balanced Binary Search Trees. 98-108 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Olivie81 2002-10-30 On polynomial time isomorphisms of complete sets. 1-16 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#BermanH77 2002-12-23 Node-Visit Optimal 1-2 Brother Trees. 213-221 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#OttmannRSW79 2002-10-09 Discreteness, k-density and d-continuity of occurrence nets. 73-83 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#BestM83 2002-02-07 Dynamization of Decomposable Searching Problems Yielding Good Worsts-Case Bounds. 224-233 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#OvermarsL81 2002-10-30 A syntactic connection between proof procedures and refutation prcedures. 215-225 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Bibel77 2002-02-07 A Decidable Property of Iterated Morphisms. 152-158 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Pansiot81 2003-11-06 Mittlere Anzahl von Rebalancierungsoperationen in gewichtsbalancierten Bäumen. 67-78 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#BlumM79 2002-10-09 Theory of concurrency control. 35-47 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Papadimitriou83 2002-12-23 Move Rules and Trade-Offs in the Pebble Game. 101-112 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#BoasL79 2002-10-09 Two remarks on the power of counting. 269-276 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#PapadimitriouZ83 2002-10-30 Un langage algébrique non-générateur. 145-148 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Boasson77 2002-02-07 Concurrency and Automata on Infinite Sequences. 167-183 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Park81 2002-12-23 Context-Free Sets of Infinite Words. 1-9 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Boasson79 2002-10-30 New bounds on formula size. 17-26 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Paterson77 2002-02-07 Some Applications of CFL's over Infinte Alphabets. 146-151 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Boasson81 2002-12-23 A Graph Theoretic Approach to Determinism versus Non-Determinism. 222-232 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#PaulR79 2002-02-07 (Erasing)* Strings. 252-259 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#BookJW81 2002-10-30 Codes et sous-monoides possedant des mots neutres. 270-281 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#PerriS77 2002-10-09 Controlled relativizations of P and NP. 85-90 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#BookLS83 2002-10-30 Informationque et algébre la theorie des codes a longueur variable. 27-44 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Perrot77 2002-12-23 A new Recursion Induction Principle. 79-90 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Boudol79 2002-12-23 Une caractérisation de trois variétés de langages bien connues. 233-243 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Pin79 2002-10-30 On one-way auxiliary pushdown automata. 132-144 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Brandenburg77 2002-02-07 Un analogue du théorème des variétés pour les cones et les cylindres. 78-90 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Pin81 2002-02-07 On the Height of Syntactical Graphs. 13-21 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Brandenburg81 2002-10-09 Some operations and transductions that preserve rationality. 277-288 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#PinS83 2002-10-09 The computational complexity of certain graph grammars. 91-99 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Brandenburg83 2002-10-09 On algebras of computation sequences and proofs of equivalence of operational and denotational semantics. 289-300 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Poigne83 2002-12-23 Finite-Change Automata. 91-100 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#BraunmuhlV79 2002-12-23 Über eine minimale universelle Turing-Maschine. 244-259 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Priese79 2002-10-30 Ein vollständiges Problem auf der Baummaschine. 391-406 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Bremer77 2002-10-30 Eigenschaften färbbarer Petri-Netze. 306-318 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Prinoth77 2002-02-07 Prefix-Preservation fo Rational Partial Functions Is Decidable. 159-166 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Choffrut81 2002-12-23 Sur les variétés de langages et de monoídes. 260-265 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Reutenauer79 2002-10-09 Partial functions in constructive formal theories. 1-18 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Constable83 2002-10-30 Über Netzwerkgrößen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten Operationen. 368-390 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#ReynvaanS77 2002-10-30 On a description of tree-languages by languages. 45-50 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Courcelle77 2002-10-30 Familles de languages fermées par crochet et crochet ouvert. 154-168 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Rodriguez77 2002-10-30 Higher type program schemes and their tree languages. 51-72 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Damm77 2003-06-30 Automaten in planaren Graphen. 266-275 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Rollik79 2002-10-30 Grobstrukturen für kontextfreie Grammatiken. 96-105 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Dieterich77 2002-02-07 Computable Algebras, Word Problems and Canonical Term Algebras. 203-213 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#KlaerenS81 2002-02-07 On the Subword Complexity and Square-Freeness of Formal Languages. 1-4 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#EhrenfeuchtR81 2002-12-23 Théorème de transversale rationnelle pour les automates à pile déterministes. 276-285 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Sakarovitch79 2002-10-30 Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten. 234-258 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Eichner77 2002-02-07 Netzwerke zur simultanen Berechnung Boolescher Funktionen. 32-40 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Sattler81 2002-10-09 Inconsistencies of pure LISP. 101-110 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#EickF83 2002-10-30 Über die Länge einer Berechnung bei linearer Parameter-abhängigkeit der Operationszeit. 407-413 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Schauerte77 2002-10-30 Strukturelle Untersuchungen zur schwersten kontextfreien Sprache. 106-122 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Estenfeld77 2002-10-30 Struktur von Programmbündeln. 226-233 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Schinzel77 2002-10-09 Fifo nets: a new model of parallel computation. 111-121 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#FinkelM83 2002-02-07 A Family of Graphs with Expensive Depth-Reduction. 91-97 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Schnitger81 2002-12-23 Transition Diagrams and Strict Deterministic Grammars. 113-123 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Friede79 2002-10-30 An algorithm for stransitive closure with linear expected time. 329-338 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Schnorr77 2002-12-23 Exact Expressions for some Randomness Tests. 124-131 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Gacs79 2002-12-23 On the Additive Complexity of Polynomials and some New Lower Bounds. 286-297 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Schnorr79 2002-12-23 On Storage Optimization for Automatically Generated Compilers. 132-141 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Ganzinger79 2002-10-09 Monte-Carlo factoring algorithm with finite storage. 19-33 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Schnorr83 2002-10-30 Aspects of unbounded parallelism. 292-305 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Gati77 2002-12-23 Storage Modification Machines. 36-37 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Schonhage79 2002-10-09 Une extension aux mots infinis de la notion de transduction rationelle. 123-139 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Gire83 2002-10-09 Sur les morphismes qui engendrent des mots infinis ayant des facteurs prescrits. 301-311 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Seebold83 2002-10-09 Algebraic and operational semantics of exceptions and errors. 141-151 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#GogollaDLE83 2002-10-09 The equivalence problem for N.T.S. languages is decidable. 313-323 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Senizergues83 2002-12-23 On Continuous Completions. 142-152 1979 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1979.html#Guessarian79 2002-10-09 Weakest expressible preconditions: a new tool for proving completeness results about Hoare calculi. 325-334 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Sieber83 2002-02-07 Dynamic k-Dimensional Multiway Search under Time-Varying Access Frequencies. 135-145 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#GutingK81 2002-10-30 Das Normalisierungsproblem und er Zusammenhang mit der Zeitkomplexität der Kontextsensitiven Analyse. 351-367 1977 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1977.html#Stadel77 2002-02-07 Erzeugung optimalen Codes für Series - Parallel Graphs. 109-122 1981 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1981.html#Guttler81 2002-10-09 A hierarchy of sets of infinite trees. 335-342 1983 Theoretical Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/tcs/tcs1983.html#Thomas83 2002-10-09 Efficiency of universal parallel computers. 221-241 1983 Theoretical Computer Science http://www.informatik.un