|
|
Venues (Conferences, Journals, ...)
|
|
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 |
32 | Adam C. Carter |
Training: distributed desktop applications - The meeting list tool - a shared application for sharing dynamic information in meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, November 11-17, 2006, Tampa, FL, USA, pp. 315, 2006, ACM Press, 0-7695-2700-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Asaad Hakeem, Mubarak Shah |
Ontology and Taxonomy Collaborated Framework for Meeting Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (4) ![In: 17th International Conference on Pattern Recognition, ICPR 2004, Cambridge, UK, August 23-26, 2004., pp. 219-222, 2004, IEEE Computer Society, 0-7695-2128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Daishiro Hirashima, Michiru Tanaka, Yoshimi Teshigawara |
Development and Evaluation of a Minutes System Focusing on Importance in a Meeting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (2) ![In: 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan, pp. 293-298, 2004, IEEE Computer Society, 0-7695-2051-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Chuck 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](Pics/bibsonomy.png) |
MLMI ![In: Machine Learning for Multimodal Interaction, First International Workshop,MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers, pp. 196-208, 2004, Springer, 3-540-24509-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Alfred Dielmann, Steve Renals |
Multistream Dynamic Bayesian Network for Meeting Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLMI ![In: Machine Learning for Multimodal Interaction, First International Workshop,MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers, pp. 76-86, 2004, Springer, 3-540-24509-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Kenny Qili Zhu, Andrew E. Santosa |
A Meeting Scheduling System Based on Open Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings, pp. 792-796, 2002, Springer, 3-540-43738-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Shaila M. Miranda, Robert P. Bostrom |
Meeting Facilitation: Process versus Content Interventions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 124-133, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Crescencio Bravo, Pablo García |
A System to Support Collaborative Mobile Electronic Meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings, pp. 200-210, 2006, Springer, 3-540-44494-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Kosuke Akune, Kenji Mase, Yasushi Hirano, Shoji Kajita |
Discussion Support System for Video-oriented Sports Meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (2) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 561-564, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Jean Oh, Stephen F. Smith |
Learning User Preferences in Distributed Calendar Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATAT ![In: Practice and Theory of Automated Timetabling V, 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers, pp. 3-16, 2004, Springer, 3-540-30705-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Alessandro Bianchi, Filippo Lanubile, Giuseppe Visaggio |
A Controlled Experiment To Assess The Effectiveness Of Inspection Meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 7th IEEE International Software Metrics Symposium (METRICS 2001), 4-6 April 2001, London, England, UK, pp. 42-50, 2001, IEEE Computer Society, 0-7695-1043-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Neff Walker, John B. Smelcer |
A comparison of selection time from walking and pull-down menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 221-226, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
32 | Terry Winograd |
What can we teach about human-computer interaction? (plenary address). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 443-448, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
32 | Hans Brunner |
A snapshot of natural language interfaces (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 53-55, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
32 | Jakob Nielsen |
Designing for international use (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 291-294, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
32 | S. Joy Mountford |
Designers: meet your users (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 439-442, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Apple Computer, HyperCard, Inc |
32 | Marcy Telles |
Updating an older interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 243-248, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
WordStar |
30 | Amy Voida, Saul Greenberg |
Wii all play: the console game as a computational meeting place. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 1559-1568, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
PS2, PS3, Playstation, XBox360, computational meeting place, console games, digital hearth, gamecube, video games, Wii |
30 | A. K. M. Najmul Islam |
Developing a Model to Measure User Satisfaction and Success of Virtual Meeting Tools in an Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings, pp. 975-987, 2009, Springer, 978-3-642-01346-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
End User Computing Satisfaction, Information Systems Evaluation, Information Systems Success, Virtual Meeting Tools, User Satisfaction |
30 | Qiong 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](Pics/bibsonomy.png) |
PACT ![In: 17th International Conference on Parallel Architectures and Compilation Techniques, PACT 2008, Toronto, Ontario, Canada, October 25-29, 2008, pp. 240-249, 2008, ACM, 978-1-60558-282-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
critical threads, meeting point thread characterization, multi-threaded application, thread balancing, thread delaying, low-power, microarchitecture, energy-aware |
30 | Taemie Kim, Agnes Chang, Lindsey Holland, Alex Pentland |
Meeting mediator: enhancing group collaborationusing sociometric feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2008 ACM Conference on Computer Supported Cooperative Work, CSCW 2008, San Diego, CA, USA, November 8-12, 2008, pp. 457-466, 2008, ACM, 978-1-60558-007-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sociometric sensors, cscw, dominance, social visualization, meeting support |
30 | Namgon Kim, Sangwoo Han, JongWon Kim 0001 |
Design of Software Architecture for Smart Meeting Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 543-547, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
smart meeting space, user-centric collaboration, remote collaboration, composite service |
30 | Abhishek Ranjan, Jeremy P. Birnholtz, Ravin Balakrishnan |
Improving meeting capture by applying television production principles with audio and motion detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 227-236, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated camera control, video, meeting capture |
30 | Taemie Kim, Agnes Chang, Lindsey Holland, Alex Pentland |
Meeting mediator: enhancing group collaboration with sociometric feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, 2008, pp. 3183-3188, 2008, ACM, 978-1-60558-012-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sociometric sensors, cscw, social visualization, meeting support |
30 | Wilfried M. Post, Mike Lincoln |
Developing and Evaluating a Meeting Assistant Test Bed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLMI ![In: Machine Learning for Multimodal Interaction, 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008. Proceedings, pp. 338-348, 2008, Springer, 978-3-540-85852-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
remote meetings, audio-video capture, evaluation, questionnaires, meeting assistant |
30 | Elisabeth Crawford, Manuela M. Veloso |
An experts approach to strategy selection in multiagent meeting scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 15(1), pp. 5-28, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multiagent meeting scheduling, Experts algorithms, Applications, Negotiation, Multiagent learning |
30 | Gail Corbitt, Ben Martz |
Groupware Case Studies: Electronic Meeting Systems in the Work Place. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 38, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Case-based Action Research, GSS Impact, Groupware, Electronic Meeting Systems |
30 | Bjørn Erik Munkvold, Robert Anson |
Organizational adoption and diffusion of electronic meeting systems: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of GROUP 2001, ACM 2001 International Conference on Supporting Group Work, September 30 - October 3, 2001, Boulder, Colorado, USA, pp. 279-287, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
adoption and diffusion, case studies, group support systems, success factors, electronic meeting systems |
30 | Du Li, Zhenghao Wang, Richard R. Muntz |
"Got COCA?" - A new perspective in building electronic meeting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACC ![In: Proceedings of the international joint conference on Work activities coordination and collaboration 1999, San Francisco, California, USA, February 22-25, 1999, pp. 89-98, 1999, ACM, 978-1-58113-070-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
collaboration, software architecture, CSCW, groupware, electronic meeting systems |
30 | Christopher Deephouse, Dennis R. Goldenson, Marc I. Kellner, Tridas Mukhopadhyay |
The effects of software processes on meeting targets and quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 710-719, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
30 | Norbert 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](Pics/bibsonomy.png) |
CSCW ![In: CSCW '94, Proceedings of the Conference on Computer Supported Cooperative Work, Chapel Hill, NC, USA, October 22-26, 1994, pp. 345-358, 1994, ACM, 0-89791-689-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
collaborative writing/drawing, document-based cooperation, electronic meeting rooms, planning, hypermedia, shared workspaces, brainstorming, pen-based interaction, interactive whiteboards |
30 | Ying 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](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 4033-4038, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
avatar-based UI, conversation behavior detection, meeting facilitation, playful feedback |
30 | Shiro Kumano, Kazuhiro Otsuka, Dan Mikami, Junji Yamato |
Recognizing communicative facial expressions for discovering interpersonal emotions in group meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 11th International Conference on Multimodal Interfaces, ICMI 2009, Cambridge, Massachusetts, USA, November 2-4, 2009, pp. 99-106, 2009, ACM, 978-1-60558-772-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
direction of facial expression, interpersonal emotion, facial expression, meeting analysis |
30 | Anni Karhumaa, Kalle Piirainen, Kalle Elfvengren, Markku Tuominen |
Assessment of Facilitators' Design Thinking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation, and Use, 15th International Workshop, CRIWG 2009, Peso da Régua, Douro, Portugal, September 13-17, 2009. Proceedings, pp. 231-246, 2009, Springer, 978-3-642-04215-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
meeting design, group support systems, facilitation, Collaboration engineering |
30 | Zhiwen Yu 0001, Zhiyong Yu 0001, Yusa Ko, Xingshe Zhou 0001, Yuichi Nakamura 0001 |
Inferring Human Interactions in Meetings: A Multimodal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, 6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009. Proceedings, pp. 14-24, 2009, Springer, 978-3-642-02829-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
smart meeting, multimodal recognition, human interaction |
30 | Kazuhiro Otsuka, Junji Yamato |
Fast and Robust Face Tracking for Analyzing Multiparty Face-to-Face Meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLMI ![In: Machine Learning for Multimodal Interaction, 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008. Proceedings, pp. 14-25, 2008, Springer, 978-3-540-85852-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multimodal interaction, GPGPU, CUDA, face tracking, dynamic Bayesian network, Meeting analysis, multiparty conversation |
30 | Zicheng Liu 0001, Michael F. Cohen |
Head-size equalization for better visual perception of video conferencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 916-919, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
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 |
30 | Kelly Burke, Kregg Aytes |
Preference for Procedural Ordering in Distributed Groups: How Do Media and Repeated Interaction Affect Perceptions and Procedural Structuring? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Small groups, meeting structure, procedural order |
28 | Vladimir Hovsepyan |
Secure Real-Time Data Transfer in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 271-275, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Gevorg Margarov, Mher Markosyan, Yeghisabet Alaverdyan |
Real Time Streaming Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 248-255, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Yelena Satimowa, Assel Bytleuowa |
A Study of Security Threats in the Private Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 331-335, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Anthony W. Isenor, Yannick Allard, Michel Mayrand |
Comparing Information Structures Used in the Maritime Defence and Security Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 207-218, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Liviu-Daniel Galatchi |
Sustainable Development as a Tool Against Environmental Vulnerability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 123-129, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Joachim Biermann |
PASSAGES - A System for Improved Safety and Security of Maritime Operations in Arctic Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 156-167, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Pascal Djiknavorian, Dominic Grenier |
Naval Ship Classification with Generalized Belief Functions Using a New Approximation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 231-239, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | David G. Asatryan, Naira Asatryan |
Protection and Recovery of Tampered Images Using Self-Embedding Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 108-113, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Jolanta Rodzos |
Terrorism as a Threat to Tourism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 114-122, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Yeghisabet Alaverdyan |
Efficiency of Generating Highly Nonlinear Boolean Functions over Quasigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 256-263, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Lauro Snidaro, Ingrid Visentini |
Reasoning with Relational Models for Maritime Domain Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 147-155, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Hayk Hakobyan, Robert Hakobyan, Koryun Aslanyan |
Human Identification Using Virtual 3D Imaging to Control Border Crossing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 226-230, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Gayane Markarova |
Hide and Seek in the Information Age. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 243-247, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Dominique Cant |
What Matters Most Is Not the Size of the "Storm" but the Scale of the Impact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 143-146, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Dave Braines |
Building Agile Human/Machine Teams with Controlled Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 32-43, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Valentina Dragos |
Comparative Studies on Using Semantic Filtering for Open Relation Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 69-77, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Andrea Mucedola |
Toward a Better Future Through Maritime Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 133-142, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Ján Genci |
Are We Ready to Educate Security Professionals? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 326-330, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Ondrej Vanek, Stepán Kopriva, Jakub Ondrácek, Ondrej Hrstka, Michal Pechoucek |
Modeling Maritime Contraband Trafficking Activities with the Agent-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 168-183, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Galina Rogova, James Llinas |
Arguing About Uncertain Heterogeneous Information for Threat Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 3-17, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Anahit Arshakyan |
Secure Data Hiding in PDF Files Using an Encrypted Secret Message. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 264-270, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Gurgen Khachatryan, Mihran Hovsepyan, Aram Jivanyan |
Two-Party Oblivious DFA Evaluation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 276-286, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 78-85, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | David Griol, Jesús García Herrero, José Manuel Molina 0001 |
Military Usages of Speech and Language Technologies: A Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 44-68, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Narek Hayrapetyan, Robert Hakobyan, Aghasy Poghosyan, Vazgen Gabrielyan |
Border Surveillance Using UAVs with Thermal Camera. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 219-225, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Samvel Muradyan, Robert Hakobyan, Artashes Hakobyan, Vahan Tovmasyan, Artashes Tovmasyan |
Main Aspects of Border Crossing Control Security Provision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 203-206, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Alan N. Steinberg |
Data Fusion and Response Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 86-98, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Surik Khudaverdyan, Stepan Tsaturyan, Ashok Vaseashta |
Selective Sensitivity Sensor for Explosive Detection and Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 99-107, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Sergiy Gnatyuk |
Critical Aviation Information Systems Cybersecurity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 308-316, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Elisa Shahbazian |
Intelligence Analysis: Needs and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 18-31, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Ondrej Vanek, Stepán Kopriva, Ondrej Hrstka, Michal Pechoucek |
ARETHUS - A Decision Support Platform for Reasoning About Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 184-202, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Hrvoje Belani, Igor Ljubi, Bruno Blaskovic |
A Security Assessment Framework for e-Health: A Croatian Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 293-300, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Gevorg Margarov |
Information Security - Basis of the Education System for Digital Generation Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 317-325, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Artak Khemchyan |
Distributed Data Storage in Cloud Systems Based on Error Correcting Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 287-292, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Hrachya V. Astsatryan |
Security Issues of the e-Infrastructure for Environmental Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Meeting Security Challenges Through Data Analytics and Decision Support ![In: Meeting Security Challenges Through Data Analytics and Decision Support, pp. 301-307, 2016, IOS Press, 978-1-61499-715-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Jean-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](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![Elsevier The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Joshua S. Hodas, Jeffrey Polakow |
Forum as a Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 196-207, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Christophe Fouqueré, Jacqueline Vauzeilles |
Linear Logic for Taxonomical Networks and Database Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 61-74, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | François Métayer |
Some remarks on cyclic linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 130-137, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Yves Girard 0001 |
On denotational completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 75-80, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Vincent Danos, Laurent Regnier |
Reversible, Irreversible and Optimal Lambda-machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 40-60, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Vaughan R. Pratt |
Broadening the denotational semantics of linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 155-166, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | François Lamarche |
From Proof Nets to Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 107-119, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Richard Blute, Philip J. Scott |
A Noncommutative Full Completeness Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 28-38, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Christian Retoré |
Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 167-182, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Kohei Honda 0001 |
Abstract Process Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 89-105, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Samson Abramsky, Guy McCusker |
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 2-14, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Yves Girard 0001, Mitsuhiro Okada, Andre Scedrov |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 1, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Marco Pedicini |
Remarks on Elementary Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 208-219, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Mitsuhiro Okada |
Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 154, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Misao Nagayama, Mitsuhiro Okada |
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 153, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Gavin M. Bierman |
Towards a Classical Linear lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 15-27, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki |
Two Extensions of PX system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 88, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Patrick Lincoln, John C. Mitchell, Andre Scedrov |
The Complexity of Local Proof Search in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 120-129, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx |
Computational isomorphisms in classical logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 183-195, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Yves Girard 0001 |
Coherent Banach Spaces: a continuous denotational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 81-87, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Dirk van Dalen |
Intuitionism - Counting its Blessings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 39, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Max I. Kanovich |
Simulating Computations in Second Order Non-Commutative Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 106, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Lorenzo Tortora de Falco |
Generalized standardization lemma for the additives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 220-232, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Raymond McDowell, Dale Miller 0001, Catuscia Palamidessi |
Encoding Transition Systems in Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 138-152, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Maurice Yolles |
Simulating Conflict Using Weibull Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACS European Simulation Meeting ![In: Simulation in Research and Development, Proceedings of the IMACS European Simulation Meeting on Simulation in Research and Development, Eger, Hungary, 27-30 August, 1984., pp. 51-65, 1984, Elsevier Science Publishers, 0-444-87747-9. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
28 | András Jávor, Marika Benkõ, Kálmán Tarnay |
Multimode Simulation Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACS European Simulation Meeting ![In: Simulation in Research and Development, Proceedings of the IMACS European Simulation Meeting on Simulation in Research and Development, Eger, Hungary, 27-30 August, 1984., pp. 135-138, 1984, Elsevier Science Publishers, 0-444-87747-9. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|