Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Qing Zhao 0001, Lang Tong |
Energy efficiency of large-scale wireless networks: proactive versus reactive networking. |
IEEE J. Sel. Areas Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Nianjun Zhou, Huaming Wu, Alhussein A. Abouzeid |
The impact of traffic patterns on the overhead of reactive routing protocols. |
IEEE J. Sel. Areas Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Stavros G. Vougioukas, Spyros Fountas, Simon Blackmore, Lie Tang |
Combining reactive and deterministic behaviours for mobile agricultural robots. |
Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
agricultural robotics, automata, behaviours, hybrid control |
20 | Thomas C. Schmidt, Matthias Wählisch |
Predictive versus Reactive-Analysis of Handover Performance and Its Implications on IPv6 and Multicast Mobility. |
Telecommun. Syst. |
2005 |
DBLP DOI BibTeX RDF |
multicast mobility, handover performance, handover frequency, mobile IPv6, HMIPv6, FMIPv6 |
20 | Mark Mahoney |
Modeling Reactive Systems and Aspect-Orientation. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Simonin 0001, Franck Gechter |
An Environment-Based Methodology to Design Reactive Multi-agent Systems for Problem Solving. |
E4MAS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Rafael Murrieta-Cid, Alejandro Sarmiento, Teja Muppirala, Seth Hutchinson 0001, Raúl Monroy, Moises Alencastre-Miranda, Lourdes Muñoz-Gómez, Ricardo Swain Oropeza |
A Framework for Reactive Motion and Sensing Planning: A Critical Events-Based Approach. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ying Yang 0001, Xindong Wu 0001, Xingquan Zhu 0001 |
Combining proactive and reactive predictions for data streams. |
KDD |
2005 |
DBLP DOI BibTeX RDF |
conceptual equivalence, proactive learning, data stream |
20 | Steffen Priesterjahn, Oliver Kramer 0001, Alexander Weimer, Andreas Goebels |
Evolution of Reactive Rules in Multi Player Computer Games Based on Imitation. |
ICNC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Jiachuan Shi, Yutian Liu |
Fuzzy Evaluation Based Multi-objective Reactive Power Optimization in Distribution Networks. |
FSKD (1) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Masaki Omata, Masami Ishihara, Misa Grace Kwok, Atsumi Imamiya |
Haptizing Wind on a Weather Map with Reactive Force and Vibration. |
INTERACT |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Michael Backes 0001 |
Quantifying Probabilistic Information Flow in Computational Reactive Systems. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Mark B. Trakhtenbrot |
Use of Verification for Testing and Debugging of Complex Reactive Systems. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Radu Grosu |
Modular refinement of hierarchic reactive machines. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines |
20 | Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic |
A Concept of an Integrated Development Environment for Reactive Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Javier Minguez, Javier Osuna, Luis Montano |
A "Divide and Conquer" Strategy based on Situations to Achieve Reactive Collision Avoidance in Troublesome Scenarios. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Ana Lilia Laureano-Cruces, José Manuel de la Cruz-González, Javier Ramírez-Rodríguez, Julio Solano-González |
Reactive Agents to Improve a Parallel Genetic Algorithm Solution. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jürgen Dorn |
Evaluating Reactive Scheduling Systems. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Krysia Broda, Christopher J. Hogger |
Policies for Cloned Teleo-reactive Robots. |
MATES |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Óscar Sapena, Eva Onaindia, Martín Mellado, Carlos Correcher, Eduardo Vendrell |
Reactive Planning Simulation in Dynamic Environments with VirtualRobot. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
|
20 | David Harel |
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Terry A. Halpin, Gerd Wagner 0001 |
Modeling Reactive Behavior in ORM. |
ER |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Nick Feamster, David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek |
Measuring the effects of internet path faults on reactive routing. |
SIGMETRICS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Jong Hee Kang, Matthai Philipose, Gaetano Borriello |
River: An Infrastructure for Context Dependent, Reactive Communication Primitives. |
WMCSA |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres |
Specifying and Validating Reactive Systems with CommonKADS Methodology. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Pierangelo Dell'Acqua, Mattias Engberg, Luís Moniz Pereira |
An Architecture for a Rational Reactive Agent. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Josep Carmona 0001, Jordi Cortadella, Enric Pastor |
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. |
Concurrency and Hardware Design |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Mahmoud Tchikou, Eric Gouardères |
Multi-agent Model to Control Production System: A Reactive and Emergent Approach by Cooperation and Competition between Agents. |
Agent Technologies, Infrastructures, Tools, and Applications for E-Services |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe |
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Mohd Ridzuan Ahmad, Shamsudin H. M. Amin, Rosbi Mamat |
Development of decentralized based reactive control strategy for intelligent multi-agent mobile robotics system. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Andre Zanki Cordenonsi, Luis Otávio Alvares |
An Evolutionary Behavior Tool for Reactive Multi-agent Systems. |
SBIA |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Michael J. Maher |
Propagation Completeness of Reactive Constraints. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Valentina Piermarini, Leonardo Pacifici, Stefano Crocchianti, Antonio Laganà |
Parallel Approaches to the Integration of the Differential Equations for Reactive Scattering. |
International Conference on Computational Science (3) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Scott D. Stoller |
Domain partitioning for open reactive systems. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Hanoch Lev-Ari, Alex M. Stankovic |
Defining reactive power in circuit transients via local Fourier coefficients. |
ISCAS (5) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Izzet Pembeci, Henrik Nilsson, Gregory D. Hager |
Functional reactive robotics: an exercise in principled integration of domain-specific languages. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
robotics, functional programming, domain-specific languages, vision |
20 | Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro |
State- and Event-Based Reactive Programming in Shared Dataspaces. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Ferucio Laurentiu Tiplea, Aurora Tiplea |
A Simulation Preorder for Abstraction of Reactive Systems. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre |
Verification of Embedded Reactive Fiffo Systems. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Antony Courtney |
Frappé: Functional Reactive Programming in Java. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Brannon Batson, T. N. Vijaykumar |
Reactive-Associative Caches. |
IEEE PACT |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Marek A. Bednarczyk, Andrzej M. Borzyszkowski |
On Concurrent Realization of Reactive Systems and Their Morphisms. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Dimitris Vyzovitis, Keith L. Clark |
A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Marcio Kikuti, Luiz M. G. Gonçalves, Marcio Teruo Akyama, Marcos D. Medeiros, Mariana Reis, Claus C. Aranha |
Reactive Perception for Autonomous Task Manipulation in Robotic Agents. |
SIBGRAPI |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Na'aman Kam, Irun R. Cohen, David Harel |
The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Marc Frappier, Richard St-Denis |
Towards a Computer-Aided Design of Reactive Systems. |
EUROCAST |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Birgit Pfitzmann, Michael Waidner |
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. |
S&P |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Lano, Kelly Androutsopoulos, Pauline Kan |
Structuring Reactive Systems in B AMN. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Alessandro Bolloni, Stefano Crocchianti, Antonio Laganà |
Time Independent 3D Quantum Reactive Scattering on MIMD Parallel Computers. |
PVM/MPI |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Sofia Guerra |
Distance Functions for Defaults in Reactive Systems. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Radu Grosu |
Modular Refinement of Hierarchic Reactive Machines. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Martin A. Riedmiller, Andrew W. Moore 0001, Jeff G. Schneider |
Reinforcement Learning for Cooperating and Communicating Reactive Agents in Electrical Power Grids. |
Balancing Reactivity and Social Deliberation in Multi-Agent Systems |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi |
Open Systems in Reactive Environments: Control and Synthesis. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
20 | James J. Leifer, Robin Milner |
Deriving Bisimulation Congruences for Reactive Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Man Lin, Jacek Malec, Simin Nadjm-Tehrani |
On Semantics and Correctness of Reactive Rule-Based Programs. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Victor L. Winter |
A Synchronous Paradigm for Modeling Stable Reactive Systems. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Domingo Benitez, Jorge Cabrera 0001 |
Reactive Computer Vision System with Reconfigurable Architecture. |
ICVS |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Paul Hudak |
Functional Reactive Programming (Abstract). |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Jesper Andersson, Bengt Lennartsson |
Reactive Architectures with Architectural Agents. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Fariba Sadri, Francesca Toni |
Abduction with Negation as Failure for Active and Reactive Rules. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
20 | T. S. E. Maibaum, Pauline Kan, Kevin Lano |
Systematising Reactive System Design. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Boulanger, Guy Vidal-Naquet |
Modular Development of Control and Computational Modules Using Reactive Objects. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Florence Maraninchi, Yann Rémond |
Mode-Automata: About Modes and States for Reactive Systems. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Robi Malik |
Automated Deduction of Finite-State Control Programs for Reactive Systems. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan |
Automatically Closing Open Reactive Programs. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
C |
20 | Silvia Coradeschi, Thierry Vidal |
Accounting for Temporal Evolutions in Highly Reactive Decision-Making. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
dynamic supervision, context, controller, decision-making, temporal constraints, reactivity |
20 | Sven-Erik Bornscheuer |
Integrating Reactive and Reflective Reasoning by Generating Rational Models. |
Australian Joint Conference on Artificial Intelligence |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Leung-Chi Chan, Qing Li 0001 |
An Extensible Approach to Reactive Processing in an Advanced Object Modelling Environment. |
DEXA |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Conal Elliott, Paul Hudak |
Functional Reactive Animation. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Babak Falsafi, David A. Wood 0001 |
Reactive NUMA: A Design for Unifying S-COMA and CC-NUMA. |
ISCA |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott |
Flow analysis for concurrent, reactive, real-time systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Bourdot, Mike Krus, Rachid Gherbi |
Cooperation between Reactive 3D Objects and a Multimodal X Window Kernel for CAD. |
Multimodal Human-Computer Communication |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Mendes da Silva Filho |
Statecharts supervision models for reactive systems. |
CASCON |
1995 |
DBLP BibTeX RDF |
|
20 | E. Pascal Gribomont, Jacques Hagelstein |
Reactive Variables for System Specification and Design. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | James L. Crowley, Jean Marc Bedrune, Morten Bekker, Michael Schneider |
Integration and Control of Reactive Visual Processes. |
ECCV (2) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Yishai A. Feldman, Haim Schneider |
Simulating Reactive Systems by Deduction. |
ACM Trans. Softw. Eng. Methodol. |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Dipayan Gangopadhyay, Subrata Mitra |
ObjChart: Tangible Specification of Reactive Object Behavior. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
|
20 | G. Michele Pinna, Axel Poigné |
On the Specification of Elementary Reactive Behaviour. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Tzilla Elrad, Sungyoung Lee, Ufuk Verun |
Extending Working Evnrironments for the Development of Reactive/Adaptive Systems with Intelligent Controls. |
Ada-Europe |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Florence Maraninchi |
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Giulia Bianco, Matthew Holcomb, Diogo Santos-Martins, Andreas F. Tillack, Althea T. Hansel-Harris, Stefano Forli |
Reactive Docking: A Computational Method for High-Throughput Virtual Screenings of Reactive Species. |
J. Chem. Inf. Model. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Pierre Laguillaumie |
Développement logiciel pour le contrôle commande multiaxe réactif: Du contrôle bas niveau au jumeau numérique connecté. (Software development for reactive multi-axis control / Software development for reactive multi-axis control: from low-level control to connected digital twin). |
|
2023 |
RDF |
|
18 | Kevin Baldor, Xiaoyin Wang, Jianwei Niu 0001 |
Thorium: A Language for Bounded Verification of Dynamic Reactive Objects. |
REBLS@SPLASH |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Sreejith N. A., Eleonore Riber, Bénédicte Cuenot |
Analysis and design of a local time stepping scheme for LES acceleration in reactive and non-reactive flow simulations. |
J. Comput. Phys. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sam Van den Vonder, Thierry Renaux, Wolfgang De Meuter |
Topology-Level Reactivity in Distributed Reactive Programs - Reactive Acquaintance Management using Flocks. |
Art Sci. Eng. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sushil Kumar Gupta, Lalit Kumar, Manoj Kumar Kar, Sanjay Kumar |
Optimal reactive power dispatch under coordinated active and reactive load variations using FACTS devices. |
Int. J. Syst. Assur. Eng. Manag. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sam Van den Vonder, Thierry Renaux, Wolfgang De Meuter |
Topology-Level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Flocks. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
18 | Nicolas Hlad |
IsiSPL: un processus automatisé pour faciliter l'ingénierie des lignes de produits logiciels selon une stratégie d'adoption industrielle réactive ou extractive. (IsiSPL: an automated process to facilitate the engineering of software product lines according to a reactive or extractive industrial adoption strategy). |
|
2022 |
RDF |
|
18 | Louise Van Verre, Humberto Rodríguez-Avila, Jens Nicolay, Wolfgang De Meuter |
FLOREnce: A Hybrid Logic-Functional Reactive Programming Language. |
REBLS@SPLASH |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Shady M. Sadek, Walid A. Omran, Mohamed A. Moustafa Hassan, Hossam E. A. Talaat |
Data Driven Stochastic Energy Management for Isolated Microgrids Based on Generative Adversarial Networks Considering Reactive Power Capabilities of Distributed Energy Resources and Reactive Power Costs. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Dener A. L. Brandão, Thiago M. Parreiras, Igor A. Pires, Braz de Jesus Cardoso Filho |
Electric Arc Furnace Reactive Compensation System using True Power Factor - Reactive Compensator Converter. |
IAS |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Julien Ponge, Arthur Navarro, Clément Escoffier, Frédéric Le Mouël |
Analysing the performance and costs of reactive programming libraries in Java. |
REBLS@SPLASH |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Bjarno Oeyen, Sam Van den Vonder, Wolfgang De Meuter |
Trampoline variables: a general method for state accumulation in reactive programming. |
REBLS@SPLASH |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Timothy Bourke |
Specification and end-to-end proof of a reactive language and its compiler (invited talk). |
REBLS@SPLASH |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Cloé Descheemaeker, Sam Van den Vonder, Thierry Renaux, Wolfgang De Meuter |
Poker: visual instrumentation of reactive programs with programmable probes. |
REBLS@SPLASH |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Yu Zhou, Zhengshuo Li |
Study on Leveraging Wind Farm Reactive Power Potential for Uncertain Power System Reactive Power Optimization. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Natalia I. Naumova |
Reactive and Semi-Reactive Bargaining Sets for Games with Restricted Cooperation. |
IGTR |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Yang Xu, Jie Gao, Yong-biao Yang, Hai-Hong Bian |
Distributed Reactive Energy Storage Structure Voltage Reactive Power Control Algorithm Based on Big Data Analysis. |
ADHIP (2) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Bertrand Petit |
Temps et durée: de la programmation réactive synchrone à la composition musicale. (Time and duration: from synchronous reactive programming to music composition). |
|
2020 |
RDF |
|
18 | Tian Zhao 0002, Adam Berger, Yonglun Li |
Asynchronous monad for reactive IoT programming. |
REBLS@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|