


Остановите войну!
for scientists:


default search action
Michel Barbeau
Person information

- affiliation: Carleton University, Ottawa, Canada
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [i8]Iain Burge, Michel Barbeau, Joaquín García-Alfaro:
A Quantum Algorithm for Shapley Value Estimation. CoRR abs/2301.04727 (2023) - 2022
- [j32]Randy Kuang, Maria Perepechaenko, Michel Barbeau:
A new post-quantum multivariate polynomial public key encapsulation algorithm. Quantum Inf. Process. 21(1) (2022) - [j31]Randy Kuang
, Michel Barbeau
:
Quantum permutation pad for universal quantum-safe cryptography. Quantum Inf. Process. 21(6): 211 (2022) - [j30]Michel Barbeau
, Joaquín García
, Evangelos Kranakis
:
Research Trends in Collaborative Drones. Sensors 22(9): 3321 (2022) - [c84]Fatemeh Banaeizadeh, Michel Barbeau, Joaquín García-Alfaro, Venkata Srinivas Kothapalli, Evangelos Kranakis:
Uplink Interference Management in Cellular-Connected UAV Networks Using Multi-Armed Bandit and NOMA. LATINCOM 2022: 1-6 - [c83]Mohammad Tayefe Ramezanlou, Howard Schwartz, Ioannis Lambadaris, Michel Barbeau:
Comparison of Cellular Network Controllers for Quadrotors Experiencing Time Delay. MED 2022: 500-507 - [c82]Randy Kuang, Maria Perepechaenko, Ryan Toth, Michel Barbeau:
Benchmark Performance of a New Quantum-Safe Multivariate Polynomial Digital Signature Algorithm. QCE 2022: 454-464 - [i7]Michel Barbeau, Joaquín García-Alfaro:
Cyber-Physical Defense in the Quantum Era. CoRR abs/2202.10354 (2022) - 2021
- [j29]Michel Barbeau
, Frédéric Cuppens
, Nora Cuppens
, Romain Dagnas
, Joaquín García-Alfaro
:
Resilience Estimation of Cyber-Physical Systems via Quantitative Metrics. IEEE Access 9: 46462-46475 (2021) - [j28]Michel Barbeau
, Joaquín García-Alfaro
, Evangelos Kranakis
, Fillipe Santos
:
GPS-Free, Error Tolerant Path Planning for Swarms of Micro Aerial Vehicles with Quality Amplification ‡. Sensors 21(14): 4731 (2021) - [c81]Michel Barbeau
, Stéphane Blouin
, Ahmad Traboulsi
:
Frame Design for Adaptability in Long-Range Underwater Communication. ADHOCNETS/TRIDENTCOM 2021: 130-143 - [c80]Michel Barbeau
, Joaquín García-Alfaro
, Evangelos Kranakis
:
Risky Zone Avoidance Strategies for Drones. CCECE 2021: 1-6 - [c79]Randy Kuang
, Michel Barbeau
:
Indistinguishability and Non-deterministic Encryption of the Quantum Safe Multivariate Polynomial Public Key Cryptographic System. CCECE 2021: 1-5 - [c78]Ahmad Traboulsi
, Michel Barbeau:
A Reverse Turing Like Test for Quad-copters. DCOSS 2021: 351-358 - [c77]Michel Barbeau
, Stéphane Blouin, Ahmad Traboulsi:
Performance of an Underwater Communication System in a Sea Trial Done in the Canadian Arctic*. MeditCom 2021: 448-453 - [c76]Fatemeh Banaeizadeh, Michel Barbeau, Joaquín García-Alfaro
, Evangelos Kranakis, Tao Wan:
Pilot Contamination Attack Detection in 5G Massive MIMO Systems Using Generative Adversarial Networks. MeditCom 2021: 479-484 - [c75]Randy Kuang
, Michel Barbeau:
Performance Analysis of the Quantum Safe Multivariate Polynomial Public Key Algorithm. QCE 2021: 351-358 - 2020
- [c74]Michel Barbeau, Joaquín García-Alfaro
, Evangelos Kranakis:
Geocaching-Inspired Navigation for Micro Aerial Vehicles with Fallible Place Recognition. ADHOC-NOW 2020: 55-70 - [c73]Michel Barbeau
, Joaquín García-Alfaro
, Evangelos Kranakis
:
Capacity Requirements in Networks of Quantum Repeaters and Terminals. QCE 2020: 148-157 - [c72]Michel Barbeau, Frédéric Cuppens, Nora Cuppens, Romain Dagnas
, Joaquín García-Alfaro
:
Metrics to Enhance the Resilience of Cyber-Physical Systems. TrustCom 2020: 1167-1172 - [e3]Abdelmalek Benzekri, Michel Barbeau
, Guang Gong, Romain Laborde
, Joaquín García-Alfaro
:
Foundations and Practice of Security - 12th International Symposium, FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12056, Springer 2020, ISBN 978-3-030-45370-1 [contents]
2010 – 2019
- 2019
- [j27]Abdel Mehsen Ahmad, Michel Barbeau
, Joaquín García-Alfaro
, Jamil Kassem, Evangelos Kranakis
:
Tuning the demodulation frequency based on a normalized trajectory model for mobile underwater acoustic communications. Trans. Emerg. Telecommun. Technol. 30(12) (2019) - [c71]Michel Barbeau, Joaquín García-Alfaro:
Faking and Discriminating the Navigation Data of a Micro Aerial Vehicle Using Quantum Generative Adversarial Networks. GLOBECOM Workshops 2019: 1-6 - [c70]Michel Barbeau, Joaquín García-Alfaro
, Evangelos Kranakis, Fillipe Santos:
Quality Amplification of Error Prone Navigation for Swarms of Micro Aerial Vehicles. GLOBECOM Workshops 2019: 1-6 - [c69]Michel Barbeau, Joaquín García-Alfaro
, Evangelos Kranakis:
Geocaching-inspired Resilient Path Planning for Drone Swarms. INFOCOM Workshops 2019: 620-625 - [i6]Michel Barbeau, Joaquín García-Alfaro, Evangelos Kranakis, Fillipe Santos:
Quality Amplification of Error Prone Navigation for Swarms of Micro Aerial Vehicles (with Detailed Simulations). CoRR abs/1906.09505 (2019) - [i5]Michel Barbeau, Joaquín García-Alfaro:
Faking and Discriminating the Navigation Data of a Micro Aerial Vehicle Using Quantum Generative Adversarial Networks. CoRR abs/1907.03038 (2019) - [i4]Michel Barbeau, Georg Carle, Joaquín García-Alfaro, Vicenç Torra:
Next Generation Resilient Cyber-Physical Systems. CoRR abs/1907.08849 (2019) - 2018
- [j26]Abdel Mehsen Ahmad, Jamil Kassem, Michel Barbeau, Evangelos Kranakis, Steven Porretta, Joaquín García
:
Doppler Effect in the Acoustic Ultra Low Frequency Band for Wireless Underwater Networks. Mob. Networks Appl. 23(5): 1282-1292 (2018) - [c68]Abdel Mehsen Ahmad, Michel Barbeau
, Joaquín García-Alfaro
, Jamil Kassem, Evangelos Kranakis
, Steven Porretta:
Low Frequency Mobile Communications in Underwater Networks. ADHOC-NOW 2018: 239-251 - [i3]Haoye Lu, Michel Barbeau, Amiya Nayak:
No-Key Semi-Quantum Direct Communication Protocol with Low Quantum Resource Requirements. CoRR abs/1810.06337 (2018) - 2017
- [j25]Jie Huang, Michel Barbeau
, Stéphane Blouin, Craig Hamm, Martin Taillefer:
Simulation and modeling of hydro acoustic communication channels with wide band attenuation and ambient noise. Int. J. Parallel Emergent Distributed Syst. 32(5): 466-485 (2017) - [j24]Wei Shi
, Michel Barbeau
, Jean-Pierre Corriveau, Joaquín García-Alfaro
, Meng Yao:
Secure Localization in the Presence of Colluders in WSNs. Sensors 17(8): 1892 (2017) - [c67]Abdel Mehsen Ahmad, Michel Barbeau, Joaquín García-Alfaro
, Jamil Kassem, Evangelos Kranakis, Steven Porretta:
Doppler Effect in the Underwater Acoustic Ultra Low Frequency Band. ADHOCNETS 2017: 3-12 - [c66]Michel Barbeau, Joaquín García-Alfaro
, Evangelos Kranakis, Steven Porretta:
The Sound of Communication in Underwater Acoustic Sensor Networks - (Position Paper). ADHOCNETS 2017: 13-23 - [c65]Haoye Lu, Michel Barbeau
, Amiya Nayak:
Economic No-Key Semi-Quantum Direct Communication Protocol. GLOBECOM Workshops 2017: 1-7 - [c64]Michel Barbeau
:
Secure Quantum Data Communications Using Classical Keying Material. QTOP@NetSys 2017: 183-195 - [c63]Stéphane Blouin, Michel Barbeau
:
An Experimental Baseline for Underwater Acoustic Broadcasts. VTC Fall 2017: 1-5 - [c62]Steven Porretta, Michel Barbeau
, Joaquín García-Alfaro
, Evangelos Kranakis
:
Learning to Communicate Underwater: An Exploration of Limited Mobility Agents. WUWNet 2017: 2:1-2:5 - 2016
- [j23]Michel Barbeau
, Gimer Cervera, Joaquín García-Alfaro
, Evangelos Kranakis
:
Channel selection using a multiple radio model. J. Netw. Comput. Appl. 64: 113-123 (2016) - [c61]Michel Barbeau
, Zach Renaud, Wenqian Wang:
Management of Surveillance Underwater Acoustic Networks. ADHOCNETS 2016: 3-14 - [c60]Saleh Almousa, Michel Barbeau
:
Delay and Reflection Attacks in Authenticated Semi-Quantum Direct Communications. GLOBECOM Workshops 2016: 1-7 - 2015
- [c59]Salvador Jauregui, Michel Barbeau
, Evangelos Kranakis
, Edson Scalabrin, Mario Siller:
Localization of a Mobile Node in Shaded Areas. ADHOC-NOW 2015: 93-106 - [c58]Michel Barbeau
, Stéphane Blouin, Gimer Cervera, Joaquín García-Alfaro
, B. Hasannezhad, Evangelos Kranakis
:
Simulation of underwater communications with a colored noise approximation and mobility. CCECE 2015: 1532-1537 - [c57]Jie Huang, Michel Barbeau, Stéphane Blouin, Craig Hamm, Martin Taillefer:
Simulation of communications using underwater acoustic signals impaired by wide band attenuation. CCECE 2015: 1538-1543 - [c56]Michel Barbeau
, Stéphane Blouin, Gimer Cervera, Joaquín García-Alfaro
, Evangelos Kranakis
:
Location-free link state routing for underwater acoustic sensor networks. CCECE 2015: 1544-1549 - [c55]Stéphane Blouin, Michel Barbeau, Evangelos Kranakis:
Refracted Acoustic Communications in Wireless Underwater Sensor Networks with Mobility. SENSORNETS 2015: 113-121 - [i2]Michel Barbeau, Steve R. Cloutier, Joaquín García-Alfaro:
Quantum Computing Assisted Medium Access Control for Multiple Client Station Networks. CoRR abs/1507.00270 (2015) - 2014
- [c54]Michel Barbeau
, Gimer Cervera, Joaquín García-Alfaro
, Evangelos Kranakis
:
Revisiting the Performance of the Modular Clock Algorithm for Distributed Blind Rendezvous in Cognitive Radio Networks. ADHOC-NOW 2014: 197-208 - [c53]Michel Barbeau
, Gimer Cervera, Joaquín García-Alfaro
, Evangelos Kranakis
:
A new analysis of the cognitive radio jump-stay algorithm under the asymmetric model. ICC 2014: 1590-1595 - [c52]Michel Barbeau
, Gimer Cervera, Joaquín García-Alfaro
, Evangelos Kranakis
:
The Bidirectional Algorithm for Channel Selection Using a Two-Radio Model. VTC Fall 2014: 1-5 - 2013
- [j22]Tahsin Arafat Reza, Michel Barbeau:
QaASs: QoS aware adaptive security scheme for video streaming in MANETs. J. Inf. Secur. Appl. 18(1): 68-82 (2013) - [j21]Gimer Cervera, Michel Barbeau
, Joaquín García-Alfaro
, Evangelos Kranakis
:
A multipath routing strategy to prevent flooding disruption attacks in link state routing protocols for MANETs. J. Netw. Comput. Appl. 36(2): 744-755 (2013) - [c51]Tahsin Arafat Reza, Michel Barbeau
, Gilles Lamothe, Badr Alsubaihi:
Non-cooperating vehicle tracking in VANETs using the conditional logit model. ITSC 2013: 626-633 - [c50]Tahsin Arafat Reza, Michel Barbeau
, Badr Alsubaihi:
Tracking an on the run vehicle in a metropolitan VANET. Intelligent Vehicles Symposium 2013: 220-227 - [c49]Michel Barbeau
, Gimer Cervera, Joaquín García-Alfaro
, Evangelos Kranakis
:
A new analytic model for the cognitive radio jump-stay algorithm. Wireless Days 2013: 1-3 - [c48]Gimer Cervera, Michel Barbeau
, Joaquín García-Alfaro
, Evangelos Kranakis
:
QoS and security in Link State Routing protocols for MANETs. Wireless Days 2013: 1-6 - 2012
- [j20]Wei Shi, Michel Barbeau, Joaquín García-Alfaro, Jean-Pierre Corriveau:
Handling the Evil Ring Attack on Localization and Routing in Wireless Sensor Networks. Ad Hoc Sens. Wirel. Networks 17(1-2): 87-102 (2012) - [j19]Michel Barbeau
:
Point-to-point voice over ad hoc networks: A survey. Pervasive Mob. Comput. 8(3): 376-387 (2012) - [c47]Tahsin Arafat Reza, Michel Barbeau
:
QoS Aware Adaptive Security Scheme for Video Streaming in MANETs. FPS 2012: 324-340 - 2011
- [j18]Joaquín García-Alfaro
, Michel Barbeau
, Evangelos Kranakis
:
Secure geolocalization of wireless sensor nodes in the presence of misbehaving anchor nodes. Ann. des Télécommunications 66(9-10): 535-552 (2011) - [j17]Joaquín García-Alfaro, Michel Barbeau, Evangelos Kranakis:
Proactive Threshold Cryptosystem for EPC Tags. Ad Hoc Sens. Wirel. Networks 12(3-4): 187-208 (2011) - [j16]Michel Barbeau
, Prosenjit Bose
, Paz Carmi, Mathieu Couture, Evangelos Kranakis
:
Location-Oblivious Distributed Unit Disk Graph Coloring. Algorithmica 60(2): 236-249 (2011) - [c46]Gimer Cervera, Michel Barbeau
, Joaquín García-Alfaro
, Evangelos Kranakis
:
Mitigation of Flooding Disruption Attacks in Hierarchical OLSR Networks. CNSR 2011: 167-174 - [c45]Gimer Cervera, Michel Barbeau
, Joaquín García-Alfaro
, Evangelos Kranakis
:
Preventing the Cluster Formation Attack against the Hierarchical OLSR Protocol. FPS 2011: 118-131 - [c44]Michel Barbeau
:
Simultaneous operation of multiple collocated radios and the scanning problem. Wireless Days 2011: 1-6 - 2010
- [j15]Christine Laurendeau, Michel Barbeau
:
Centroid Localization of Uncooperative Nodes in Wireless Networks Using a Relative Span Weighting Method. EURASIP J. Wirel. Commun. Netw. 2010 (2010) - [c43]Paul Boone, Michel Barbeau
, Evangelos Kranakis
:
Prioritized Access for Emergency Stations in Next Generation Broadband Wireless Networks. CNSR 2010: 319-326 - [c42]Payal Bhatia, Christine Laurendeau, Michel Barbeau
:
Solution to the wireless evil-twin transmitter attack. CRiSIS 2010: 1-7 - [c41]Gimer Cervera, Michel Barbeau
, Joaquín García-Alfaro
, Evangelos Kranakis
:
Mitigation of topology control traffic attacks in OLSR networks. CRiSIS 2010: 1-8 - [c40]Michel Barbeau
:
Assessment of the true risks to the protection of confidential information in the wireless home and office environment. WOWMOM 2010: 1-6 - [c39]Paul Boone, Michel Barbeau
, Evangelos Kranakis
:
Using time-of-day and location-based mobility profiles to improve scanning during handovers. WOWMOM 2010: 1-6 - [c38]Wei Shi, Michel Barbeau
, Jean-Pierre Corriveau
:
Detection of the Evil ring attack in wireless sensor networks using cross verification. WOWMOM 2010: 1-6
2000 – 2009
- 2009
- [j14]Christine Laurendeau, Michel Barbeau
:
Probabilistic Localization and Tracking of Malicious Insiders Using Hyperbolic Position Bounding in Vehicular Networks. EURASIP J. Wirel. Commun. Netw. 2009 (2009) - [j13]Christine Laurendeau, Michel Barbeau:
Probabilistic Evidence Aggregation for Malicious Node Position Bounding in Wireless Networks. J. Networks 4(1): 9-18 (2009) - [c37]Joaquín García-Alfaro
, Michel Barbeau
, Evangelos Kranakis
:
Secure Localization of Nodes in Wireless Sensor Networks with Limited Number of Truth Tellers. CNSR 2009: 86-93 - [c36]Joaquín García-Alfaro
, Michel Barbeau
, Evangelos Kranakis
:
Security Threat Mitigation Trends in Low-Cost RFID Systems. DPM/SETOP 2009: 193-207 - [c35]Christine Laurendeau, Michel Barbeau
:
Relative Span Weighted Localization of Uncooperative Nodes in Wireless Networks. WASA 2009: 358-367 - [i1]Joaquín García-Alfaro, Michel Barbeau, Evangelos Kranakis:
Evaluation of Anonymized ONS Queries. CoRR abs/0911.4313 (2009) - 2008
- [j12]Mathieu Couture, Michel Barbeau, Prosenjit Bose, Evangelos Kranakis:
Incremental Construction of k-Dominating Sets in Wireless Sensor Networks. Ad Hoc Sens. Wirel. Networks 5(1-2): 47-68 (2008) - [j11]Christine Laurendeau, Michel Barbeau:
Insider attack attribution using signal strength-based hyperbolic location estimation. Secur. Commun. Networks 1(4): 337-349 (2008) - [c34]Joaquín García-Alfaro
, Michel Barbeau
, Evangelos Kranakis
:
Analysis of Threats to the Security of EPC Networks. CNSR 2008: 67-74 - [c33]Joaquín García-Alfaro
, Michel Barbeau
, Evangelos Kranakis
:
Security Threats on EPC Based RFID Systems. ITNG 2008: 1242-1244 - [c32]Christine Laurendeau, Michel Barbeau
:
Hyperbolic location estimation of malicious nodes in mobile WiFi/802.11 networks. LCN 2008: 600-607 - 2007
- [b1]Michel Barbeau, Evangelos Kranakis:
Principles of ad hoc networking. Wiley 2007, pp. I-XX, 1-254 - [c31]Paul Boone, Michel Barbeau
, Evangelos Kranakis
:
Strategies for fast scanning and handovers in WiMAX/802.16. AccessNets 2007: 1-7 - [c30]Christine Laurendeau, Michel Barbeau:
Secure Anonymous Broadcasting in Vehicular Networks. LCN 2007: 661-668 - [c29]Mathieu Couture, Michel Barbeau, Prosenjit Bose, Paz Carmi, Evangelos Kranakis:
Location Oblivious Distributed Unit Disk Graph Coloring. SIROCCO 2007: 222-233 - 2006
- [j10]Michel Barbeau
, Jean-Marc Robert:
Rogue-base station detection in WiMax/802.16 wireless access networks. Ann. des Télécommunications 61(11-12): 1300-1313 (2006) - [j9]Michel Barbeau, Evangelos Kranakis, Honghui Luo:
Strategies for Service Discovery over Ad Hoc Networks. Eng. Lett. 13(1): 11-23 (2006) - [c28]Christine Laurendeau, Michel Barbeau:
Threats to Security in DSRC/WAVE. ADHOC-NOW 2006: 266-279 - [c27]Jeyanthi Hall, Michel Barbeau, Evangelos Kranakis:
Detecting rogue devices in bluetooth networks using radio frequency fingerprinting. Communications and Computer Networks 2006: 108-113 - [c26]Mathieu Couture, Michel Barbeau, Prosenjit Bose, Evangelos Kranakis:
Incremental Construction of k-Dominating Sets in Wireless Sensor Networks. OPODIS 2006: 202-214 - 2005
- [c25]Michel Barbeau, Jeyanthi Hall, Evangelos Kranakis:
Detecting Impersonation Attacks in Future Wireless and Mobile Networks. MADNES 2005: 80-95 - [c24]Michel Barbeau
:
WiMax/802.16 threat analysis. Q2SWinet 2005: 8-15 - [c23]Jeyanthi Hall, Michel Barbeau
, Evangelos Kranakis:
Anomaly-based intrusion detection using mobility profiles of public transportation users. WiMob (2) 2005: 17-24 - [c22]Vinod Kumar Choyi, Michel Barbeau
:
Low-latency secure mobile communications. WiMob (2) 2005: 38-43 - [c21]Michel Barbeau
, Jean-Marc Robert:
Perfect identity concealment in UMTS over radio access links. WiMob (2) 2005: 72-77 - 2004
- [c20]Michel Barbeau, Evangelos Kranakis, Danny Krizanc, Pat Morin
:
Improving Distance Based Geographic Location Techniques in Sensor Networks. ADHOC-NOW 2004: 197-210 - [c19]Jeyanthi Hall, Michel Barbeau, Evangelos Kranakis:
Enhancing intrusion detection in wireless networks using radio frequency fingerprinting. Communications, Internet, and Information Technology 2004: 201-206 - [c18]Honghui Luo, Michel Barbeau
:
Performance Evaluation of Service Discovery Strategies in Ad Hoc Networks. CNSR 2004: 61-68 - [c17]Zheyin Li, Michel Barbeau
:
Performance of Generative Programming Based Protocol Implementation. CNSR 2004: 113-120 - [c16]Ramiro Liscano, Amir Ghavam, Michel Barbeau
:
Integrating Service Discovery Protocols with Presence-Based Communications for Ad Hoc Collaborative Scenarios. CNSR 2004: 357-361 - [e2]Ioanis Nikolaidis, Michel Barbeau, Evangelos Kranakis:
Ad-Hoc, Mobile, and Wireless Networks: Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004. Proceedings. Lecture Notes in Computer Science 3158, Springer 2004, ISBN 3-540-22543-9 [contents] - 2003
- [j8]Victor Azondekon, Michel Barbeau
, Ramiro Liscano:
Indoor Ad Hoc Proximity-Location Sensing for Service Provider Selection. Telecommun. Syst. 22(1-4): 95-108 (2003) - [c15]Michel Barbeau, Evangelos Kranakis:
Modeling and Performance Analysis of Service Discovery Strategies in Ad Hoc Networks. International Conference on Wireless Networks 2003: 44-50 - [e1]Samuel Pierre, Michel Barbeau, Evangelos Kranakis:
Ad-Hoc, Mobile, and Wireless Networks, Second International Conference, ADHOC-NOW 2003 Montreal, Canada, October 8-10, 2003, Proceedings. Lecture Notes in Computer Science 2865, Springer 2003, ISBN 3-540-20260-9 [contents] - 2002
- [c14]Michel Barbeau, Francis Bordeleau:
A Protocol Stack Development Tool Using Generative Programming. GPCE 2002: 93-109 - 2000
- [c13]Michel Barbeau
:
Bandwidth Usage Analysis of Service Location Protocol. ICPP Workshops 2000: 51-56
1990 – 1999
- 1999
- [j7]Mbi Makungu, Michel Barbeau
, Richard St-Denis
:
Synthesis of Controllers of Processes Modeled as Colored Petri Nets. Discret. Event Dyn. Syst. 9(2): 147-169 (1999) - [c12]Michel Barbeau
:
Implementation of Two Approaches for the Reliable Multicast of Mobile Agents over Wireless Networks. ISPAN 1999: 414-419 - 1998
- [j6]Michel Barbeau
, Froduald Kabanza, Richard St.-Denis
:
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Trans. Autom. Control. 43(11): 1543-1559 (1998) - 1997
- [j5]Froduald Kabanza, Michel Barbeau
, Richard St-Denis
:
Planning Control Rules for Reactive Agents. Artif. Intell. 95(1): 67-11 (1997) - [j4]Michel Barbeau
, Froduald Kabanza, Richard St-Denis
:
An Efficient Algorithm for Controller Synthesis under Full Observation. J. Algorithms 25(1): 144-161 (1997) - 1996
- [j3]