|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
Results
Found 51 publication records. Showing 46 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
135 | Magnus Hjelmblom, Jan Odelstad |
jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 110-119, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deontic action-logic, normative positions, norm-regulated MAS, DALMAS, logic server |
33 | Chen He, Benjamin Dalmas, Cédric Bousquet, Béatrice Trombert Paviot, Xiaolan Xie |
A Clustering-Based Optimization Approach for Hospital Miscoding Correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 21(2), pp. 1501-1516, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
33 | Arnaud Laurent, Damien Lamy, Benjamin Dalmas, Vincent Clerc |
Pattern mining-based pruning strategies in stochastic local searches for scheduling problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Trans. Oper. Res. ![In: Int. Trans. Oper. Res. 29(5), pp. 2815-2840, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Jorge Munoz-Gama, Niels Martin, Carlos Fernández-Llatas, Owen A. Johnson, Marcos Sepúlveda, Emmanuel Helm, Victor Galvez-Yanjari, Eric Rojas 0001, Antonio Martinez-Millana, Davide Aloini, Ilaria Angela Amantea, Robert Andrews 0001, Michael Arias, Iris Beerepoot, Elisabetta Benevento, Andrea Burattin, Daniel Capurro, Josep Carmona 0001, Marco Comuzzi, Benjamin Dalmas, Rene de la Fuente, Chiara Di Francescomarino, Claudio Di Ciccio, Roberto Gatta, Chiara Ghidini, Fernanda Gonzalez-Lopez, Gema Ibáñez-Sánchez, Hilda B. Klasky, Angelina Prima Kurniati, Xixi Lu 0001, Felix Mannhardt, Ronny Mans, Mar Marcos, Renata Medeiros de Carvalho, Marco Pegoraro 0001, Simon K. Poon, Luise Pufahl, Hajo A. Reijers, Simon Remy, Stefanie Rinderle-Ma, Lucia Sacchi, Fernando Seoane, Minseok Song 0001, Alessandro Stefanini, Emilio Sulis, Arthur H. M. ter Hofstede, Pieter J. Toussaint, Vicente Traver 0001, Zoe Valero-Ramon, Inge van de Weerd, Wil M. P. van der Aalst, Rob J. B. Vanwersch, Mathias Weske, Moe Thandar Wynn, Francesca Zerbato |
Process mining for healthcare: Characteristics and challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 127, pp. 103994, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Nilson Herazo-Padilla, Vincent Augusto, Benjamin Dalmas, Xiaolan Xie, Bienvenu Bongue |
A Decision-Tree-Based Bayesian Approach for Chance-Constrained Health Prevention Budget Rationing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 19(3), pp. 2322-2338, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Jules Le Lay, Julia Neveu, Benjamin Dalmas, Vincent Augusto |
Automated Generation of Patient Population for Discrete-Event Simulation Using Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNSIM ![In: Annual Modeling and Simulation Conference, ANNSIM 2022, San Diego, CA, USA, July 18-20, 2022, pp. 42-53, 2022, IEEE, 978-1-71-385288-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Chen He, Benjamin Dalmas, Cédric Bousquet, Béatrice Trombert Paviot, Xiaolan Xie |
A topological and optimization based methodology to identify and correct ICD miscoding behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021, pp. 1382-1387, 2021, IEEE, 978-1-6654-1873-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Benjamin Dalmas, Fabrice Baranski, Daniel Cortinovis |
Predicting Process Activities and Timestamps with Entity-Embeddings Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Research Challenges in Information Science - 15th International Conference, RCIS 2021, Limassol, Cyprus, May 11-14, 2021, Proceedings, pp. 393-408, 2021, Springer, 978-3-030-75017-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Chen He, Benjamin Dalmas, Xiaolan Xie |
ACBI: An Alternating Clustering and Bayesian Inference approach for optimizing medical intervention budget under chance constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 16th IEEE International Conference on Automation Science and Engineering, CASE 2020, Hong Kong, August 20-21, 2020, pp. 55-60, 2020, IEEE, 978-1-7281-6904-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Nilson Herazo-Padilla, Vincent Augusto, Benjamin Dalmas, Xiaolan Xie, Bienvenu Bongue |
Screening a portfolio of pathologies by subject profiling and medical test rationing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 15th IEEE International Conference on Automation Science and Engineering, CASE 2019, Vancouver, BC, Canada, August 22-26, 2019, pp. 424-430, 2019, IEEE, 978-1-7281-0356-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Benjamin Dalmas, Niek Tax, Sylvie Norre |
Heuristic Mining Approaches for High-Utility Local Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency XIII, pp. 27-51, 2018, Springer, 978-3-662-58380-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Niek Tax, Benjamin Dalmas, Natalia Sidorova, Wil M. P. van der Aalst, Sylvie Norre |
Interest-driven discovery of local process models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 77, pp. 105-117, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Phil J. Bartie, William A. Mackaness, Oliver Lemon, Tiphaine Dalmas, Srini Janarthanam, Robin L. Hill, Anna Dickinson, Xingkun Liu |
A dialogue based mobile virtual assistant for tourists: The SpaceBook Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Environ. Urban Syst. ![In: Comput. Environ. Urban Syst. 67, pp. 110-123, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Violaine Dalmas, Gerard Robert, Gildas Besançon, Didier Georges |
New approximate solution with resonance modes of Saint-Venant equations by WKB-type method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 16th European Control Conference, ECC 2018, Limassol, Cyprus, June 12-15, 2018, pp. 2635-2640, 2018, IEEE, 978-3-9524-2698-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Violaine Dalmas, Gerard Robert, Gildas Besançon, Didier Georges |
Saint-Venant Reduced Order Model for Water Level Control in Open Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, pp. 7158-7163, 2018, IEEE, 978-1-5386-1395-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Benjamin Dalmas |
Nouvelles approches pour la détection de relations utiles dans les processus: application aux parcours de santé. (New approaches for the discovery of high-utility relations in processes: application to healthcare). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
33 | Niek Tax, Benjamin Dalmas, Natalia Sidorova, Wil M. P. van der Aalst, Sylvie Norre |
Interest-Driven Discovery of Local Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.07116, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
33 | Benjamin Dalmas, Niek Tax, Sylvie Norre |
Heuristics for High-Utility Local Process Model Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAED@Petri Nets/ACSD ![In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017., pp. 106-121, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
33 | Benjamin Dalmas, Philippe Fournier-Viger, Sylvie Norre |
TWINCLE : A Constrained Sequential Rule Mining Algorithm for Event Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, Marseille, France, 6-8 September 2017., pp. 205-214, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Violaine Dalmas, Gerard Robert, Charles Poussot-Vassal, Igor Pontes Duff, Cédric Seren |
From infinite dimensional modelling to parametric reduced-order approximation: Application to open-channel flow for hydroelectricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 15th European Control Conference, ECC 2016, Aalborg, Denmark, June 29 - July 1, 2016, pp. 1982-1987, 2016, IEEE, 978-1-5090-2591-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Michelle Chabrol, Benjamin Dalmas, Sylvie Norre, Sophie Rodier |
A process tree-based algorithm for the detection of implicit dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Tenth IEEE International Conference on Research Challenges in Information Science, RCIS 2016, Grenoble, France, June 1-3, 2016, pp. 1-11, 2016, IEEE, 978-1-4799-8710-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Tiphaine Dalmas, Jana Götze, Joakim Gustafson, Srinivasan Janarthanam, Jan Kleindienst, Christian Mueller, Amanda Stent, Andreas Vlachos 0001 (eds.) |
Proceedings of the Workshop on Dialogue in Motion, DM@EACL 2014, Gothenburg, Sweden, April 26, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DM@EACL ![Association for Computational Linguistics, 978-1-937284-81-7 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
33 | Srinivasan Janarthanam, Oliver Lemon, Xingkun Liu, Phil J. Bartie, William A. Mackaness, Tiphaine Dalmas |
A Multithreaded Conversational Interface for Pedestrian Navigation and Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDIAL Conference ![In: Proceedings of the SIGDIAL 2013 Conference, The 14th Annual Meeting of the Special Interest Group on Discourse and Dialogue, 22-24 August 2013, SUPELEC, Metz, France, pp. 151-153, 2013, The Association for Computer Linguistics, 978-1-937284-95-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
33 | Srinivasan Janarthanam, Oliver Lemon, Phil J. Bartie, Tiphaine Dalmas, Anna Dickinson, Xingkun Liu, William A. Mackaness, Bonnie L. Webber |
Evaluating a City Exploration Dialogue System with Integrated Question-Answering and Pedestrian Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, ACL 2013, 4-9 August 2013, Sofia, Bulgaria, Volume 1: Long Papers, pp. 1660-1668, 2013, The Association for Computer Linguistics, 978-1-937284-50-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
33 | Srinivasan Janarthanam, Oliver Lemon, Xingkun Liu, Phil J. Bartie, William A. Mackaness, Tiphaine Dalmas, Jana Götze |
Integrating Location, Visibility, and Question-Answering in a Spoken Dialogue System for Pedestrian City Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDIAL Conference ![In: Proceedings of the SIGDIAL 2012 Conference, The 13th Annual Meeting of the Special Interest Group on Discourse and Dialogue, 5-6 July 2012, Seoul National University, Seoul, South Korea, pp. 134-136, 2012, The Association for Computer Linguistics, 978-1-937284-44-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Rani Pinchuk, Sorin Ilie, Thomas Neidhart, Tiphaine Dalmas, Costin Badica, Gregor Pavlin |
Augmenting Semantics to Distributed Agents Logs - Enabling Graphical After Action Analysis of Federated Agents Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: KEOD 2011 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Paris, France, 26-29 October, 2011, pp. 232-241, 2011, SciTePress, 978-989-8425-80-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
33 | Alexander Mikhailian, Tiphaine Dalmas, Rani Pinchuk |
Learning foci for Question Answering over Topic Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL/IJCNLP (2) ![In: ACL 2009, Proceedings of the 47th Annual Meeting of the Association for Computational Linguistics and the 4th International Joint Conference on Natural Language Processing of the AFNLP, 2-7 August 2009, Singapore, Short Papers, pp. 325-328, 2009, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
33 | Tiphaine Dalmas, Bonnie L. Webber |
Answer comparison in automated question answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 5(1), pp. 104-120, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Tiphaine Dalmas |
Information fusion for automated question answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
33 | Kisuh Ahn, Johan Bos, Stephen Clark, Tiphaine Dalmas, Jochen L. Leidner, Matthew Smillie, Bonnie L. Webber, James R. Curran |
Question Answering with QED and Wee at TREC 2004. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of the Thirteenth Text REtrieval Conference, TREC 2004, Gaithersburg, Maryland, USA, November 16-19, 2004, 2004, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
33 | Kisuh Ahn, Beatrice Alex, Johan Bos, Tiphaine Dalmas, Jochen L. Leidner, Matthew Smillie |
Cross-Lingual Question Answering Using Off-the-Shelf Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF ![In: Multilingual Information Access for Text, Speech and Images, 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers, pp. 446-457, 2004, Springer, 3-540-27420-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Kisuh Ahn, Beatrix Alex, Johan Bos, Tiphaine Dalmas, Jochen L. Leidner, Matthew Smillie |
Cross-lingual Question Answering with QED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Working Notes for CLEF 2004 Workshop co-located with the 8th European Conference on Digital Libraries (ECDL 2004), Bath, UK, September 15-17, 2004., 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
33 | Jochen L. Leidner, Tiphaine Dalmas, Bonnie L. Webber, Johan Bos, Claire Grover |
Automatic Multi-Layer Corpus Annotation for Evaluation Question Answering Methods: CBC4Kids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINC@EACL ![In: Proceedings of 4th International Workshop on Linguistically Interpreted Corpora, LINC@EACL 2003, Budapest, Hungary, April 13-14, 2003, 2003, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
33 | Jochen L. Leidner, Johan Bos, Tiphaine Dalmas, James R. Curran, Stephen Clark, Colin J. Bannard, Bonnie L. Webber, Mark Steedman |
QED: The Edinburgh TREC-2003 Question Answering System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of The Twelfth Text REtrieval Conference, TREC 2003, Gaithersburg, Maryland, USA, November 18-21, 2003, pp. 631-635, 2003, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
33 | Valentín Trainotti, Norberto Dalmas Di Giovanni |
FM wide band panel dipole antenna. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Broadcast. ![In: IEEE Trans. Broadcast. 48(4), pp. 317-323, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Gaël de Chalendar, Tiphaine Dalmas, Faiïza Elkateb-Gara, Olivier Ferret, Brigitte Grau, Martine Hurault-Plantet, Gabriel Illouz, Laura Monceaux, Isabelle Robba, Anne Vilnat |
The Question Answering System QALC at LIMSI, Experiments in Using Web and WordNet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of The Eleventh Text REtrieval Conference, TREC 2002, Gaithersburg, Maryland, USA, November 19-22, 2002, 2002, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
33 | Hélène Prieto, Stéphane Dalmas, Yves Papegay |
Mathematica as an OpenMath application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 34(2), pp. 22-26, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Olivier Arsac, Stéphane Dalmas, Marc Gaëtano |
Design of a Customizable Component to Display and Edit Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999, pp. 283-290, 1999, ACM, 1-58113-073-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
LISP |
33 | Olivier Arsac, Stéphane Dalmas, Marc Gaëtano |
Erratum to: Design principles of Mathpert: software to support education in algebra and calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer-Human Interaction in Symbolic Computation ![In: Computer-Human Interaction in Symbolic Computation, pp. 209, 1998, Springer, 978-3-211-82843-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Olivier Arsac, Stéphane Dalmas, Marc Gaëtano |
Algorithm animation with Agat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer-Human Interaction in Symbolic Computation ![In: Computer-Human Interaction in Symbolic Computation, pp. 89-115, 1998, Springer, 978-3-211-82843-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Stéphane Dalmas, Marc Gaëtano, Stephen M. Watt |
An OpenMath 1.0 Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997, pp. 241-248, 1997, ACM, 0-89791-875-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Stéphane Dalmas, Marc Gaëtano, Alain Sausse |
A Distributed and Cooperative Environment for Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 21(4), pp. 427-439, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Stéphane Dalmas, Marc Gaëtano |
Making Systems Communicate and Cooperate: The Central Control Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, pp. 308-319, 1996, Springer, 3-540-61697-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Stéphane Dalmas, Marc Gaëtano, Claude Huchet |
A Deductive Database for Mathematical Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, pp. 287-296, 1996, Springer, 3-540-61697-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Stéphane Dalmas, Marc Gaëtano, Alain Sausse |
Distributed Computer Algebra: the Central Control Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: First International Symposium on Parallel Symbolic Computation, PASCO 1994, Hagenberg/Linz, Austria, September 26-28, 1994., pp. 104-113, 1994, World Scientific, 978-981-4533-58-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
33 | Stéphane Dalmas |
A Polymorphic Functional Language Applied to Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC '92, Berkeley, CA, USA, July 27-29, 1992, pp. 369-375, 1992, ACM, 0-89791-489-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
SCRATCHPAD |
Displaying result #1 - #46 of 46 (100 per page; Change: )
|
|