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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 23(5), pp. 1100-1112, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 23(3), pp. 547-560, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Stavros G. Vougioukas, Spyros Fountas, Simon Blackmore, Lie Tang |
Combining reactive and deterministic behaviours for mobile agricultural robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 5(1), pp. 153-163, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 30(1-3), pp. 123-142, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
multicast mobility, handover performance, handover frequency, mobile IPv6, HMIPv6, FMIPv6 |
20 | Mark Mahoney |
Modeling Reactive Systems and Aspect-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Satellite Events) ![In: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, pp. 345-346, 2005, Springer, 3-540-31780-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Simonin 0001, Franck Gechter |
An Environment-Based Methodology to Design Reactive Multi-agent Systems for Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
E4MAS ![In: Environments for Multi-Agent Systems II, Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers, pp. 32-49, 2005, Springer, 3-540-32614-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings, pp. 990-1000, 2005, Springer, 3-540-29896-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ying Yang 0001, Xindong Wu 0001, Xingquan Zhu 0001 |
Combining proactive and reactive predictions for data streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Chicago, Illinois, USA, August 21-24, 2005, pp. 710-715, 2005, ACM, 1-59593-135-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (2) ![In: Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II, pp. 744-755, 2005, Springer, 3-540-28325-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Jiachuan Shi, Yutian Liu |
Fuzzy Evaluation Based Multi-objective Reactive Power Optimization in Distribution Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fuzzy Systems and Knowledge Discovery, Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I, pp. 11-19, 2005, Springer, 3-540-28312-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT ![In: Human-Computer Interaction - INTERACT 2005, IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings, pp. 18-29, 2005, Springer, 3-540-28943-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Michael Backes 0001 |
Quantifying Probabilistic Information Flow in Computational Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings, pp. 336-354, 2005, Springer, 3-540-28963-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Mark B. Trakhtenbrot |
Use of Verification for Testing and Debugging of Complex Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 13-22, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Radu Grosu |
Modular refinement of hierarchic reactive machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(2), pp. 339-369, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, pp. 233-241, 2004, IEEE Computer Society, 0-7695-2125-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 3855-3862, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings, pp. 698-706, 2004, Springer, 3-540-21459-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jürgen Dorn |
Evaluating Reactive Scheduling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 20-24 September 2004, Beijing, China, pp. 458-461, 2004, IEEE Computer Society, 0-7695-2101-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Krysia Broda, Christopher J. Hogger |
Policies for Cloned Teleo-reactive Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings, pp. 328-340, 2004, Springer, 3-540-23222-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 699-707, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | David Harel |
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, pp. 2, 2003, Springer, 3-540-00913-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Terry A. Halpin, Gerd Wagner 0001 |
Modeling Reactive Behavior in ORM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings, pp. 567-569, 2003, Springer, 3-540-20299-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS 2003, June 9-14, 2003, San Diego, CA, USA, pp. 126-137, 2003, ACM, 1-58113-664-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Jong Hee Kang, Matthai Philipose, Gaetano Borriello |
River: An Infrastructure for Context Dependent, Reactive Communication Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMCSA ![In: 5th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2003), 9-10 October 2003, Monterey, CA, USA, pp. 77-, 2003, IEEE Computer Society, 0-7695-1995-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres |
Specifying and Validating Reactive Systems with CommonKADS Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I, pp. 39-44, 2003, Springer, 3-540-40803-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Pierangelo Dell'Acqua, Mattias Engberg, Luís Moniz Pereira |
An Architecture for a Rational Reactive Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings, pp. 379-393, 2003, Springer, 3-540-20589-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Josep Carmona 0001, Jordi Cortadella, Enric Pastor |
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency and Hardware Design ![In: Concurrency and Hardware Design, Advances in Petri Nets, pp. 108-151, 2002, Springer, 3-540-00199-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agent Technologies, Infrastructures, Tools, and Applications for E-Services ![In: Agent Technologies, Infrastructures, Tools, and Applications for E-Services, NODe 2002 Agent-Related Workshops, Erfurt, Germany, October 7-10, 2002. Revised Papers, pp. 329-342, 2002, Springer, 3-540-00742-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe |
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pp. 80-100, 2002, Springer, 3-540-43787-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Seventh International Conference on Control, Automation, Robotics and Vision, ICARCV 2002, Singapore, 2-5 December 2002, Proceedings, pp. 220-227, 2002, IEEE, 981-04-8364-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Andre Zanki Cordenonsi, Luis Otávio Alvares |
An Evolutionary Behavior Tool for Reactive Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence, 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings, pp. 334-344, 2002, Springer, 3-540-00124-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Michael J. Maher |
Propagation Completeness of Reactive Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 148-162, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part III, pp. 908-917, 2002, Springer, 3-540-43594-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Scott D. Stoller |
Domain partitioning for open reactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 44-54, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Hanoch Lev-Ari, Alex M. Stankovic |
Defining reactive power in circuit transients via local Fourier coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 689-692, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 168-179, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings, pp. 111-124, 2002, Springer, 3-540-43410-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Ferucio Laurentiu Tiplea, Aurora Tiplea |
A Simulation Preorder for Abstraction of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, pp. 272-288, 2002, Springer, 3-540-43631-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings, pp. 400-414, 2002, Springer, 3-540-43400-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Antony Courtney |
Frappé: Functional Reactive Programming in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, pp. 29-44, 2001, Springer, 3-540-41768-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Brannon Batson, T. N. Vijaykumar |
Reactive-Associative Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 2001 International Conference on Parallel Architectures and Compilation Techniques (PACT 2001), 8-12 September 2001, Barcelona, Spain, pp. 49-60, 2001, IEEE Computer Society, 0-7695-1363-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Marek A. Bednarczyk, Andrzej M. Borzyszkowski |
On Concurrent Realization of Reactive Systems and Their Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unifying Petri Nets ![In: Unifying Petri Nets, Advances in Petri Nets, pp. 346-379, 2001, Springer, 3-540-43067-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Dimitris Vyzovitis, Keith L. Clark |
A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 263-270, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 14th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2001), 15-18 October 2001, Florianopolis, Brazil, pp. 403, 2001, IEEE Computer Society, 0-7695-1330-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 15-22, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Marc Frappier, Richard St-Denis |
Towards a Computer-Aided Design of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers, pp. 421-436, 2001, Springer, 3-540-42959-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Birgit Pfitzmann, Michael Waidner |
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2001 IEEE Symposium on Security and Privacy, Oakland, California, USA May 14-16, 2001, pp. 184-200, 2001, IEEE Computer Society, 0-7695-1046-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Lano, Kelly Androutsopoulos, Pauline Kan |
Structuring Reactive Systems in B AMN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 25-34, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Alessandro Bolloni, Stefano Crocchianti, Antonio Laganà |
Time Independent 3D Quantum Reactive Scattering on MIMD Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 2000, Proceedings, pp. 338-345, 2000, Springer, 3-540-41010-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Sofia Guerra |
Distance Functions for Defaults in Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 26-40, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Radu Grosu |
Modular Refinement of Hierarchic Reactive Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, pp. 390-402, 2000, ACM, 1-58113-125-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Balancing Reactivity and Social Deliberation in Multi-Agent Systems ![In: Balancing Reactivity and Social Deliberation in Multi-Agent Systems, From RoboCup to Real-World Applications (selected papers from the ECAI 2000 Workshop and additional contributions), pp. 137-149, 2000, Springer, 3-540-42327-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi |
Open Systems in Reactive Environments: Control and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 92-107, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | James J. Leifer, Robin Milner |
Deriving Bisimulation Congruences for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 243-258, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Man Lin, Jacek Malec, Simin Nadjm-Tehrani |
On Semantics and Correctness of Reactive Rule-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 235-246, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Victor L. Winter |
A Synchronous Paradigm for Modeling Stable Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 257-268, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Domingo Benitez, Jorge Cabrera 0001 |
Reactive Computer Vision System with Reconfigurable Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVS ![In: Computer Vision Systems, First International Conference, ICVS '99, Las Palmas, Gran Canaria, Spain, January 13-15, 1999, Proceedings, pp. 348-360, 1999, Springer, 3-540-65459-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Paul Hudak |
Functional Reactive Programming (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 1, 1999, Springer, 3-540-65699-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Jesper Andersson, Bengt Lennartsson |
Reactive Architectures with Architectural Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Fariba Sadri, Francesca Toni |
Abduction with Negation as Failure for Active and Reactive Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings, pp. 49-60, 1999, Springer, 3-540-67350-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | T. S. E. Maibaum, Pauline Kan, Kevin Lano |
Systematising Reactive System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 17-22, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Boulanger, Guy Vidal-Naquet |
Modular Development of Control and Computational Modules Using Reactive Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 515-518, 1998, Springer, 3-540-65460-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Florence Maraninchi, Yann Rémond |
Mode-Automata: About Modes and States for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 185-199, 1998, Springer, 3-540-64302-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Robi Malik |
Automated Deduction of Finite-State Control Programs for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings, pp. 302-316, 1998, Springer, 3-540-64675-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan |
Automatically Closing Open Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 345-357, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C |
20 | Silvia Coradeschi, Thierry Vidal |
Accounting for Temporal Evolutions in Highly Reactive Decision-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 3-10, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers, pp. 83-94, 1998, Springer, 3-540-65138-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Leung-Chi Chan, Qing Li 0001 |
An Extensible Approach to Reactive Processing in an Advanced Object Modelling Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings, pp. 38-47, 1997, Springer, 3-540-63478-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Conal Elliott, Paul Hudak |
Functional Reactive Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 263-273, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Babak Falsafi, David A. Wood 0001 |
Reactive NUMA: A Design for Unifying S-COMA and CC-NUMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 24th International Symposium on Computer Architecture, Denver, Colorado, USA, June 2-4, 1997, pp. 229-240, 1997, ACM, 0-89791-901-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 176-183, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimodal Human-Computer Communication ![In: Multimodal Human-Computer Communication, Systems, Techniques, and Experiments, pp. 188-212, 1995, Springer, 3-540-64380-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Mendes da Silva Filho |
Statecharts supervision models for reactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada, pp. 16, 1995, IBM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
20 | E. Pascal Gribomont, Jacques Hagelstein |
Reactive Variables for System Specification and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings, pp. 275-286, 1994, Springer, 3-540-57785-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | James L. Crowley, Jean Marc Bedrune, Morten Bekker, Michael Schneider |
Integration and Control of Reactive Visual Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV'94, Third European Conference on Computer Vision, Stockholm, Sweden, May 2-6, 1994, Proceedings, Volume II, pp. 47-58, 1994, Springer, 3-540-57957-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Yishai A. Feldman, Haim Schneider |
Simulating Reactive Systems by Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 2(2), pp. 128-175, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Dipayan Gangopadhyay, Subrata Mitra |
ObjChart: Tangible Specification of Reactive Object Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings, pp. 432-457, 1993, Springer, 3-540-57120-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | G. Michele Pinna, Axel Poigné |
On the Specification of Elementary Reactive Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 271-292, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings, pp. 242-256, 1992, Springer, 3-540-55585-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Florence Maraninchi |
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 38-53, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 63(17), pp. 5631-5640, September 2023. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
18 | Kevin Baldor, Xiaoyin Wang, Jianwei Niu 0001 |
Thorium: A Language for Bounded Verification of Dynamic Reactive Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2023, Cascais, Portugal, 23 October 2023, pp. 1-13, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 470, pp. 111580, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Art Sci. Eng. Program. ![In: Art Sci. Eng. Program. 6(3), pp. 14, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 13(5), pp. 2672-2682, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.09228, 2022. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
18 | Louise Van Verre, Humberto Rodríguez-Avila, Jens Nicolay, Wolfgang De Meuter |
FLOREnce: A Hybrid Logic-Functional Reactive Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2022, Auckland, New Zealand, 7 December 2022, pp. 24-36, 2022, ACM, 978-1-4503-9911-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 5397-5411, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: IEEE Industry Applications Society Annual Meeting, IAS 2021, Vancouver, BC, Canada, October 10-14, 2021, pp. 1-8, 2021, IEEE, 978-1-7281-6401-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: REBLS 2021: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Chicago, IL, USA, 18 October 2021, pp. 51-60, 2021, ACM, 978-1-4503-9108-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: REBLS 2021: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Chicago, IL, USA, 18 October 2021, pp. 27-40, 2021, ACM, 978-1-4503-9108-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Timothy Bourke |
Specification and end-to-end proof of a reactive language and its compiler (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: REBLS 2021: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Chicago, IL, USA, 18 October 2021, pp. 1, 2021, ACM, 978-1-4503-9108-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: REBLS 2021: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Chicago, IL, USA, 18 October 2021, pp. 14-26, 2021, ACM, 978-1-4503-9108-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.04545, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Natalia I. Naumova |
Reactive and Semi-Reactive Bargaining Sets for Games with Restricted Cooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGTR ![In: IGTR 22(3), pp. 2050001:1-2050001:23, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHIP (2) ![In: Advanced Hybrid Information Processing - 4th EAI International Conference, ADHIP 2020, Binzhou, China, September 26-27, 2020, Proceedings, Part II, pp. 91-102, 2020, Springer, 978-3-030-67873-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
18 | Tian Zhao 0002, Adam Berger, Yonglun Li |
Asynchronous monad for reactive IoT programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: REBLS 2020: Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Virtual Event, USA, November 16, 2020, pp. 25-37, 2020, ACM, 978-1-4503-8188-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|