]> 2006-12-06 Delegatable Authorization Program and Its Application. 267-273 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-1.html#RuanVZ03 2006-12-06 Simultaneous Data Compression and Encryption. 558-563 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-2.html#Wang03 2006-12-06 Legal File and Profit Sharing in a Peer to Peer Network. 141-146 2004 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2004.html#Ruffo04 2006-12-06 Connputer - A Framework of Intrusion-Free Secure Computer Architecture. 220-225 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#WangSL06 2006-12-06 Role Authentication for Secure DBMS. 304-312 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#RyooKJ05 2006-12-06 A New Secure Authentication Scheme Based Threshold ECDSA For Wireless Sensor Network. 129-133 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#WangWT06 2006-12-06 KDD Feature Set Complaint Heuristic Rules for R2L Attack Detection. 310-316 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-1.html#SabhnaniS03 2006-12-06 Towards an Authentication Protocol for Service Outsourcing Over IP Networks. 3-9 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#WangZL05 2006-12-06 Formulation of a Heuristic Rule for Misuse and Anomaly Detection for U2R Attacks in Solaris Operating System Environment. 390-396 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-2.html#SabhnaniS03a 2006-12-06 Incorporating Attacker Behavior in Stochastic Models of Security. 79-85 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#SallhammarHK05 2006-12-06 Intrusion Detection with Agent-Based System. 149-154 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#Wasniowski05 2006-12-06 Framework for realizing Mobile and Computer Communications through Color Signals. 494-500 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#Sanyal06 2006-12-06 Network Intrusion Detection System with Data Mart. 240-244 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#Wasniowski06 2006-12-06 Tolerating Intrusions in Grid Systems. 207-220 2004 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2004.html#SardinhaNV04 2006-12-06 On Intelligent Agent-based Decoy Systems. 10-16 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#WeiS05 2006-12-06 Securing Collaborative Applications. 501-508 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#SastryCM06 2006-12-06 Identifying Requirements for Network Security Software. 539-543 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-2.html#WhiteA03 2006-12-06 A Proposal for an Automated Approach to Real Time Profiling of IT Security Compromises. 402-407 2004 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2004.html#Saylani04 2006-12-06 Implementing Policy-Based Content Filtering for Web Servers. 226-232 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-1.html#WhiteB03 2006-12-06 Stochastic Modeling of Worm Propagation in Trusted Networks. 482-488 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#Sehgal06 2006-12-06 Using Synthetic Decoys to Digitally Watermark Personally-Identifying Data and to Promote Data Security. 91-99 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#WhiteT06 2006-12-06 Enterprise Wide Centralized Logging Mechanism for Application Level Intrusion Detection. 144-148 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#ShaikhRZS05 2006-12-06 Ouflanking and Securely Using the PIN/TAN-System. 313-319 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#WiesmaierFLB05 2006-12-06 A Systematic Approach to Security Deployment in a Networking Environment. 228-234 2004 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2004.html#SheuTM04 2006-12-06 Mechanism-Based PKI - A Real-Time Key Generation from Fingerprints. 468-474 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#ShibataMTN06 2006-12-06 The Key Authority - Secure Key Management in Hierarchical Public Key Infrastructures. 89-93 2004 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2004.html#WiesmaierLK04 2006-12-06 The Role of Standards in Medical Information Security: An Opportunity for Improvement. 415-420 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#Williams06 2006-12-06 Security Immunization Using Basic Countermeasures. 426-434 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#Williams06a 2006-12-06 Known Session Key Attack Against a Collection of Signcryption Schemes. 119-126 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#WongW05 2006-12-06 Dynamic Integrity Verification for Software Self-defense. 327-333 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#WooHCY05 2006-12-06 Data Security and wireless networks: mutually exclusive? 404-409 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#Woodward06 2006-12-06 Secure IP Multicast for DMS. 163-167 2004 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2004.html#WuSX04 2006-12-06 ²ⁿ⁺¹(2). 241-247 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-1.html#WuXS03 2006-12-06 Security Analysis of A Proxy Signature Scheme Based on the Elliptic Curve Cryptosystem. 58-64 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#WuZC05 2006-12-06 Security Vulnerabilities in the Trust-List PKI. 72-77 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-1.html#XenitellisJ03 2006-12-06 Boolean Functions with Good Properties. 294-299 2004 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2004.html#XiaSW04 2006-12-06 Trust Management for Mobile IPv6 Binding Update. 469-474 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-2.html#Xiao03 2006-12-06 Online Fraud Detection System Based on Non-Stationery Anomaly Detection. 364-370 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#XuSL05 2006-12-06 Architectural Framework Design for Authentication Mechanism in Mobile Adhoc Networks (MANETs). 357-363 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#YakkaliV06 2006-12-06 Implementing a Prototype of the Security Framework for Distributed Brokering Systems. 212-218 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-1.html#YanHFPPKT03 2006-12-06 The Value of Hardware-Based Security Solutions and its Architecture for Security Demanding Wireless Services. 509-514 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#YangHYGLCG06 2006-12-06 Design of a Fault-Tolerant Mechanism for Multi-Agent Based Intrusion Detection System. 190-198 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-1.html#YiBH03 2006-12-06 An XML-Based Impact Analysis Using Security Management with IAVN. 217-220 2004 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2004.html#YooLC04 2006-12-06 A Secret Key Based Authentication Scheme Using Smart Cards. 65-71 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#YoonJKY05 2006-12-06 Robust Multimedia Authentication in Mobile Multicast Environment. 551-557 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-2.html#YoonKS03 2006-12-06 Cryptanalysis of A Key Authentication Scheme Based on Discrete Logarithms. 72-78 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#YoonRKY05 2006-12-06 Developing Secure Web Services for Computational Portals. 367-372 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-2.html#YounPF03 2006-12-06 TRINETR: Facilitating Alerts Analysis and Response Decision Making. 448-455 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#YuRR06 2006-12-06 A Knowledge-Based Alert Evaluation and Security Decision Support Framework. 194-200 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#YuRSR05 2006-12-06 Software Vaccine Technique and Its Application in Early Virus. 335-340 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#YuanY06 2006-12-06 TCP SYN Flood Sensor for Internet Backbone. 359-364 2004 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2004.html#ZafarZ04 2006-12-06 An approach to the formal verification of the three-principal security protocols. 163-169 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#ZhangLF05 2006-12-06 Cooperative Mechanism Against DDoS Attacks. 86-96 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#ZhangP05 2006-12-06 Comparison of Two Sampling-Based Data Collection Mechanisms for Intrusion Detection System. 261-265 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#ZhaoHGZY06 2006-12-06 An ID-based Anonymous Proxy Signature From Bilinear Pairings. 138-144 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#ZhaoTLZ06 2006-12-06 Establishing Trustworthy Terminal with Smart Card. 277-282 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#ZhengL05 2006-12-06 On Achieving Trustworthy SOA-Based Web Services. 341-350 2006 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2006.html#ZhengLL06 2006-12-06 Economic Perspective of Information Security. 527-533 2003 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2003-2.html#ZhuD03 2006-12-06 A Prediction and Early Warning Model for Hacker Attacks. 111-118 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#ZouZ05 2006-12-06 Network Vertical Intrusion Model (NetVIM). 176-179 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#dAuriol05 2006-12-06 A Conceptual Space Model for Intrusion Detection. 133-139 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#dAuriolA05 2006-12-06 A State Transition Model Case Study for Intrusion Detection Systems. 186-192 2004 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2004.html#dAuriolS04 2006-12-06 A Computation-Communication Sequencing Model for Intrusion Detection Systems. 140-143 2005 Security and Management http://www.informatik.uni-trier.de/~ley/db/conf/csreaSAM/csreaSAM2005.html#dAuriolS05 2002-01-03 Cognitive Technology: Instruments of Mind, 4th International Conference, CT 2001, Warwick, UK, August 6-9, 2001, Proceedings Cognitive Technology 2117 2001 3-540-42406-7 http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html 2002-01-03 "The End of The (Dreyfus) Affair": (Post)Heideggerian Meditations on Man, Machine, and Meaning. 149-156 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170149.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Ali01 2002-01-03 How Group Working Was Used to Provide a Constructive Computer-Based Learning Environment. 203-213 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170203.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#BarkerB01 2002-01-03 The Computer as Instrument. 476-489 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170476.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#BeynonCHMRRRRWW01 2002-01-03 Interactive Situation Models for Cognitive Aspects of User-Artefact Interaction. 356-372 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170356.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#BeynonRWW01 2002-01-03 The Space of Cognitive Technology: The Design Medium and Cognitive Properties of Virtual Space. 55-56 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170055.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Biocca01 2002-01-03 Extended Abstract Mapping the Semantic Asymmetries of Virtual and Augmented Reality Space. 117-122 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170117.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#BioccaLGB01 2002-07-29 Cognitive Dimensions of Notations: Design Tools for Cognitive Technology. 325-341 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170325.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#BlackwellBCGGKKLNPRRWY01 2002-01-03 Freeing Machines from Cartesian Chains. 95-108 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170095.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Boekhorst01 2002-01-03 Experimental Politics: Ways of Virtual Worldmaking. 432-441 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170432.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#BordersB01 2002-01-03 The Plausibility Problem: An Initial Analysis. 289-300 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170289.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#BoulayL01 2002-01-03 Work, Workspace, and the Workspace Portal. 421-431 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170421.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#BrophyV01 2002-01-03 Abstract: Victorian Data Processing - When Software Was People. 164 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170164.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Campbell-Kelly01 2002-01-03 Embodiment, Perception, and Virtual Reality. 83-94 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170083.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Chan01 2002-01-03 Critique of Pure Technology. 463-475 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170463.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#ChanG01 2003-07-07 New Visions of Old Models. 157-163 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170157.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#ChimirH01 2002-01-03 Natural-Born Cyborgs? 17-24 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170017.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Clark01 2002-01-03 The Narrative Intelligence Hypothesis: In Search of the Transactional Format of Narratives in Humans and Other Social Animals. 248-266 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170248.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Dautenhahn01 2002-01-03 The Cognitive Effects of Delayed Visual Feedback: Working Memory Disruption While Driving in Virtual Environments. 75-82 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170075.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#DayHR01 2002-01-03 Neuro-Psycho-Computational Technology in Human Cognition under Bilingualism. 214-225 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170214.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Derkach01 2002-01-03 Mediated Faces. 373-390 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170373.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Donath01 2002-01-03 Virtual Mental Space: Interacting with the Characters of Works of Literature. 282-288 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170282.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Galitsky01 2002-01-03 Woven Stories as a Cognitive Tool. 233-247 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170233.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#GerdtKLS01 2002-01-03 Building Rules. 267-281 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170267.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#GoldsteinKNP01 2002-01-03 Experiment as an Instrument of Innovation: Experience and Embodied Thought. 130-140 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170130.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Gooding01 2002-01-03 Cognitive Technology: Tool or Instrument? 1-16 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170001.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#GorayskaMM01 2002-01-03 Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach. 391-404 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170391.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#GurrH01 2002-01-03 Can We Afford It? Issues in Designing Transparent Technologies. 141-148 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170141.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Halloran01 2002-01-03 Digital Image Creation and Analysis as a Means to Examine Learning and Cognition. 226-232 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170226.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Hokanson01 2002-01-03 Presence and the Role of Activity Theory in Understanding: How Students Learn in Virtual Learning Environments. 123-129 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170123.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#JelfsW01 2002-01-03 The Cognitive Dimensions of an Artifact vis-à-vis Individual Human Users: Studies with Notations for the Temporal Specification of Interactive Systems. 342-355 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170342.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#KutarNBJ01 2002-01-03 Computational Infrastructure for Experiments in Cognitive Leverage. 490-520 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170490.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#LandauerB01 2002-01-03 Fact and Artifact: Reification and Drift in the History and Growth of Interactive Software Systems. 25-39 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170025.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#LoomesN01 2002-01-03 Sense from a Sea of Resources: Tools to Help People Piece Information Together. 175-189 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170175.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#LunzerT01 2002-01-03 The Relationship between the Arrangement of Participants and the Comfortableness of Conversation in HyperMirror. 109-116 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170109.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#MorikawaM01 2002-01-03 Human Identity in the Age of Software Agents. 442-451 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170442.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Pickering01 2002-01-03 Meaning and Relevance. 311-324 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170311.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Riedl01 2002-01-03 Interdisciplinary Engineering of Interstate E-Government Solutions. 405-420 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170405.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Riedl01a 2002-01-03 Computer Interfaces: From Communication to Mind-Prosthesis Metaphor. 301-310 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170301.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#StojanovS01 2002-01-03 Tracing for the Ideal Hunting Dog: Effects of Development and Use of Information System on Community Knowledge. 452-462 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170452.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Syrjanen01 2002-01-03 Beyond the Algorithmic Mind. 190-202 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170190.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Talbott01 2002-01-03 On the Meaning of Computer Programs. 165-174 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170165.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#Tenenberg01 2002-01-03 Thinking Together in Concept Design for Future Products - Emergent Features for Computer Support. 40-54 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170040.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#TuikkaK01 2002-01-03 Can Social Interaction Skills Be Taught by a Social Agent? The Role of a Robotic Mediator in Autism Therapy. 57-74 2001 Cognitive Technology http://link.springer.de/link/service/series/0558/bibs/2117/21170057.htm http://www.informatik.uni-trier.de/~ley/db/conf/ct/ct2001.html#WerryDOH01 2002-12-16 Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings CTCS 240 1986 3-540-17162-2 http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1985.html 2002-01-03 Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings CTCS 283 1987 3-540-18508-9 http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1987.html 2002-08-12 Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings Category Theory and Computer Science 389 1989 3-540-51662-X http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs89.html 2002-01-03 Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings CTCS 530 1991 3-540-54495-X http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1991.html 2002-01-03 Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings CTCS 953 1995 3-540-60164-3 http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1995.html 2002-01-03 Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings CTCS 1290 1997 3-540-63455-X http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1997.html 2002-01-03 An Interval Model for Second-Order Lambda Calculus. 219-237 1987 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1987.html#Martini87 2002-12-16 Introduction. 3-6 1985 CTCS http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1985.html#Abramsky85 2002-01-03 V-Comprehensions and P Space. 220-239 1995 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1995.html#Otto95 2002-08-12 A Final Coalgebra Theorem. 357-365 1989 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs89.html#AczelM89 2002-01-03 Categorical Reconstruction of a Reduction Free Normalization Proof. 182-199 1995 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1995.html#AltenkirchHS95 2002-08-12 A Dialectica-like Model of Linear Logic. 341-356 1989 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs89.html#Paiva89 2002-01-03 Bifinite Domains: Stable Case. 16-33 1991 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1991.html#Amadio91 2002-01-03 Constructions and Predicates. 173-196 1991 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1991.html#Pavlovic91 2002-01-03 ²(n)). 197-209 1997 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1997.html#AndreevS97 2002-01-03 Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity. 3-23 1995 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1995.html#Pavlovic95 2002-01-03 Effective Applicative Structures. 81-95 1995 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1995.html#AspertiC95 2002-01-03 Specifying Interaction Categories. 147-158 1997 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1997.html#PavlovicA97 2002-08-12 Unification Properties of Commutative Theories: A Categorical Treatment. 273-299 1989 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs89.html#Baader89 2002-08-12 From Petri Nets to Linear Logic. 313-340 1989 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs89.html#Marti-OlietM89 2002-01-03 Categorical Fixed Point Calculus. 159-179 1995 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs1995.html#BackhouseBGW95 2002-08-12 A Set Constructor for Inductive Sets in Martin-Löf's Type Theory. 128-140 1989 Category Theory and Computer Science http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/ctcs89.html#PeterssonS89 2002-01-03 Dualities Between Nets and Automata Induced by Schizophrenic Objects. 24-43 1995