Search results for "reactive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Bjarno Oeyen, Sam Van den Vonder, Wolfgang De Meuter	Reactive sorting networks.	REBLS@SPLASH	2020	DBLP DOI BibTeX RDF
18	Teresa López-Arenas, Seyed Soheil Mansouri, Mauricio Sales-Cruz, Rafiqul Gani, Eduardo S. Pérez-Cisneros	A Gibbs energy-driving force method for the optimal design of non-reactive and reactive distillation columns.	Comput. Chem. Eng.	2019	DBLP DOI BibTeX RDF
18	Florian Myter, Christophe Scholliers, Wolfgang De Meuter	Distributed Reactive Programming for Reactive Distributed Systems.	Art Sci. Eng. Program.	2019	DBLP DOI BibTeX RDF
18	Florian Myter, Christophe Scholliers, Wolfgang De Meuter	Distributed Reactive Programming for Reactive Distributed Systems.	CoRR	2019	DBLP BibTeX RDF
18	Mohammad Nazmul Islam Sarkar, Lasantha Gunaruwan Meegahapola, Manoj Datta	Optimal Reactive Power Dispatch Considering Reactive Power Support from Renewable Energy Generators.	ICIT	2019	DBLP DOI BibTeX RDF
18	Zita Hagemann, Ulf Häger	Reactive Power Control in Distribution Networks to minimize the Reactive Power Balance at the Point of Common Coupling.	ISGT Europe	2019	DBLP DOI BibTeX RDF
18	John Mbuli	A multi-agent system for the reactive fleet maintenance support planning of a fleet of mobile cyber-physical systems: Application to rail transport industry. (Proposition d'un système multi-agent pour la planification réactive des opérations de maintenance d'une flotte de systèmes cyber-physiques mobiles : Application au domaine ferroviaire).		2019	RDF
18	Bilal Bou Saleh	Approche Intelligence Artificielle Distribuée pour une planification réactive et une aide à la conduite du processus de blocs opératoires hospitaliers. (Distributed Artificial Intelligence Approach for reactive planning and driving support of the hospital operating theater process).		2019	RDF
18	Marcel Blöcher, Matthias Eichholz 0001, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi	GRASS: generic reactive application-specific scheduling.	REBLS@SPLASH	2019	DBLP DOI BibTeX RDF
18	Simon Foster 0001, Kangfeng Ye, Ana Cavalcanti 0001, Jim Woodcock 0001	Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.	CoRR	2018	DBLP BibTeX RDF
18	Simon Foster 0001, Kangfeng Ye, Ana Cavalcanti 0001, Jim Woodcock 0001	Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.	RAMiCS	2018	DBLP DOI BibTeX RDF
18	Carlos Zimmerle, Kiev Gama	Reactive CEP: Integrating Complex Event Processing into Web Reactive Languages.	WebMedia	2018	DBLP DOI BibTeX RDF
18	Micael Pedrosa, Jorge Miguel 0002, Carlos Costa 0001	Reactive Through Services - Opinionated Framework for Developing Reactive Services.	CLOSER	2018	DBLP DOI BibTeX RDF
18	Xiao-Ke Chen, Jian-Hua Yin, Xiao-Jian Zhao, Xiao-Lei Yuan, Xue-Min Wang, Jin-Quan Zhao	Accurate Measurement of Reactive Power Based on Fryze's Definition of Time Domain Reactive Power.	ICNC-FSKD	2018	DBLP DOI BibTeX RDF
18	Juan Alejandro Castano, Chengxu Zhou, Nikos G. Tsagarakis	From Non-Reactive to Reactive Walking in Humanoid Robots.	Humanoids	2018	DBLP DOI BibTeX RDF
18	Colin Vidal	Programmation web réactive. (Reactive Web Programming).		2018	RDF
18	Rémy El Sibaïe	Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches. (Reactive Web Programming in a Static Typing Context for Rich Multimedias Content Orchestration).		2018	RDF
18	Mathijs Saey, Joeri De Koster, Wolfgang De Meuter	Skitter: a DSL for distributed reactive workflows.	REBLS@SPLASH	2018	DBLP DOI BibTeX RDF
18	Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri	A reactive language for analyzing cloud logs.	REBLS@SPLASH	2018	DBLP DOI BibTeX RDF
18	Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon	Reactive chatbot programming.	REBLS@SPLASH	2018	DBLP DOI BibTeX RDF
18	Orestis Melkonian, Angelos Charalambidis	RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming.	REBLS@SPLASH	2018	DBLP DOI BibTeX RDF
18	Jesse Zaman, Kennedy Kambona, Wolfgang De Meuter	DISCOPAR: a visual reactive programming language for generating cloud-based participatory sensing platforms.	REBLS@SPLASH	2018	DBLP DOI BibTeX RDF
18	Bjarno Oeyen, Humberto Rodríguez-Avila, Sam Van den Vonder, Wolfgang De Meuter	Composable higher-order reactors as the basis for a live reactive programming environment.	REBLS@SPLASH	2018	DBLP DOI BibTeX RDF
18	Yaser Fattahian, Ali Riahi-Madvar, Reza Mirzaee, Gholamreza Asadikaram, Mohammad Reza Rahbar	In silico locating the immune-reactive segments of Lepidium draba peroxidase and designing a less immune-reactive enzyme derivative.	Comput. Biol. Chem.	2017	DBLP DOI BibTeX RDF
18	Oren Farhi	Reactive Programming with Angular and ngrx - Learn to Harness the Power of Reactive Programming with RxJS and ngrx Extensions		2017	DOI RDF
18	Reza Bajool, Miadreza Shafie-khah, Amin Shokri Gazafroudi, João P. S. Catalão	Mitigation of active and reactive demand response mismatches through reactive power control considering static load modeling in distribution grids.	CCTA	2017	DBLP DOI BibTeX RDF
18	Florian Myter, Christophe Scholliers, Wolfgang De Meuter	Handling partial failures in distributed reactive programming.	REBLS@SPLASH	2017	DBLP DOI BibTeX RDF
18	Sam Van den Vonder, Joeri De Koster, Florian Myter, Wolfgang De Meuter	Tackling the awkward squad for reactive programming: the actor-reactor model.	REBLS@SPLASH	2017	DBLP DOI BibTeX RDF
18	Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter	First-class reactive programs for CPS.	REBLS@SPLASH	2017	DBLP DOI BibTeX RDF
18	Marta Ortín-Obón, Darío Suárez Gracia, María Villarroya-Gaudó, Cruz Izu, Víctor Viñals	Reactive circuits: Dynamic construction of circuits for reactive traffic in homogeneous CMPs.	J. Parallel Distributed Comput.	2016	DBLP DOI BibTeX RDF
18	Christopher Schuster, Cormac Flanagan	Reactive programming with reactive variables.	MODULARITY (Companion)	2016	DBLP DOI BibTeX RDF
18	Guido Salvaneschi, Mira Mezini	Debugging reactive programming with reactive inspector.	ICSE (Companion Volume)	2016	DBLP DOI BibTeX RDF
18	Osamah Saif	Reactive navigation of a fleet of drones in interaction. (Navigation réactive de drones en interaction dans une flottille).		2016	RDF
18	Rémy El Sibaïe, Emmanuel Chailloux	Synchronous-reactive web programming.	REBLS@SPLASH	2016	DBLP DOI BibTeX RDF
18	D. A. Harney, T. K. Mills, N. L. Book	Numerical evaluation of the stability of stationary points of index-2 differential-algebraic equations: Applications to reactive flash and reactive distillation systems.	Comput. Chem. Eng.	2013	DBLP DOI BibTeX RDF
18	Madeleine El-Zaher	Approche réactive pour la conduite en convoi des véhicules autonomes : Modélisation et vérification. (Reactive approach for autonomous vehicle platoon systems : modelling and verification).		2013	RDF
18	Lyazid Sabri	Modèles sémantiques, raisonnements réactifs et narratifs, pour la gestiondu contexte. : intelligence ambiante et robotique ubiquitaire. (Semantic models, reactive and narrative reasoning to manage context. Semantic models, reactive and narrative reasoning to manage context. : Ambient intelligence and ubiquitous robotic.).		2013	RDF
18	Rostam Shirani, Marc St-Hilaire, Thomas Kunz, Yifeng Zhou, Jun Li 0006, Louise Lamont	On the Delay of Reactive-Greedy-Reactive Routing in Unmanned Aeronautical Ad-hoc Networks.	ANT/MobiWIS	2012	DBLP DOI BibTeX RDF
18	Yi Li, Rostam Shirani, Marc St-Hilaire, Thomas Kunz	Improving routing in networks of Unmanned Aerial Vehicles: Reactive-Greedy-Reactive.	Wirel. Commun. Mob. Comput.	2012	DBLP DOI BibTeX RDF
18	Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo	Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming.	ICSOFT	2012	DBLP DOI BibTeX RDF
18	Vilem Benes	Reactive Layer in AGI Agent - Implementation of Adaptive Reactive Behavior and Beyond.	ICAART (1)	2011	DBLP BibTeX RDF
18	Daniele Fiaschi, Giampaolo Manfrida	Improvement of Energy Conversion/Utilization by Exergy Analysis: Selected Cases for Non-Reactive and Reactive Systems.	Entropy	2010	DBLP DOI BibTeX RDF
18	Pedram Ataee, Guy Albert Dumont, W. Thomas Boyce	Morphological differences of sigmoidal baroreflex in highly-reactive and non-reactive individuals.	CCECE	2010	DBLP DOI BibTeX RDF
18	William D. Henshaw, Donald W. Schwendeman	Moving overlapping grids with adaptive mesh refinement for high-speed reactive and non-reactive flow.	J. Comput. Phys.	2006	DBLP DOI BibTeX RDF
18	Olga Ormandjieva, Heng Kuang, Emil Vassev	Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach.	Int. Trans. Syst. Sci. Appl.	2006	DBLP BibTeX RDF
18	Y. R. Fares, D. Giacobbe	Transient transport of reactive and non-reactive solutes in groundwater.	Comput. Geosci.	2004	DBLP DOI BibTeX RDF
18	Marek Teichmann, Bud Mishra	Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands.	Int. J. Robotics Res.	2000	DBLP DOI BibTeX RDF
18	Branislav V. Djokic, Petar Bosnjakovic	Two methods for improved measurements of reactive power and reactive energy insensitive to frequency variations.	IEEE Trans. Instrum. Meas.	1998	DBLP DOI BibTeX RDF
18	Takeshi Mita, Shinsaku Hiura, Hirokazu Kato 0001, Seiji Inokuchi	Strategical Tracking of Polyhedral Objects by Reactive Change of Projection Pattern - Reactive Range Finder.	ACCV (2)	1998	DBLP DOI BibTeX RDF
18	Ashwin Ram 0001, Ronald C. Arkin, Kenneth Moorman, Russell J. Clark 0001	Case-based reactive navigation: a method for on-line selection and adaptation of reactive robotic control parameters.	IEEE Trans. Syst. Man Cybern. Part B	1997	DBLP DOI BibTeX RDF
18	Elie Najm, Frank Olsen	Reactive EFSMs - Reactive Promela/RSPIN.	TACAS	1996	DBLP DOI BibTeX RDF
18	Frédéric Boussinot	Reactive C: An Extension of C to Program Reactive Systems.	Softw. Pract. Exp.	1991	DBLP DOI BibTeX RDF
18	Patrice Godefroid, Froduald Kabanza	An Efficient Reactive Planner for Synthesizing Reactive Plans.	AAAI	1991	DBLP BibTeX RDF
18	Max Van Kleek, Brennan Moore, David R. Karger, Paul André, m. c. schraefel	Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web.	WWW	2010	DBLP DOI BibTeX RDF	reactive automation, web mash-ups, context-aware computing, end-user programming
18	Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich	Verifying event-driven programs using ramified frame properties.	TLDI	2010	DBLP DOI BibTeX RDF	frame rule, ramification problem, subject-observer, dataflow, separation logic, functional reactive programming
18	Djamila Ouelhadj, Sanja Petrovic	A survey of dynamic scheduling in manufacturing systems.	J. Sched.	2009	DBLP DOI BibTeX RDF	Robust scheduling, Predictive-reactive scheduling, Agent-based scheduling, Dynamic scheduling
18	Carlos Barrico, Carlos Henggeler Antunes, Dulce Fernão Pires	Robustness Analysis in Evolutionary Multi-Objective Optimization Applied to VAR Planning in Electrical Distribution Networks.	EvoCOP	2009	DBLP DOI BibTeX RDF	reactive power compensation problem, multi-objective evolutionary algorithm, robustness analysis
18	Krysia Broda, Keith Clark, Rob Miller 0002, Alessandra Russo	SAGE: A Logical Agent-Based Environment Monitoring and Control System.	AmI	2009	DBLP DOI BibTeX RDF	Multi-Agent Reasoning, Teleo-Reactive Programs, Logic Programming, Logic, Abduction, Event Calculus, Environmental Control
18	Michael Backes 0001, Birgit Pfitzmann	Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Dolev-Yao-style, Reactive simulatability/UC, Limitations, XOR, Computational soundness
18	Chang Ouk Kim, Ick-Hyun Kwon, Jun-Geol Baek	Asynchronous action-reward learning for nonstationary serial supply chain inventory control.	Appl. Intell.	2008	DBLP DOI BibTeX RDF	Action reward learning, Asynchronous performance measure update, Situation reactive inventory control, Two-stage serial supply chain, Nonstationary customer demand, Machine learning
18	Niaz A. Wassan, Gábor Nagy 0001, Samad Ahmadi	A heuristic method for the vehicle routing problem with mixed deliveries and pickups.	J. Sched.	2008	DBLP DOI BibTeX RDF	Deliveries and pickups, Reactive tabu search, Heuristic, Vehicle routing
18	Norman H. Cohen, Karl Trygve Kalleberg	EventScript: an event-processing language based on regular expressions with actions.	LCTES	2008	DBLP DOI BibTeX RDF	sensors, regular expressions, actuators, event processing, reactive programs
18	Kirsten Terfloth, Jochen H. Schiller	Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks.	RuleML	2008	DBLP DOI BibTeX RDF	reactive rules, RDL, domain-specific language, FACTS
18	Guillaume Feuillade, Sophie Pinchinat	Modal Specifications for the Control Theory of Discrete Event Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus
18	David P. Miller, Jacob Q. Milstein, Cathryne Stein	Scarecrow: If I only had AI.	Auton. Robots	2007	DBLP DOI BibTeX RDF	1992 AAAI robot contest, Mechanical intelligence, Reactive control
18	Shuqing Zeng, Juyang Weng	Online-learning and Attention-based Approach to Obstacle Avoidance Using a Range Finder.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	Reactive collision avoidance, Range finder, Perception, Humanoid
18	Jörg Rech, Eric Ras, Björn Decker 0001	Intelligent Assistance in German Software Development: A Survey.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	software engineering, survey, reactive systems, integrated development environments, intelligent assistance
18	Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi	Lowering: a static optimization technique for transparent functional reactivity.	PEPM	2007	DBLP DOI BibTeX RDF	FRP, FrTime, lowering, optimization, static analysis, functional programming, scheme, lifting, reactive programming
18	George Giorgidze, Henrik Nilsson	Demo outline: switched-on yampa.	Haskell	2007	DBLP DOI BibTeX RDF	computer music, functional reactive programming
18	Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam	Physics inspired multiagent system for vehicle platooning.	AAMAS	2007	DBLP DOI BibTeX RDF	longitudinal and lateral control, merge and split, physics inspired behavior model, reactive multiagent, platoon
18	Branko Ster, Andrej Dobnikar	Modelling the Environment of a Mobile Robot with the Embedded Flow State Machine.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	reactive/planning approach, navigation, prediction, mobile robots, recurrent neural networks, environment modelling, topological modelling
18	Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden	Synthesizing safe state machines from Esterel.	LCTES	2006	DBLP DOI BibTeX RDF	SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel
18	Camil Demetrescu, Irene Finocchi	A data-driven graphical toolkit for software visualization.	SOFTVIS	2006	DBLP DOI BibTeX RDF	data flow execution model, graphical libraries, multi-paradigm programming languages, reactive environments, software visualization
18	Joanna Berzowska, Marcelo Coelho	Memory-rich clothing.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	physical touch, reactive garments, wearable computing, electronic textiles
18	Ingolf H. Krüger, Reena Mathew, Michael Meisinger	Efficient exploration of service-oriented architectures using aspects.	ICSE	2006	DBLP DOI BibTeX RDF	architecture comparison, distributed reactive systems, software architecture exploration, components, aspect-oriented programming, services, roles, aspects, aspectJ, service-oriented development
18	Sergei Kojarski, David H. Lorenz	Modeling aspect mechanisms: a top-down approach.	ICSE	2006	DBLP DOI BibTeX RDF	Hyper/J, aspect mechanism, nonreactive, open classes, top-down classification, weaving process model (WPM), AOP, taxonomy, AspectJ, definition, crosscutting concerns, reactive, DFD
18	Ingolf H. Krüger, Gunny Lee, Michael Meisinger	Automating software architecture exploration with M2Aspects.	SCESM	2006	DBLP DOI BibTeX RDF	architecture comparison, distributed reactive systems, software architecture exploration, components, aspect-oriented programming, services, scenarios, roles, aspects, AspectJ
18	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Reactively secure signature schemes.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Security, Cryptography, Digital signatures, Reactive
18	Sumir Chandra, Manish Parashar, Jingmei Yang, Yeliang Zhang, Salim Hariri	Investigating Autonomic Runtime Management Strategies for SAMR Applications.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	GridARM autonomic runtime management framework, application/system sensitive reactive and proactive partitioning, structured adaptive mesh refinement
18	Mikhail Auguston, James Bret Michael, Man-tak Shing	Environment behavior models for scenario generation and testing automation.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	reactive and real time system testing, model-based testing, testing automation
18	Claude Jard, Thierry Jéron	TGV: theory, principles and algorithms.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Test generation/synthesis, Model-checking, Protocols, Reactive systems, Conformance testing, Transition systems
18	Mikhail Auguston, James Bret Michael, Man-tak Shing	Environment behavior models for scenario generation and testing automation.	A-MOST	2005	DBLP DOI BibTeX RDF	reactive and real time system testing, model-based testing, testing automation
18	James Bailey 0001, François Bry, Paula-Lavinia Patranjan	Composite event queries for reactivity on the web.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	reactive languages, web, event-condition-action rules, composite events
18	Sanjeev Kumar 0002	A developmental genetics-inspired approach to robot control.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	reactive robots, control, development, genetic regulatory networks
18	Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang	Re-engineering software architecture of home service robots: a case study.	ICSE	2005	DBLP DOI BibTeX RDF	reactive systems, robot programming, software re-engineering
18	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	Proving correctness of timed concurrent constraint programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Concurrency, constraints, temporal logic, reactive systems
18	Eugene W. Stark	Formally specifying CARA in Java.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Java, Verification, Specification, Reactive systems, Medical devices
18	Seung Zoo Jeong, Naoki Hashimoto, Makoto Sato	A novel interaction system with force feedback between real - and virtual human: an entertainment system: "virtual catch ball".	Advances in Computer Entertainment Technology	2004	DBLP DOI BibTeX RDF	reactive motion, multimodal interaction, force feedback, virtual human
18	Margarita Mediavilla, Juan C. Fraile, Ignacio J. Galindo, Maria-Teresa González	Selection of Strategies for Collision-free Motion in Multi-manipulator Systems.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	on-line motion, path planning, dynamic environments, robot manipulators, reactive
18	Krishna Pandit, Jens B. Schmitt, Martin Karsten, Ralf Steinmetz	Bottleneck Estimation for Load Control Gateways.	MASCOTS	2003	DBLP DOI BibTeX RDF	reactive resource allocation, admission control, ECN
18	Ole Høgh Jensen, Robin Milner	Bigraphs and transitions.	POPL	2003	DBLP DOI BibTeX RDF	bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity
18	Alain Girault, Xavier Nicollin	Clock-Driven Automatic Distribution of Lustre Programs.	EMSOFT	2003	DBLP DOI BibTeX RDF	synchronous abstraction, data-flow languages, long duration tasks, reactive systems, clocks, Automatic distribution
18	Michael Mateas, Andrew Stern	A Behavior Language for Story-Based Believable Agents.	IEEE Intell. Syst.	2002	DBLP DOI BibTeX RDF	behavior language, reactive planning language, believable agents
18	James Bailey 0001, Alexandra Poulovassilis, Peter T. Wood	An event-condition-action language for XML.	WWW	2002	DBLP DOI BibTeX RDF	XML repositories, reactive functionality, rule analysis, XML, event-condition-action rules
18	Sorin Craciunescu	Proving the Equivalence of CLP Programs.	ICLP	2002	DBLP DOI BibTeX RDF	CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence
18	Jorge Solis, Carlo Alberto Avizzano, Massimo Bergamasco	Teaching to Write Japanese Characters Using a Haptic Interface.	Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems	2002	DBLP DOI BibTeX RDF	Reactive Robots, Hidden Markov Models, Haptic Interfaces
18	Christine Bourjot, Vincent Chevrier, Vincent Thomas	How social spiders inspired an approach To region detection.	AAMAS	2002	DBLP DOI BibTeX RDF	reactive multi-agent system, region detection, biological inspiration
18	Zygmunt J. Haas, Marc R. Pearlman	The performance of query control schemes for the zone routing protocol.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	bordercast, hybrid routing, query control, routing zone, Ad hoc network, routing protocol, reactive routing, proactive routing, ZRP, zone routing protocol
18	Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang	Modeling statecharts and activitycharts as signal equations.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	ctatemate, tatecharts, reactive systems, behavioral modeling, signal, synchronous languages
18	Natalia Sidorova, Martin Steffen	Embedding Chaos.	SAS	2001	DBLP DOI BibTeX RDF	open reactive systems, Model checking, data-flow analysis, SDL