Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
115 | Joey Paquet, Serguei A. Mokhov, Xin Tong 0002 |
Design and Implementation of Context Calculus in the GIPSY Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1278-1283, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Context-driven computation, Context calculus, Intensional programming |
115 | John Plaice, Blanca Mancilla, Gabriel Ditu |
From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(1), pp. 37-61, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multidimensional programming, Lucid programming language, Declarative programming |
108 | Janice I. Glasgow, Glenn H. MacEwen |
The Development and Proof of a Formal Specification for a Multilevel Secure System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 5(2), pp. 151-184, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
SNet, LUCID |
92 | Vasu S. Alagar, Joey Paquet, Kaiyu Wan |
Intensional Programming for Agent Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers, pp. 239-255, 2004, Springer, 3-540-26172-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
KQML performatives, Context, Agent Communication Language, FIPA, Intensional Programming, Lucid |
82 | David B. Skillicorn, Janice I. Glasgow |
Real-Time Specification Using Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(2), pp. 221-229, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
external requirements, meaning-preserving transformations, behavioral semantics, architectural constraints, real-time systems, real-time systems, formal specification, execution time, proof system, functional specification, real-time properties, Lucid |
66 | Weichang Du, William W. Wadge |
An intentional language as the basis of a 3-D spreadsheet design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA, pp. 2-9, 1988, IEEE Computer Society, 0-8186-0874-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
66 | Daniel Wigdor, Clifton Forlines, Patrick Baudisch, John Barnwell, Chia Shen |
Lucid touch: a see-through mobile device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 20th Annual ACM Symposium on User Interface Software and Technology, Newport, Rhode Island, USA, October 7-10, 2007, pp. 269-278, 2007, ACM, 978-1-59593-679-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
direct touch, lucid touch, portable multi-touch, pseudo-transparency, transparent devices, augmented reality, multi-touch, bimanual input |
66 | Antony A. Faustini, William W. Wadge |
An eductive interpreter for Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 86-91, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
LUCID |
56 | Dominic A. Orchard, Steve Matthews |
Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(1), pp. 103-122, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
intensional objects, Semantics, interoperation, object orientation, dataflow, intensional programming |
56 | John Plaice |
Multidimensional Lucid: Design, Semantics and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCW ![In: Distributed Communities on the Web, Third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000, Proceedings, pp. 154-160, 2000, Springer, 3-540-67647-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
56 | Edward A. Ashcroft, William W. Wadge |
Clauses: Scope Structures and Defined Functions in Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 17-22, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
49 | Qiang Wang |
A Portable Implementation Method of Lucid with Message Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, CSC '94, Phoenix, Arizona, USA, March 8-10, 1994, pp. 173-180, 1994, ACM, 0-89791-634-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Modula-2, LUCID |
47 | Alexandra Kitson, Reese Muntean, Steve DiPaola, Bernhard E. Riecke |
Lucid Loop: Exploring the Parallels between Immersive Experiences and Lucid Dreaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: DIS '22: Designing Interactive Systems Conference, Virtual Event, Australia, June 13 - 17, 2022, pp. 865-880, 2022, ACM, 978-1-4503-9358-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Alexandra Kitson, Steve DiPaola, Bernhard E. Riecke |
Lucid Loop: A Virtual Deep Learning Biofeedback System for Lucid Dreaming Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019., 2019, ACM, 978-1-4503-5971-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Joey Paquet, Serguei A. Mokhov |
Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.0940, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
47 | Laura M. Keating, Lea Randall, Rebecca Stanton, Casey McCormack, Michael Lucid, Travis Seaborn, Sarah J. Converse, Stefano Canessa, Axel Moehrenschlager |
Using Decision Analysis to Determine the Feasibility of a Conservation Translocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Anal. ![In: Decis. Anal. 20(4), pp. 295-310, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Elaine Froehlich, Brian Lucid, Heather Shaw |
The Language of Motion: A Taxonomy for Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interaction Modalities and Techniques - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV, pp. 668-677, 2013, Springer, 978-3-642-39329-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi |
Towards a self-forensics property in the ASSL toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2010, Montreal, Quebec, Canada, May 19-20, 2010, Proceedings, pp. 108-113, 2010, ACM, 978-1-60558-901-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ASSL, JOOIP, forensic lucid, self-forensics, autonomic computing, GIPSY, forensic computing |
42 | Philip G. Emma |
Supercharging Your Creative Skills. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 27(2), pp. 86-88, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
lucid dreaming, image streaming, brain waves, hypnogogic state, innovation, invention |
40 | Sasha Jevtic, Mathew Kotowsky, Robert P. Dick, Peter A. Dinda, Charles Dowding |
Lucid dreaming: reliable analog event detection for energy-constrained applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 6th International Conference on Information Processing in Sensor Networks, IPSN 2007, Cambridge, Massachusetts, USA, April 25-27, 2007, pp. 350-359, 2007, ACM, 978-1-59593-638-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, power consumption, event detection, sensing |
40 | Elvis S. Liu, Milo K. Yip, Gino Yu |
Lucid platform: applying HLA DDM to multiplayer online game middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 4(4), pp. 9, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
middleware, Computer games, collaborative virtual environments, high-level architecture, interest management, data distribution management |
40 | Kaiyu Wan, Vasu S. Alagar, Joey Paquet |
Real Time Reactive Programming in Lucid Enriched with Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 387-402, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Real-time reactive programming, contexts, formal verification, intensional programming |
33 | Joey Paquet |
Distributed Eductive Execution of Hybrid Intensional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2, pp. 218-224, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Robyn Taylor, Pierre Boulanger, Patrick Olivier |
Creating dream.Medusa to Encourage Dialogue in Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Graphics ![In: Smart Graphics, 9th International Symposium, SG 2009, Salamanca, Spain, May 28-30, 2009. Proceedings, pp. 275-278, 2009, Springer, 978-3-642-02114-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Joe Stacey, Jianpeng Cheng 0002, John Torr, Tristan Guigue, Joris Driesen, Alexandru Coca, Mark Gaynor, Anders Johannsen |
LUCID: LLM-Generated Utterances for Complex and Interesting Dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00462, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Majid Farhadloo, Arun Sharma, Jayant Gupta, Alexey A. Leontovich, Svetomir N. Markovic, Shashi Shekhar |
Towards Spatially-Lucid AI Classification in Non-Euclidean Space: An Application for MxIF Oncology Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.14974, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Zhe-chen Guo, Rajka Smiljanic |
Speakers coarticulate less in response to both real and imagined communicative challenges: An acoustic analysis of the LUCID corpus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Phonetics ![In: J. Phonetics 97, pp. 101210, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Andres Algaba, Carmen Mazijn, Carina Prunkl, Jan Danckaert, Vincent Ginis |
LUCID-GAN: Conditional Generative Models to Locate Unfairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.15466, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Tatiana Passali, Efstathios Chatzikyriakidis, Stelios Andreadis, Thanos G. Stavropoulos, Anastasia Matonaki, Anestis Fachantidis, Grigorios Tsoumakas |
From Lengthy to Lucid: A Systematic Literature Review on NLP Techniques for Taming Long Sentences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.05172, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Carmen Mazijn, Carina Prunkl, Andres Algaba, Jan Danckaert, Vincent Ginis |
LUCID: Exposing Algorithmic Bias through Inverse Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 14391-14399, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Andres Algaba, Carmen Mazijn, Carina Prunkl, Jan Danckaert, Vincent Ginis |
LUCID-GAN: Conditional Generative Models to Locate Unfairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
xAI (3) ![In: Explainable Artificial Intelligence - First World Conference, xAI 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part III, pp. 346-367, 2023, Springer, 978-3-031-44069-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Qinghao Hu, Meng Zhang, Peng Sun 0006, Yonggang Wen 0001, Tianwei Zhang 0004 |
Lucid: A Non-intrusive, Scalable and Interpretable Scheduler for Deep Learning Training Jobs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS (2) ![In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023, pp. 457-472, 2023, ACM, 978-1-4503-9916-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Yunshu Du, Garrett Warnell, Assefaw H. Gebremedhin, Peter Stone, Matthew E. Taylor |
Lucid dreaming for experience replay: refreshing past states with the current policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 34(3), pp. 1687-1712, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Omar Alaqeeli, William Wadge |
An Interactive Interpreter for Two Dimensional Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 50651-50661, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Carmen Mazijn, Carina Prunkl, Andres Algaba, Jan Danckaert, Vincent Ginis |
LUCID: Exposing Algorithmic Bias through Inverse Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.12786, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Indika S. A. Dhanapala, Ramona Marfievici, Dirk Pesch |
LUCID: Receiver-aware Model-based Data Communication for Low-power Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.02271, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | John Sonchack, Devon Loehr, Jennifer Rexford, David Walker 0001 |
Lucid: A Language for Control in the Data Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.02244, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Zhe-chen Guo, Rajka Smiljanic |
Speakers Coarticulate Less When Facing Real and Imagined Communicative Difficulties: An Analysis of Read and Spontaneous Speech from the LUCID Corpus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interspeech ![In: Interspeech 2021, 22nd Annual Conference of the International Speech Communication Association, Brno, Czechia, 30 August - 3 September 2021., pp. 4009-4013, 2021, ISCA. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | John Sonchack, Devon Loehr, Jennifer Rexford, David Walker 0001 |
Lucid: a language for control in the data plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., pp. 731-747, 2021, ACM, 978-1-4503-8383-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Utkarsh Maheshwari, Venkata Pavan Kumar Turlapati, Usha Kiruthika |
Lucid-GAN: An Adversarial Network for Enhanced Image Inpainting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVEMSA ![In: IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications, CIVEMSA 2021, Hong Kong, China, June 18-20, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-1249-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Hebi Li, Youbiao He, Qi Xiao, Jin Tian 0001, Forrest Sheng Bao |
BHDL: A Lucid, Expressive, and Embedded Programming Language and System for PCB Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021, pp. 355-360, 2021, IEEE, 978-1-6654-3274-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Chaojing Li, Sicong Zheng, Xueni Pan |
Using Eye Gaze for Navigation: A User Study Inspired by Lucid Dreams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR Workshops ![In: IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VR Workshops 2021, Lisbon, Portugal, March 27 - April 1, 2021, pp. 665-666, 2021, IEEE, 978-1-6654-4057-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Roberto Doriguzzi Corin, Stuart Millar, Sandra Scott-Hayward, Jesús Martínez del Rincón, Domenico Siracusa |
Lucid: A Practical, Lightweight Deep Learning Solution for DDoS Attack Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 17(2), pp. 876-889, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Cheng Peng, Jun Wang, Isaac Asante, Stan Louie, Ran Jin, Lida Chatzi, Graham Casey, Duncan C. Thomas, David V. Conti |
A latent unknown clustering integrating multi-omics data (LUCID) with phenotypic traits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 36(3), pp. 842-850, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Ahmed Almutairi, Behzad Shoarian Satari, Carlos Rivas, Cristian Florin Stanciu, Mozhdeh Yamani, Zahra Zohoorsaadat, Serguei A. Mokhov |
Evaluation of Autopsy and Volatility for Cybercrime Investigation: A Forensic Lucid Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Crime Forensics ![In: Int. J. Digit. Crime Forensics 12(1), pp. 58-89, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Yunshu Du, Garrett Warnell, Assefaw Hadish Gebremedhin, Peter Stone, Matthew E. Taylor |
Lucid Dreaming for Experience Replay: Refreshing Past States with the Current Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.13736, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Roberto Doriguzzi Corin, Stuart Millar, Sandra Scott-Hayward, Jesús Martínez del Rincón, Domenico Siracusa |
LUCID: A Practical, Lightweight Deep Learning Solution for DDoS Attack Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.04902, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Peyman Derafshkavian, Simon Huneault-LeBlanc, Sacha Renault-Crispo, Akansha Marwaha, Serguei A. Mokhov, Joey Paquet |
Toward Scalable Demand-Driven JSON-to-Forensic Lucid Encoder in GIPSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNCC ![In: 2020 International Symposium on Networks, Computers and Communications, ISNCC 2020, Montreal, QC, Canada, October 20-22, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-5628-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Arijit Ray, Giedrius Burachas, Yi Yao, Ajay Divakaran |
Lucid Explanations Help: Using a Human-AI Image-Guessing Game to Evaluate Machine Explanation Helpfulness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.03285, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Morgane Hamon, Emma Chabani, Philippe Giraudeau |
Towards a Passive BCI to Induce Lucid Dream. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.12481, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | David Mott, Richard Tomsett |
Illuminated Decision Trees with Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.05644, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Valentina Nisi, Mara Sofia Dionisio, Paulo Bala, Tom Gross, Time's Up, Nuno Jardim Nunes |
Lucid Peninsula, a Physical Narrative Art Installation Comprising Interactive 360° Virtual Reality Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Creative Interfaces Comput. Graph. ![In: Int. J. Creative Interfaces Comput. Graph. 10(1), pp. 1-15, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Anna Khoreva, Rodrigo Benenson, Eddy Ilg, Thomas Brox, Bernt Schiele |
Lucid Data Dreaming for Video Object Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 127(9), pp. 1175-1197, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Arijit Ray, Yi Yao, Rakesh Kumar 0001, Ajay Divakaran, Giedrius Burachas |
Can You Explain That? Lucid Explanations Help Human-AI Collaborative Image Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCOMP ![In: Proceedings of the Seventh AAAI Conference on Human Computation and Crowdsourcing, HCOMP 2019, Stevenson, WA, USA, October 28-30, 2019., pp. 153-161, 2019, AAAI Press, 978-1-57735-820-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Rundong Tian |
Lucid Fabrication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST (Adjunct Volume) ![In: Adjunct Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, UIST 2019, New Orleans, LA, USA, October 20-23, 2019., pp. 170-173, 2019, ACM, 978-1-4503-6817-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Satoshi Oota, Akihiko Murai, Masaaki Mochimaru |
Lucid Virtual/Augmented Reality (LVAR) Integrated with an Endoskeletal Robot Suit: StillSuit: A new framework for cognitive and physical interventions to support the ageing society. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2019, Osaka, Japan, March 23-27, 2019, pp. 1556-1559, 2019, IEEE, 978-1-7281-1377-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Alexandra Kitson, Thecla Schiphorst, Bernhard E. Riecke |
Are You Dreaming?: A Phenomenological Study on Understanding Lucid Dreams as a Tool for Introspection in Virtual Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, QC, Canada, April 21-26, 2018, pp. 343, 2018, ACM, 978-1-4503-5620-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Jordan T. Quaglia, Andrew Holecek |
Lucid Virtual Dreaming: Antecedents and Consequents of Virtual Lucidity During Virtual Threat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: 2018 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2018, Tuebingen/Reutlingen, Germany, 18-22 March 2018, pp. 65-72, 2018, IEEE Computer Society, 978-1-5386-3365-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Anna Khoreva, Rodrigo Benenson, Eddy Ilg, Thomas Brox, Bernt Schiele |
Lucid Data Dreaming for Object Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.09554, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Timothy T. Rogers, Charles Kalish |
LUCID science: Advancing learning through human-machine cooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 39th Annual Meeting of the Cognitive Science Society, CogSci 2017, London, UK, 16-29 July 2017, 2017, cognitivesciencesociety.org, 978-0-9911967-6-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Steve DiPaola, Sara Feldman |
Lucid Self. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EVA ![In: Electronic Visualisation and the Arts, EVA 2017, London, UK, July 11-13, 2017, 2017, BCS. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Morteza Rezaei, Sadjaad Ozgoli |
Lucid Workspace for Stereo Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 78(2), pp. 223-237, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Jarryd P. Beck, John Plaice, William W. Wadge |
Multidimensional infinite data in the language Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(7), pp. 1546-1568, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Claude Turner, Jie Yan, Dwight H. Richards, Pamela O'Brien, Jide Odubiyi, Quincy Brown |
LUCID: a visualization and broadcast system for cyber defense competitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inroads ![In: Inroads 6(2), pp. 70-76, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian Tramp, Rubén Navarro Piris, Timofey Ermilov, Niklas Petersen, Marvin Frommhold, Sören Auer |
Distributed Linked Data Business Communication Networks: The LUCID Endpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC (Satellite Events) ![In: The Semantic Web: ESWC 2015 Satellite Events - ESWC 2015 Satellite Events Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers, pp. 154-158, 2015, Springer, 978-3-319-25638-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Hussam Amrouch, Jörg Henkel |
Lucid infrared thermography of thermally-constrained processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: IEEE/ACM International Symposium on Low Power Electronics and Design, ISLPED 2015, Rome, Italy, July 22-24, 2015, pp. 347-352, 2015, IEEE, 978-1-4673-8009-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Mara Dionisio, Paulo Bala, Rui Trindade, Valentina Nisi, Julian Hanna, Time's Up |
Lucid Peninsula: DreamScope - An Interactive Physical Installation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 2015 ACM SIGCHI Conference on Creativity and Cognition, C&C '15, Glasgow, United Kingdom, June 22-25, 2015, pp. 377-378, 2015, ACM, 978-1-4503-3598-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Jakob Stoustrup |
Successful industry/academia cooperation: From simple via complex to lucid solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Control ![In: Eur. J. Control 19(5), pp. 358-368, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Theodor G. Wyeld |
From the Arcane to the Lucid: A Case Study of Improvements to a Library Database Using Visual Cues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 16th International Conference on Information Visualisation, IV 2012, Montpellier, France, July 11-13, 2012, pp. 151-156, 2012, IEEE Computer Society, 978-1-4673-2260-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Xiang Wang, Zhi Liu, Yaxuan Qi, Jun Li 0003 |
LiveCloud: A lucid orchestrator for cloud datacenters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CloudCom ![In: 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, CloudCom 2012, Taipei, Taiwan, December 3-6, 2012, pp. 341-348, 2012, IEEE Computer Society, 978-1-4673-4511-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDF2C ![In: Digital Forensics and Cyber Crime - Third International ICST Conference, ICDF2C 2011, Dublin, Ireland, October 26-28, 2011, Revised Selected Papers, pp. 282-296, 2011, Springer, 978-3-642-35514-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Ninth Annual Conference on Privacy, Security and Trust, PST 2011, 19-21 July, 2011, Montreal, Québec, Canada, pp. 120-123, 2011, IEEE, 978-1-4577-0582-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1009.5423, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Serguei A. Mokhov |
Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
23 | Rachel Baker, Valérie Hazan |
LUCID: a corpus of spontaneous and read clear speech in British English. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DiSS-LPSS ![In: DiSS-LPSS Joint Workshop 2010 - The 5th Workshop on Disfluency in Spontaneous Speech and the 2nd International Symposium on Linguistic Patterns in Spontaneous Speech, Tokyo, Japan, September 25-26, 2010, pp. 3-6, 2010, ISCA. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings, pp. 508-509, 2010, Springer, 978-3-642-15511-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Aihua Wu 0001, Joey Paquet, Serguei A. Mokhov |
Object-Oriented Intensional Programming: Intensional Java/Lucid Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the Eighth ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010, Montreal, Canada, May 24-26, 2010, pp. 158-167, 2010, IEEE Computer Society, 978-0-7695-4075-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hybrid programming languages, Java, object-oriented programming, intensional programming, General Intensional Programming System (GIPSY) |
23 | Serguei A. Mokhov |
Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0907.2640, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet |
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0904.3789, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0906.0049, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
Reasoning About an ACME Printer Case Investigation with Forensic Lucid ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0906.5181, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | Aihua Wu 0001, Joey Paquet, Serguei A. Mokhov |
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0909.0764, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSC ![In: The Huntsville Simulation Conference - HSC 2009, Huntsville, AL, USA, October 27-29, 2009. Proceedings, pp. 45, 2009, The Society for Modeling and Simulation International (SCS), 978-1-61738-587-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSC ![In: The Huntsville Simulation Conference - HSC 2009, Huntsville, AL, USA, October 27-29, 2009. Proceedings, pp. 326-333, 2009, The Society for Modeling and Simulation International (SCS), 978-1-61738-587-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | Serguei A. Mokhov |
Encoding Forensic Multimedia Evidence from MARF Applications as Forensic Lucid Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TeNe ![In: Novel Algorithms and Techniques in Telecommunications and Networking, proceedings of the 2008 International Conference on Telecommunications and Networking (TeNe), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 2008, Bridgeport, Connecticut, USA, pp. 413-416, 2008, Springer, 978-90-481-3661-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet, Mourad Debbabi |
Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMF ![In: IT-Incidents Management & IT-Forensics - IMF 2008, Conference Proceedings, September 23-25, 2008, Mannheim, Germany, pp. 197-216, 2008, GI, 978-3-88579-234-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Peter Grogono, Serguei A. Mokhov, Joey Paquet |
Toward JLucid, Lucid with Embedded Java Functions in the GIPSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 15-21, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Serguei A. Mokhov, Joey Paquet |
Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 22-28, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Kaiyu Wan, Vasu S. Alagar, Joey Paquet |
Lucx: Lucid Enriched with Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLC ![In: Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 48-56, 2005, CSREA Press, 1-932415-75-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Andy Smith, Lynne Dunckley |
Using the LUCID Method to Optimize the Acceptability of Shared Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interact. Comput. ![In: Interact. Comput. 9(3), pp. 335-345, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Andy Smith, Lynne Dunckley |
User Centred Design: The Application of the LUCID Interface Design Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Design of Computing Systems: Social and Ergonomic Considerations, Proceedings of the Seventh International Conference on Human-Computer Interaction, (HCI International '97), San Francisco, California, USA, August 24-29, 1997, Volume 2, pp. 563-568, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
23 | Andy Smith, Lynne Dunckley, Diana Burkhardt, Alan Murkett, Ken D. Eason, Jonathan Church |
Development the optimum help system using the LUCID method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT ![In: Human-Computer Interaction, INTERACT '97, IFIP TC13 Interantional Conference on Human-Computer Interaction, 14th-18th July 1997, Sydney, Australia, pp. 307-314, 1997, Chapman & Hall, 0-412-80950-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
23 | Andy Smith, Lynne Dunckley |
Towards the Total Quality Interface - Applying Taguchi TQM Techniques within the LUCID Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI ![In: People and Computers XI, Proceedings of HCI '96, pp. 3-17, 1996, Springer, 3-540-76069-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | George K. Thiruvathukal, Thomas W. Christopher |
A Simulation of Demand-Driven Dataflow: Translation from Lucid into MDC Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: The Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30 - May 2, 1991., pp. 634-637, 1991, IEEE Computer Society, 0-8186-9167-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Janice I. Glasgow, Glenn H. MacEwen |
LUCID: a specification language for distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 10(4), pp. 76-79, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
23 | Derek R. Brough, Maarten H. van Emden |
Dataflow, Flowcharts, and "LUCID"-style Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984, pp. 252-258, 1984, IEEE-CS, 0-8186-0522-7. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
23 | P. T. Pilgram |
Translating Lucid data flow into message passing actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1983 |
RDF |
|
23 | Edward A. Ashcroft, William W. Wadge |
Some common misconceptions about Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 15(10), pp. 15-26, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
23 | Christoph M. Hoffmann |
Semantic Properties of Lucid's Compute Clause and its Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 13, pp. 9-20, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
23 | Edward A. Ashcroft, William W. Wadge |
Lucid, a Nonprocedural Language with Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 20(7), pp. 519-526, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|