The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1949-1970 (16) 1971-1975 (17) 1976-1978 (21) 1979-1981 (19) 1982-1983 (24) 1984 (15) 1985-1986 (38) 1987 (37) 1988 (53) 1989 (63) 1990 (84) 1991 (119) 1992 (133) 1993 (106) 1994 (131) 1995 (126) 1996 (205) 1997 (214) 1998 (201) 1999 (252) 2000 (377) 2001 (424) 2002 (471) 2003 (532) 2004 (745) 2005 (984) 2006 (1135) 2007 (1194) 2008 (1235) 2009 (993) 2010 (586) 2011 (647) 2012 (725) 2013 (785) 2014 (857) 2015 (899) 2016 (1044) 2017 (1170) 2018 (1343) 2019 (1541) 2020 (1800) 2021 (2280) 2022 (2175) 2023 (2279) 2024 (541)
Publication types (Num. hits)
article(10990) book(57) data(4) incollection(450) inproceedings(16768) phdthesis(325) proceedings(42)
Venues (Conferences, Journals, ...)
CoRR(3176) CVPR(430) ICIS(427) AAAI(256) IEEE Access(250) IROS(243) ICIP(240) ICCV(224) ICRA(203) ICPR(184) AAMAS(179) Multim. Tools Appl.(177) Neurocomputing(174) ACM Multimedia(168) CogSci(167) HICSS(167) More (+10 of total 4493)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8145 occurrences of 3904 keywords

Results
Found 28638 publication records. Showing 28636 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
32Juan Carlos Niebles, Hongcheng Wang, Li Fei-Fei 0001 Unsupervised Learning of Human Action Categories Using Spatial-Temporal Words. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Action categorization, Spatio-temporal interest points, Unsupervised learning, Topic models, Bag of words
32Steve Barker Access control by action control. Search on Bibsonomy SACMAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF action control, logic
32Harald Fecher, Mila E. Majster-Cederbaum Action Refinement Applied to Late Decisions. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency
32Guangyu Zhu, Changsheng Xu, Qingming Huang, Wen Gao 0001, Liyuan Xing Player action recognition in broadcast tennis video with applications to semantic analysis of sports game. Search on Bibsonomy ACM Multimedia The full citation details ... 2006 DBLP  DOI  BibTeX  RDF object tracking, semantic analysis, action recognition, motion representation
32Alwyn Barry The stability of long action chains in XCS. Search on Bibsonomy Soft Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Action-chain, XCS, Generalisation
32Luis Carlos de Sousa Menezes, Geber L. Ramalho, Hermano Perrelli de Moura Modular definition of agent-oriented languages using action semantics. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF agent programming languages and environments, formal methods, programming languages, formal semantics, action semantics
32Mila E. Majster-Cederbaum, Jinzhao Wu Action Refinement for True Concurrent Real Time. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF timed event structure, timed process algebra, action refinement, true concurrency
32Jane E. Sinclair Action Systems for Security Specification. Search on Bibsonomy CSFW The full citation details ... 1996 DBLP  DOI  BibTeX  RDF security development, formal methods, noninterference, Action systems
32Balachander Krishnamurthy, David S. Rosenblum Yeast: A General Purpose Event-Action System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF event-action systems, distributed computing, specifications, Computer networks, software process, software development environments, event models
31Dimitri Ognibene, Christian Balkenius, Gianluca Baldassarre Integrating Epistemic Action (Active Vision) and Pragmatic Action (Reaching): A Neural Architecture for Camera-Arm Robots. Search on Bibsonomy SAB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Pascal Haazebroek, Bernhard Hommel Towards a Computational Model of Perception and Action in Human Computer Interaction. Search on Bibsonomy HCI (11) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF action effect learning, HCI, Perception, Action, Cognitive Architecture, connectionism, PDP
31Michael A. Arbib, JinYong Lee Vision and Action in the Language-Ready Brain: From Mirror Neurons to SemRep. Search on Bibsonomy BVAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF brain mechanisms, competition and cooperation, construction grammar, dynamic visual scenes, language perception, language production, mirror neurons, SemRep, visual perception, vision, action, action recognition, schema theory, scene descriptions
31Nereu F. Kock Jr., Robert J. McQueen, Megan Baker, Anne C. Rouse Negotiation in information systems action research. Search on Bibsonomy ISCNZ The full citation details ... 1996 DBLP  DOI  BibTeX  RDF information systems action research, gradual negotiation process, initiative dilemma, IS action research, client organisations, research topic, cyclical information exchange, information systems, research project
31Jean-Claude Laprie, Karama Kanoun, Christian Béounes, Mohamed Kaâniche The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF KAT, knowledge-action-transformation, availability growth, single-component systems, action models, hyperexponential model, multicomponent systems, knowledge based systems, software reliability, Markov processes, Markov models, knowledge models, reliability theory
30Wanqing Li 0001, Zhengyou Zhang, Zicheng Liu 0001 Expandable Data-Driven Graphical Modeling of Human Actions Based on Salient Postures. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga Logic Programming for Agents. Search on Bibsonomy PRICAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30Wayne Wobcke Agency and the Logic of Ability. Search on Bibsonomy Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30Paolo Traverso Planning Under Uncertainty and Its Applications. Search on Bibsonomy Reasoning, Action and Interaction in AI Theories and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Kenta Oku, Shinsuke Nakajima, Jun Miyazaki, Shunsuke Uemura, Hirokazu Kato 0001 A recommendation method considering users' time series contexts. Search on Bibsonomy ICUIMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF recommendation method, time series contexts, user's action pattern, user's contexts
29Odest Chadwicke Jenkins, Germán González Serrano, Matthew Maverick Loper Tracking human motion and actions for interactive robots. Search on Bibsonomy HRI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF markerless motion capture, human-robot interaction, action recognition, human tracking
29David A. Watt Action Semantics in Retrospect. Search on Bibsonomy Semantics and Algebraic Specification The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Hankui Zhuo, Qiang Yang 0001, Lei Li 0022 Transfer Learning Action Models by Measuring the Similarity of Different Domains. Search on Bibsonomy PAKDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Imran N. Junejo, Emilie Dexter, Ivan Laptev, Patrick Pérez Cross-View Action Recognition from Temporal Self-similarities. Search on Bibsonomy ECCV (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Isabelle Perseil, Laurent Pautet A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Agnieszka Dardzinska, Zbigniew W. Ras Cooperative Discovery of Interesting Action Rules. Search on Bibsonomy FQAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Zbigniew W. Ras, Agnieszka Dardzinska Action Rules Discovery, a New Simplified Strategy. Search on Bibsonomy ISMIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Volker Krüger Recognizing Action Primitives in Complex Actions Using Hidden Markov Models. Search on Bibsonomy ISVC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Uwe V. Riss Knowledge, Action, and Context: Impact on Knowledge Management. Search on Bibsonomy Wissensmanagement (LNCS Volume) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Alper Yilmaz, Mubarak Shah Actions Sketch: A Novel Action Representation. Search on Bibsonomy CVPR (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Christel Kemke A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases. Search on Bibsonomy ISMIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Ozan Kahramanogullari, Michael Thielscher A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. Search on Bibsonomy KI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Christel Kemke A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases. Search on Bibsonomy AI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Ashish Kapoor, Yuan (Alan) Qi, Rosalind W. Picard Fully Automatic Upper Facial Action Recognition. Search on Bibsonomy AMFG The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Renwei Li, Luís Moniz Pereira, Verónica Dahl Refining Action Theories through Abductive Logic Programming. Search on Bibsonomy LPKR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Robin Milner Higher-Order Action Calculi. Search on Bibsonomy CSL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
28Michael Beetz, Thorsten Schmitt, Robert Hanek, Sebastian Buck 0001, Freek Stulp, Derik Schröter, Bernd Radig The AGILO Robot Soccer Team-Experience-Based Learning and Probabilistic Reasoning in Autonomous Robot Control. Search on Bibsonomy Auton. Robots The full citation details ... 2004 DBLP  DOI  BibTeX  RDF coordination of perception, reasoning and action, integration and coordination of multiple activities, action selection and planning
28Patricia Balbastre, Ismael Ripoll, Alfons Crespo Control tasks delay reduction under static and dynamic scheduling policies. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF control task delay reduction, dynamic scheduling policy, static scheduling policy, control action delays, dynamic scheduling policies, data acquisition interval, control action interval, DAI, control design phase, scheduling, delays, control systems, industrial application, data acquisition, data acquisition, scheduling policies, static scheduling, control algorithms, EDF scheduling, industrial control, CAI, worst case response time, task decomposition, control performances, digital control
28Pirkko Walden, Christer Carlsson Hyperknowledge and expert systems: a case study of knowledge formation processes. Search on Bibsonomy HICSS (3) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF knowledge formation processes, action programs, sustainable competitive advantages, business units, strategic planning period, Woodstrat, action program activities, business unit levels, competitive elements, intermodular links, user-developed expert knowledge, hyperknowledge user interface, user interfaces, case study, expert systems, expert systems, business data processing, strategic planning, user-supportive, strategic management
28Tracy Anne Hammond, Drew Logsdon, Joshua M. Peschel, Joshua Johnston, Paul Taele, Aaron Wolin, Brandon Paulson A sketch recognition interface that recognizes hundreds of shapes in course-of-action diagrams. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2010 DBLP  DOI  BibTeX  RDF course-of-action diagrams, sketch recognition, pen-based input
28Marco Leo, Tiziana D'Orazio, Paolo Spagnolo, Pier Luigi Mazzeo, Arcangelo Distante Multi-view Player Action Recognition in Soccer Games. Search on Bibsonomy MIRAGE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Human Pose Estimation, Soccer Player Action Recognition, Neural Networks, Contourlet Transform
28Junichi Hoshino, Hiroshi Mori Incremental Learning Algorithm for Online Action Game System. Search on Bibsonomy ICEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF action game, imitation learning, non-player character
28Riccardo Mattivi, Ling Shao 0001 Human Action Recognition Using LBP-TOP as Sparse Spatio-Temporal Feature Descriptor. Search on Bibsonomy CAIP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF LBP-TOP, Human action recognition, bag of words
28Yao-Jen Chang, Hsin-Yu Hsu, Tsen-Yung Wang Action science approach to nonprofit housing services using web 2.0 mapping tools. Search on Bibsonomy WWW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mapping tools, web 2.0, RDFS, action research, context-aware services
28Toshiyuki Yasuda, Kazuhiro Ohkura A Reinforcement Learning Technique with an Adaptive Action Generator for a Multi-robot System. Search on Bibsonomy SAB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Autonomous Specialization, Action Search, Reinforcement Learning, Multi-Robot System
28Lei Chi, Clyde W. Holsapple, Cidambi Srinivasan The linkage between IOS use and competitive action: a competitive dynamics perspective. Search on Bibsonomy Inf. Syst. E Bus. Manag. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF IOS use, Competitive action, Competitive dynamics, IT measures
28Zachary Ernst, Sara Rachel Chant Collective Action as Individual Choice. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF collective intention, collective action, interactive epistemology
28Toshiyuki Yasuda, Kazuhiro Ohkura Improving Search Efficiency in the Action Space of an Instance-Based Reinforcement Learning Technique for Multi-robot Systems. Search on Bibsonomy ECAL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Autonomous Specialisation, Action Search, Reinforcement Learning, Multi-robot System
28Takahiro Fujita, Yoshinobu Maeda, Masazumi Katayama Independence of Perception and Action for Grasping Positions. Search on Bibsonomy ICONIP (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF visual perception, Grasping, action
28Thomas Dowad PAWS: Personal Action Wireless Sensor. Search on Bibsonomy Pers. Ubiquitous Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Home control, Wireless, Accelerometer, Gestural control, Human action
28Vasu Parameswaran, Rama Chellappa View Invariance for Human Action Recognition. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 2D invariance, invariance space trajectories, human action recognition
28Feiyue Huang, Huijun Di, Guangyou Xu Viewpoint Insensitive Posture Representation for Action Recognition. Search on Bibsonomy AMDO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF View Invariant, Affine Projection Model, Envelop Shape, Action Recognition
28Freek Stulp, Michael Beetz Action awareness: enabling agents to optimize, transform, and coordinate plans. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF learning action models, plan optimization, computational model
28Ian MacColl, Roslyn Cooper, Markus Rittenbruch, Stephen Viller Watching ourselves watching: ethical issues in ethnographic action research. Search on Bibsonomy OZCHI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ethnographic action research, ethics, participant-observation
28Chia-Ju Wu, Tsong-Li Lee A Fuzzy Mechanism for Action Selection of Soccer Robots. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fuzzy set theory, action selection, soccer robots
28Lauge Baungaard Rasmussen, Francesco Garibaldo Action research through a European perspective - based on Scandinavian and Italian traditions. Search on Bibsonomy AI Soc. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF institutionalisation, organised knowledge, practical knowledge, research traditions, action research
28Satinder P. Gill, Jan O. Borchers Knowledge in co-action: social intelligence in collaborative design activity. Search on Bibsonomy AI Soc. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Coordinated autonomy, Knowledge in co-action, Parallel coordinated moves, Social intelligence, Graphical interaction
28Ralph-Johan Back, Joakim von Wright Compositional Action System Refinement. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rely/guarantee, Refinement, Compositionality, Action systems
28Cen Rao, Mubarak Shah View-Invariant Representation and Learning of Human Action. Search on Bibsonomy IEEE Workshop on Detection and Recognition of Events in Video The full citation details ... 2001 DBLP  DOI  BibTeX  RDF View-invariant Representation, Spatiotemporal curvature, Events, Activities, Action Recognition, Video Understanding
28Ying-li Tian, Takeo Kanade, Jeffrey F. Cohn Recognizing Lower Face Action Units for Facial Expression Analysis. Search on Bibsonomy FG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Action Unit, Recognition, Facial Expression Analysis
28Stephen S. Intille, Aaron F. Bobick Visual Recognition of Multi-Agent Action Using Binary Temporal Relations. Search on Bibsonomy CVPR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF multi-agent action recognition, motion un-derstanding, plan recognition
28Célio Estevan Morón Designing a real-time recoverable action. Search on Bibsonomy RTCSA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF real-time recoverable action, reliability requirements, fault-tolerance requirements, reliable real-time systems, forward error recovery, real-time systems, real-time constraints, adaptable scheduler, backward error recovery
27Pingkun Yan, Saad M. Khan, Mubarak Shah Learning 4D action feature models for arbitrary view action recognition. Search on Bibsonomy CVPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Mikel D. Rodriguez, Javed Ahmed, Mubarak Shah Action MACH a spatio-temporal Maximum Average Correlation Height filter for action recognition. Search on Bibsonomy CVPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Klimis S. Ntalianis, Anastasios D. Doulamis, Nicolas Tsapatsoulis, Nikolaos D. Doulamis Human action analysis, annotation and modeling in video streams based on implicit user interaction. Search on Bibsonomy AREA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF action modeling, human action analysis, human object detection, user transparent interaction, video annotation
26Bogdan Ionescu, Patrick Lambert, Didier Coquin, Laurent Ott, Vasile Buzuloiu Animation movies trailer computation. Search on Bibsonomy ACM Multimedia The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Tomoharu Nakashima, Masahiro Takatani, Masayo Udo, Hisao Ishibuchi, Manabu Nii Performance Evaluation of an Evolutionary Method for RoboCup Soccer Strategies. Search on Bibsonomy RoboCup The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Tomoharu Nakashima, Masahiro Takatani, Masayo Udo, Hisao Ishibuchi An evolutionary approach for strategy learning in RoboCup soccer. Search on Bibsonomy SMC (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Yasuhiko Kitamura, Takuya Murao Risk Management Methods for Speculative Actions. Search on Bibsonomy AAMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Jordi Gonzàlez 0001, Xavier Varona, F. Xavier Roca, Juan José Villanueva Automatic Keyframing of Human Actions for Computer Animation. Search on Bibsonomy IbPRIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Yu Ohigashi, Takashi Omori, Koji Morikawa, Natsuki Oka Acceleration of Game Learning with Prediction-Based Reinforcement Learning - Toward the Emergence of Planning Behavior. Search on Bibsonomy ICANN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Tanveer Fathima Syeda-Mahmood Segmenting Actions in Velocity Curve Space. Search on Bibsonomy ICPR (4) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Harun Siljak Reversible Computation in Wireless Communications. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Pawel Kerntopf, Claudio Moraga, Krzysztof Podlaski, Radomir S. Stankovic Research on Reversible Functions Having Component Functions with Specified Properties: An Overview. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26James Hoey, Ivan Lanese, Naoki Nishida 0001, Irek Ulidowski, Germán Vidal A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Stefan Kuhn 0001, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski Reversibility in Chemical Reactions. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Miralem Mehic, Marcin Niemiec, Harun Siljak, Miroslav Voznák Error Reconciliation in Quantum Key Distribution Protocols. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski Software and Reversible Systems: A Survey of Recent Activities. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Ulrik Pagh Schultz Reversible Control of Robots. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal Foundations of Reversible Computation. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto Towards Choreographic-Based Monitoring. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Alwin Zulehner, Robert Wille Simulation and Design of Quantum Circuits. Search on Bibsonomy Selected Results of the COST Action IC1405 The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Gheorghe Stefanescu Self-Assembling Interactive Modules: A Research Programme. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26John Derrick, Eerke A. Boiten Relational Concurrent Refinement - Partial and Total Frameworks. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Rimvydas Ruksenas, Paolo Masci 0001, Paul Curzon Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Alessandro Fantechi, Stefania Gnesi Refinement of Behavioural Models for Variability Description. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou Modeling and Analysis of Component Faults and Reliability. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Michael J. Butler, Jean-Raymond Abrial, Richard Banach Modelling and Refining Hybrid Systems in Event-B and Rodin. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Mats Neovius, Mauno Rönkkö, Marina Waldén A Provably Correct Resilience Mediator Pattern. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Olaf Owe Verifiable Programming of Object-Oriented and Distributed Systems. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Mauno Rönkkö Modeling Sources for Uncertainty in Environmental Monitoring. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen Mandatory and Potential Choice: Comparing Event-B and STAIRS. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26 Bibliography. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Steve A. Schneider, Helen Treharne, David M. Williams Event-B and Linear Temporal Logic. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26 Index. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Jüri Vain, Leonidas Tsiopoulos, Pontus Boström Integrating Refinement-Based Methods for Developing Timed Systems. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu Meeting Deadlines, Elastically. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Linas Laibinis, Elena Troubitsyna A Contract-Based Approach to Ensuring Component Interoperability in Event-B. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Ignazio Aleo, Paolo Arena, Sebastiano De Fiore, Luca Patanè, Massimo Pollino, Cristina Ventura Robotic Platforms. Search on Bibsonomy Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots II The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #200 of 28636 (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