The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for meeting with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1937-1952 (88) 1953-1956 (54) 1957-1958 (49) 1959 (78) 1960-1961 (84) 1962-1966 (16) 1967-1969 (15) 1970-1971 (34) 1972-1973 (106) 1974-1975 (34) 1976 (35) 1977-1978 (18) 1979 (46) 1980 (48) 1981 (55) 1982 (49) 1983 (90) 1984 (197) 1985 (57) 1986 (74) 1987 (71) 1988 (74) 1989 (68) 1990 (151) 1991 (115) 1992 (111) 1993 (81) 1994 (195) 1995 (133) 1996 (187) 1997 (291) 1998 (408) 1999 (312) 2000 (297) 2001 (645) 2002 (495) 2003 (558) 2004 (798) 2005 (871) 2006 (1004) 2007 (1544) 2008 (1625) 2009 (1523) 2010 (1379) 2011 (2460) 2012 (2037) 2013 (2988) 2014 (2053) 2015 (1849) 2016 (1669) 2017 (2085) 2018 (2124) 2019 (1843) 2020 (2485) 2021 (2234) 2022 (2384) 2023 (2686) 2024 (33)
Publication types (Num. hits)
article(1932) book(3) incollection(72) inproceedings(40702) phdthesis(23) proceedings(361)
Venues (Conferences, Journals, ...)
CogSci(10862) IAS(3541) ASIST(3531) ACL(3147) ACL (1)(2812) NIPS(1595) ACL (2)(1381) EMNLP(1050) PVM/MPI(791) ESEC/SIGSOFT FSE(765) ACL/IJCNLP (1)(573) SIGDIAL Conference(535) NTCIR(505) BICA(389) CIBB(301) EuroMPI(288) More (+10 of total 1993)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4881 occurrences of 2714 keywords

Results
Found 43093 publication records. Showing 43093 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
32Adam C. Carter Training: distributed desktop applications - The meeting list tool - a shared application for sharing dynamic information in meetings. Search on Bibsonomy SC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Asaad Hakeem, Mubarak Shah Ontology and Taxonomy Collaborated Framework for Meeting Classification. Search on Bibsonomy ICPR (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Daishiro Hirashima, Michiru Tanaka, Yoshimi Teshigawara Development and Evaluation of a Minutes System Focusing on Importance in a Meeting. Search on Bibsonomy AINA (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Chuck Wooters, Nikki Mirghafori, Andreas Stolcke, Tuomo W. Pirinen, Ivan Bulyko, David Gelbart, Martin Graciarena, Scott Otterson, Barbara Peskin, Mari Ostendorf The 2004 ICSI-SRI-UW Meeting Recognition System. Search on Bibsonomy MLMI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Alfred Dielmann, Steve Renals Multistream Dynamic Bayesian Network for Meeting Segmentation. Search on Bibsonomy MLMI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Kenny Qili Zhu, Andrew E. Santosa A Meeting Scheduling System Based on Open Constraint Programming. Search on Bibsonomy CAiSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Shaila M. Miranda, Robert P. Bostrom Meeting Facilitation: Process versus Content Interventions. Search on Bibsonomy HICSS (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
32Crescencio Bravo, Pablo García A System to Support Collaborative Mobile Electronic Meetings. Search on Bibsonomy CDVE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Kosuke Akune, Kenji Mase, Yasushi Hirano, Shoji Kajita Discussion Support System for Video-oriented Sports Meetings. Search on Bibsonomy ICICIC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Jean Oh, Stephen F. Smith Learning User Preferences in Distributed Calendar Scheduling. Search on Bibsonomy PATAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Alessandro Bianchi, Filippo Lanubile, Giuseppe Visaggio A Controlled Experiment To Assess The Effectiveness Of Inspection Meetings. Search on Bibsonomy IEEE METRICS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32Neff Walker, John B. Smelcer A comparison of selection time from walking and pull-down menus. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
32Terry Winograd What can we teach about human-computer interaction? (plenary address). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
32Hans Brunner A snapshot of natural language interfaces (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
32Jakob Nielsen Designing for international use (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
32S. Joy Mountford Designers: meet your users (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Apple Computer, HyperCard, Inc
32Marcy Telles Updating an older interface. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF WordStar
30Amy Voida, Saul Greenberg Wii all play: the console game as a computational meeting place. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF PS2, PS3, Playstation, XBox360, computational meeting place, console games, digital hearth, gamecube, video games, Wii
30A. K. M. Najmul Islam Developing a Model to Measure User Satisfaction and Success of Virtual Meeting Tools in an Organization. Search on Bibsonomy ICEIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF End User Computing Satisfaction, Information Systems Evaluation, Information Systems Success, Virtual Meeting Tools, User Satisfaction
30Qiong Cai, José González 0002, Ryan N. Rakvic, Grigorios Magklis, Pedro Chaparro, Antonio González 0001 Meeting points: using thread criticality to adapt multicore hardware to parallel regions. Search on Bibsonomy PACT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF critical threads, meeting point thread characterization, multi-threaded application, thread balancing, thread delaying, low-power, microarchitecture, energy-aware
30Taemie Kim, Agnes Chang, Lindsey Holland, Alex Pentland Meeting mediator: enhancing group collaborationusing sociometric feedback. Search on Bibsonomy CSCW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF sociometric sensors, cscw, dominance, social visualization, meeting support
30Namgon Kim, Sangwoo Han, JongWon Kim 0001 Design of Software Architecture for Smart Meeting Space. Search on Bibsonomy PerCom The full citation details ... 2008 DBLP  DOI  BibTeX  RDF smart meeting space, user-centric collaboration, remote collaboration, composite service
30Abhishek Ranjan, Jeremy P. Birnholtz, Ravin Balakrishnan Improving meeting capture by applying television production principles with audio and motion detection. Search on Bibsonomy CHI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automated camera control, video, meeting capture
30Taemie Kim, Agnes Chang, Lindsey Holland, Alex Pentland Meeting mediator: enhancing group collaboration with sociometric feedback. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF sociometric sensors, cscw, social visualization, meeting support
30Wilfried M. Post, Mike Lincoln Developing and Evaluating a Meeting Assistant Test Bed. Search on Bibsonomy MLMI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF remote meetings, audio-video capture, evaluation, questionnaires, meeting assistant
30Elisabeth Crawford, Manuela M. Veloso An experts approach to strategy selection in multiagent meeting scheduling. Search on Bibsonomy Auton. Agents Multi Agent Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Multiagent meeting scheduling, Experts algorithms, Applications, Negotiation, Multiagent learning
30Gail Corbitt, Ben Martz Groupware Case Studies: Electronic Meeting Systems in the Work Place. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Case-based Action Research, GSS Impact, Groupware, Electronic Meeting Systems
30Bjørn Erik Munkvold, Robert Anson Organizational adoption and diffusion of electronic meeting systems: a case study. Search on Bibsonomy GROUP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF adoption and diffusion, case studies, group support systems, success factors, electronic meeting systems
30Du Li, Zhenghao Wang, Richard R. Muntz "Got COCA?" - A new perspective in building electronic meeting systems. Search on Bibsonomy WACC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF collaboration, software architecture, CSCW, groupware, electronic meeting systems
30Christopher Deephouse, Dennis R. Goldenson, Marc I. Kellner, Tridas Mukhopadhyay The effects of software processes on meeting targets and quality. Search on Bibsonomy HICSS (4) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF meeting targets, project size, project complexity, design inspections, senior practitioners, project outcomes, software engineering, project management, survey, software processes, productivity, reengineering, configuration management, configuration management, competition, software development management, systems re-engineering, project planning, requirements management, customer satisfaction, time to market, code inspections, product quality, defect tracking, cross-functional teams
30Norbert A. Streitz, Jörg Geißler, Jörg M. Haake, Jeroen Hol DOLPHIN: Integrated Meeting Support Across Local and Remote Desktop Environments and LiveBoards. Search on Bibsonomy CSCW The full citation details ... 1994 DBLP  DOI  BibTeX  RDF collaborative writing/drawing, document-based cooperation, electronic meeting rooms, planning, hypermedia, shared workspaces, brainstorming, pen-based interaction, interactive whiteboards
30Ying Zhang 0048, Marshall W. Bern, Juan Liu 0012, Kurt Partridge, Bo Begole, Bob Moore, Jim Reich, Koji Kishimoto Facilitating meetings with playful feedback. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2010 DBLP  DOI  BibTeX  RDF avatar-based UI, conversation behavior detection, meeting facilitation, playful feedback
30Shiro Kumano, Kazuhiro Otsuka, Dan Mikami, Junji Yamato Recognizing communicative facial expressions for discovering interpersonal emotions in group meetings. Search on Bibsonomy ICMI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF direction of facial expression, interpersonal emotion, facial expression, meeting analysis
30Anni Karhumaa, Kalle Piirainen, Kalle Elfvengren, Markku Tuominen Assessment of Facilitators' Design Thinking. Search on Bibsonomy CRIWG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF meeting design, group support systems, facilitation, Collaboration engineering
30Zhiwen Yu 0001, Zhiyong Yu 0001, Yusa Ko, Xingshe Zhou 0001, Yuichi Nakamura 0001 Inferring Human Interactions in Meetings: A Multimodal Approach. Search on Bibsonomy UIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF smart meeting, multimodal recognition, human interaction
30Kazuhiro Otsuka, Junji Yamato Fast and Robust Face Tracking for Analyzing Multiparty Face-to-Face Meetings. Search on Bibsonomy MLMI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multimodal interaction, GPGPU, CUDA, face tracking, dynamic Bayesian network, Meeting analysis, multiparty conversation
30Zicheng Liu 0001, Michael F. Cohen Head-size equalization for better visual perception of video conferencing. Search on Bibsonomy ICME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF head-size equalization, spatially-varying-uniform scaling function, SVU, meeting participants, five-lens camera, omni-directional camera, visual perception, video conferencing, image warping
30Kelly Burke, Kregg Aytes Preference for Procedural Ordering in Distributed Groups: How Do Media and Repeated Interaction Affect Perceptions and Procedural Structuring? Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Small groups, meeting structure, procedural order
28Vladimir Hovsepyan Secure Real-Time Data Transfer in the Cloud. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Gevorg Margarov, Mher Markosyan, Yeghisabet Alaverdyan Real Time Streaming Algorithm. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Yelena Satimowa, Assel Bytleuowa A Study of Security Threats in the Private Cloud. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Anthony W. Isenor, Yannick Allard, Michel Mayrand Comparing Information Structures Used in the Maritime Defence and Security Domain. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Liviu-Daniel Galatchi Sustainable Development as a Tool Against Environmental Vulnerability. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Joachim Biermann PASSAGES - A System for Improved Safety and Security of Maritime Operations in Arctic Areas. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Pascal Djiknavorian, Dominic Grenier Naval Ship Classification with Generalized Belief Functions Using a New Approximation Algorithm. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28David G. Asatryan, Naira Asatryan Protection and Recovery of Tampered Images Using Self-Embedding Procedures. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Jolanta Rodzos Terrorism as a Threat to Tourism. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Yeghisabet Alaverdyan Efficiency of Generating Highly Nonlinear Boolean Functions over Quasigroups. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Lauro Snidaro, Ingrid Visentini Reasoning with Relational Models for Maritime Domain Security. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Hayk Hakobyan, Robert Hakobyan, Koryun Aslanyan Human Identification Using Virtual 3D Imaging to Control Border Crossing. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Gayane Markarova Hide and Seek in the Information Age. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Dominique Cant What Matters Most Is Not the Size of the "Storm" but the Scale of the Impact. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Dave Braines Building Agile Human/Machine Teams with Controlled Natural Language. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Valentina Dragos Comparative Studies on Using Semantic Filtering for Open Relation Identification. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Andrea Mucedola Toward a Better Future Through Maritime Security. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Ján Genci Are We Ready to Educate Security Professionals? Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Ondrej Vanek, Stepán Kopriva, Jakub Ondrácek, Ondrej Hrstka, Michal Pechoucek Modeling Maritime Contraband Trafficking Activities with the Agent-Based Approach. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Galina Rogova, James Llinas Arguing About Uncertain Heterogeneous Information for Threat Assessment. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Anahit Arshakyan Secure Data Hiding in PDF Files Using an Encrypted Secret Message. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Gurgen Khachatryan, Mihran Hovsepyan, Aram Jivanyan Two-Party Oblivious DFA Evaluation Protocol. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Éloi Bossé, Basel Solaiman Towards an Integration of Fusion of Information and Analytics Technologies (FIAT) to Improve Dependability and Security in Complex Systems. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28David Griol, Jesús García Herrero, José Manuel Molina 0001 Military Usages of Speech and Language Technologies: A Review. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Narek Hayrapetyan, Robert Hakobyan, Aghasy Poghosyan, Vazgen Gabrielyan Border Surveillance Using UAVs with Thermal Camera. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Samvel Muradyan, Robert Hakobyan, Artashes Hakobyan, Vahan Tovmasyan, Artashes Tovmasyan Main Aspects of Border Crossing Control Security Provision. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Alan N. Steinberg Data Fusion and Response Management. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Surik Khudaverdyan, Stepan Tsaturyan, Ashok Vaseashta Selective Sensitivity Sensor for Explosive Detection and Identification. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Sergiy Gnatyuk Critical Aviation Information Systems Cybersecurity. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Elisa Shahbazian Intelligence Analysis: Needs and Solutions. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Ondrej Vanek, Stepán Kopriva, Ondrej Hrstka, Michal Pechoucek ARETHUS - A Decision Support Platform for Reasoning About Security. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Hrvoje Belani, Igor Ljubi, Bruno Blaskovic A Security Assessment Framework for e-Health: A Croatian Perspective. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Gevorg Margarov Information Security - Basis of the Education System for Digital Generation Z. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Artak Khemchyan Distributed Data Storage in Cloud Systems Based on Error Correcting Codes. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Hrachya V. Astsatryan Security Issues of the e-Infrastructure for Environmental Research. Search on Bibsonomy Meeting Security Challenges Through Data Analytics and Decision Support The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Jean-Yves Girard 0001, Mitsuhiro Okada, Andre Scedrov (eds.) Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996 Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  BibTeX  RDF
28Joshua S. Hodas, Jeffrey Polakow Forum as a Logic Programming Language. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Christophe Fouqueré, Jacqueline Vauzeilles Linear Logic for Taxonomical Networks and Database Updates. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28François Métayer Some remarks on cyclic linear logic. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Jean-Yves Girard 0001 On denotational completeness. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Vincent Danos, Laurent Regnier Reversible, Irreversible and Optimal Lambda-machines. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Vaughan R. Pratt Broadening the denotational semantics of linear logic. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28François Lamarche From Proof Nets to Games. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Richard Blute, Philip J. Scott A Noncommutative Full Completeness Theorem. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Christian Retoré Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Kohei Honda 0001 Abstract Process Structures. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Samson Abramsky, Guy McCusker Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Jean-Yves Girard 0001, Mitsuhiro Okada, Andre Scedrov Preface. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Marco Pedicini Remarks on Elementary Linear Logic. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Mitsuhiro Okada Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Misao Nagayama, Mitsuhiro Okada A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Gavin M. Bierman Towards a Classical Linear lambda-calculus. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki Two Extensions of PX system. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Patrick Lincoln, John C. Mitchell, Andre Scedrov The Complexity of Local Proof Search in Linear Logic. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx Computational isomorphisms in classical logic. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Jean-Yves Girard 0001 Coherent Banach Spaces: a continuous denotational semantics. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Dirk van Dalen Intuitionism - Counting its Blessings. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Max I. Kanovich Simulating Computations in Second Order Non-Commutative Linear Logic. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Lorenzo Tortora de Falco Generalized standardization lemma for the additives. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Raymond McDowell, Dale Miller 0001, Catuscia Palamidessi Encoding Transition Systems in Sequent Calculus. Search on Bibsonomy Linear Logic Tokyo Meeting The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Maurice Yolles Simulating Conflict Using Weibull Games. Search on Bibsonomy IMACS European Simulation Meeting The full citation details ... 1984 DBLP  BibTeX  RDF
28András Jávor, Marika Benkõ, Kálmán Tarnay Multimode Simulation Concepts. Search on Bibsonomy IMACS European Simulation Meeting The full citation details ... 1984 DBLP  BibTeX  RDF
Displaying result #101 - #200 of 43093 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license