|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 120 occurrences of 89 keywords
|
|
|
Results
Found 792 publication records. Showing 645 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Rachid Sijelmassi, Richard J. Linn Jr. |
Guidelines for Using Estelle to Specify OSI Services and Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 23(5), pp. 343-362, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Imrich Chlamtac, K. G. Satam |
ETS - a performance prediction tool for protocols specified in FDT Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 35(1-5), pp. 651-658, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | K. C. Huang, T. S. Nain, W. S. Hsieh, C. S. Yang, C. S. Lu |
EPVD: An interactive protocol specification and validation environment in Estelle formal specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 35(1-5), pp. 71-77, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | R. Födisch, Thomas Held, Hartmut König |
A Protocol Development Environment Based on Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDC ![In: Information Network and Data Communication, IV, Proceedings of the IFIP TC6 International Conference on Information Network and Data Communication, IV, Espoo, Finland, 16-19 March, 1992, pp. 121-141, 1992, North-Holland, 0-444-89751-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
22 | C. T. Nguyen, P. Hunel, Marie-Claude Vialatte |
Application Context Definition for a Specific Application Layer Protocol and Rapid Prototyping with Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ULPAA ![In: Upper Layer Protocols, Architectures and Applications, Proceedings of the IFIP TC6/WG6.5 International Conference on Upper Layer Protocols, Architectures and Applications, Vancouver, BC, Canada, 27-29 May, 1992, pp. 249-263, 1992, North-Holland, 0-444-89766-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
22 | Thomas Held |
Ableitung von parallelen Strukturen aus Estelle-SpezifiKationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 142-160, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
22 | Detlef Kreuz, Reinhard Gotzhein |
A Compiler for the Parallel Execution of Estelle Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 161-178, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
22 | Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt |
Design of a formal Estelle semantics for verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 153-168, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
22 | Piotr Dembinski |
Queueing network model for Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 73-86, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
22 | Susan C. Murphy, Per Gunningberg, John P. J. Kelly |
Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 22(1), pp. 51-59, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Behçet Sarikaya, Behdad Forghani, Srinivas Eswara |
Estelle-based test generation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 14(9), pp. 534-544, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Do Y. Lee, Jai-Yong Lee |
A Well-Defined Estelle Specification for the Automatic Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(4), pp. 526-542, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Do Y. Lee, Jai-Yong Lee |
Test Generation for the Specification Written in Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 317-332, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
22 | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 75-89, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
22 | Enrique Vázquez, Pedro Sandoval, Marifeli Sedano, Juan Vinyes |
Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 125-139, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
22 | Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt |
Praktischer Einsatz und Weiterentwicklung von Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: Telekommunikation und multimediale Anwendungen der Informatik, GI - 21. Jahrestagung, Darmstadt, 14.-18. Oktober 1991, Proceedings, pp. 265-275, 1991, Springer, 3-540-54755-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | D. Fernández, Enrique Vázquez, Juan Vinyes |
Io: An Estelle Simulator for Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 51-66, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
22 | Benoît Caillaud |
The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 329-344, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
22 | C. T. Nguyen, P. Hunel, Marie-Claude Vialatte |
Formal Specification, Validation and Implementation of an Application Protocol with Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 361-376, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
22 | Maurizio Morisio, Riccardo Sisto |
The use of Estelle to specify manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 28(1-5), pp. 253-258, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Anthony Chung, Deepinder P. Sidhu |
Experience with an Estelle development system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software Development ![In: Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990, pp. 8-17, 1990, ACM. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Richard L. Tenney |
Modelling flow control in Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pp. 33-44, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Y. T. Cheung, J. William Atwood |
Specifying the Xpress Transfer Protocol Using Estelle and Valira. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 503-517, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | A. B. Alkhechi, Stanislaw Budkowski |
Automatic Translation of Time Petri Nets into Estelle Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 369-376, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Marc Phalippou, Roland Groz |
From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 175-190, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Richard L. Tenney |
Adding Interaction Sets to Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 377-382, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Martine Guilmet, Philippe Thomas, Bruno Traverson |
Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 487-502, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Woojik Chun, Paul D. Amer |
Test Case Generation for Protocols Specified in Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 191-206, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Piotr Dembinski |
Interfacing ASN.1 and Estelle: A Practical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 361-368, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Jean-Marc Jézéquel |
Experience in Validating Protocol Integration Using Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 271-278, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Darren New, Paul D. Amer |
Protocol Visualization of Estelle Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 551-554, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Juan A. Saras, Julio Berocal, Juan Riera |
Use of Estelle, LOTOS and ASN.1 in One Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 337-343, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld |
ASN.1 and Estelle Implementation Support Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 531-534, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Rachid Sijelmassi, Brett Strausser |
NIST Integrated Tool Set for Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 543-546, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Marc Phalippou |
Functional Specification for an ISDN Switching System: an Experience using Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989, pp. 15-24, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
22 | Claude Jard, Jean-Marc Jézéquel |
A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989, pp. 161-174, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
22 | Jian-Ping Wu, Samuel T. Chanson |
Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 533-549, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
22 | Samuel C. Chamberlain, Paul D. Amer |
A New User's Experiences and Impressions with Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 471-484, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
22 | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
From the Simulation to the Verification of Estelle Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 393-407, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
22 | Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya |
An Estelle Based Test Generation Tool for Modular Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 7-11, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
22 | Toru Hasegawa, Hiroki Horiuchi, Toshihiko Kato, Kenji Suzuki 0003, Yoshiyori Urano |
Automatic ADA program generation from protocol specifications based on ESTELLE and ASN.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCC ![In: Computer Communication Technologies for the 90's, Proceedings of the Ninth International Conference on Computer Communication, Tel Aviv, Israel, October 30 - November 3, 1988, pp. 181-185, 1988, International Council for Computer Communication / Elsevier, 0-444-70539-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
22 | Paul D. Amer, Figen Ceceli, Guy Juanole |
Formal specification of ISO virtual terminal in Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, INFOCOM 1988, New Orleans, LA, USA, pp. 623-630, 1988, IEEE, 0-8186-0833-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Son T. Vuong, Wendy Y. L. Chan |
Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 337-351, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
22 | Rachid Sijelmassi, Philip Gaudette |
An Object-Oriented Model for Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 91-105, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
22 | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 15-29, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
22 | Marc Phalippou, Roland Groz |
Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 185-199, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
22 | Udo Thalmann |
Analysis of Estelle Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 428-438, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
22 | Stanislaw Budkowski, Piotr Dembinski |
An Introduction to Estelle: A Specification Language for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 14, pp. 3-23, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Piotr Dembinski, Stanislaw Budkowski |
Simulating Estelle Specifications with Time Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 265-279, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
22 | Jean-Pierre Courtiat |
How Could Estelle Become a Better FDT? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 43-60, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
22 | Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache |
A simulation environment for protocol specifications described in ESTELLE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985, pp. 297-312, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
22 | Richard J. Linn Jr. |
The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985, pp. 271-296, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Estelle Hotellier, Franck Sicard, Julien Francq, Stéphane Mocanu |
Standard specification-based intrusion detection for hierarchical industrial control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 659, pp. 120102, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Brivael Hémon, Anthony Cherbonnier, Estelle Michinov, Eric Jamet, Nicolas Michinov |
When Instructions Based on Constructive Controversy Boost Synergy in Online Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Interact. ![In: Int. J. Hum. Comput. Interact. 40(5), pp. 1102-1110, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Agneet Chatterjee, Gabriela Ben Melech Stan, Estelle Aflalo, Sayak Paul, Dhruba Ghosh, Tejas Gokhale, Ludwig Schmidt, Hannaneh Hajishirzi, Vasudev Lal, Chitta Baral, Yezhou Yang |
Getting it Right: Improving Spatial Consistency in Text-to-Image Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2404.01197, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Nadine Mandran, Estelle Prior, Eric Sanchez, Mathieu Vermeulen |
Reorienting Learning Game Design in Design-Based Research: a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.05450, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Andrew B. Jennings, Rida Laraki, Clemens Puppe, Estelle Marine Varloot |
New characterizations of strategy-proofness under single-peakedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 203(1), pp. 207-238, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Estelle Pfitzer, Birte Jörn, Tobias Kowatsch |
Harmonizing Innovation and Regulation: Swiss Health Insurance Navigates Digital Health Technologies for Enhanced Patient Engagement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSTEC (2) ![In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2024, Volume 2, Rome, Italy, February 21-23, 2024., pp. 833-837, 2024, SCITEPRESS, 978-989-758-688-0. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Barbara Steffen, Estelle Duparc, Tim Tegeler |
Value-driven industry transformation: Leveraging open-source to establish new standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: International Conference on Exploring Service Science, IESS 2024, Brno, Czech Republic, February 8-9, 2024, pp. 5001, 2024, edp sciences. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Estelle Duparc, Nick Große, Hendrik van der Valk, Tan Gürpinar |
Introduction to the Minitrack on Federated Industrial Platform Ecosystems: Technologies, Business Models, and Data-Driven Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 4493-4495, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
21 | Estelle E. Seghers, Luis A. Briceno-Mena, José A. Romagnoli |
Unsupervised learning: Local and global structure preservation in industrial data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 178, pp. 108378, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Chaffre, Paulo E. Santos, Gilles Le Chenadec, Estelle Chauveau, Karl Sammut, Benoit Clement |
Learning Adaptive Control of a UUV Using a Bio-Inspired Experience Replay Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 123505-123518, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | C. Estelle Smith, Hannah Miller Hillberg, Zachary Levonian |
"Thoughts & Prayers" or " ❤️ & ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Hum. Comput. Interact. ![In: Proc. ACM Hum. Comput. Interact. 7(CSCW2), pp. 1-39, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Stephen P. Chapman, Estelle Duprez, Elisabeth Remy |
Logical modelling of myelofibrotic microenvironment predicts dysregulated progenitor stem cell crosstalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 231, pp. 104961, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Mélanie Corcuff, Marc Garibal, Jean-Pierre Desvignes, Céline Guien, Coralie Grattepanche, Gwenaëlle Collod-Béroud, Estelle Ménoret, David Salgado, Christophe Béroud |
Protein domains provide a new layer of information for classifying human variations in rare diseases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Bioinform. ![In: Frontiers Bioinform. 3, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Suresh Sagadevan, Ramesh Poonchi Sivasankaran, J. Anita Lett, Is Fatimah, Getu Kassegn Weldegebrieal, Estelle Léonard, Minh-Vien Le, Tetsuo Soga |
Evaluation of Photocatalytic Activity and Electrochemical Properties of Hematite Nanoparticles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(6), pp. 1139, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Avinash Madasu, Estelle Aflalo, Gabriela Ben Melech Stan, Shachar Rosenman, Shao-Yen Tseng, Gedas Bertasius, Vasudev Lal |
MuMUR: Multilingual Multimodal Universal Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. J. ![In: Inf. Retr. J. 26(1), pp. 5, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Charlotte Baey, Estelle Kuhn |
varTestnlme: An R Package for Variance Components Testing in Linear and Nonlinear Mixed-Effects Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Stat. Softw. ![In: J. Stat. Softw. 107(6), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Rida Laraki, Estelle Varloot |
Grading and Ranking Large number of candidates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.12207, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Lina-Estelle Linelle Louis, Saïd Moussaoui, Vincent Roualdes, Aurélien van Langhenhove, Sébastien Ravoux, Isabelle Milleville-Pennel |
Monitoring mental workload by EEG during a game in Virtual Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.15831, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Estelle Ruellan, Masarah Paquet-Clouston, Sebastián García |
Conti Inc.: Understanding the Internal Discussions of a large Ransomware-as-a-Service Operator with Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.16061, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | C. Estelle Smith, Hannah Miller Hillberg, Zachary Levonian |
"Thoughts & Prayers" or ": Heart Reaction: & : Prayer Reaction: ": How the Release of New Reactions on CaringBridge Reshapes Supportive Communication During Health Crises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.07418, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Gabriela Ben Melech Stan, Diana Wofk, Estelle Aflalo, Shao-Yen Tseng, Zhipeng Cai, Michael Paulitsch, Vasudev Lal |
LDM3D-VR: Latent Diffusion Model for 3D VR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.03226, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Gabriela Ben Melech Stan, Diana Wofk, Scottie Fox, Alex Redden, Will Saxton, Jean Yu, Estelle Aflalo, Shao-Yen Tseng, Fabio Nonato, Matthias Müller 0011, Vasudev Lal |
LDM3D: Latent Diffusion Model for 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.10853, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Juan Carrasquilla, Mohamed Hibat-Allah, Estelle M. Inack, Alireza Makhzani, Kirill Neklyudov, Graham W. Taylor, Giacomo Torlai |
Quantum HyperNetworks: Training Binary Neural Networks in Quantum Superposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.08292, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Bach Long Nguyen, Anh-Dzung Doan, Tat-Jun Chin, Christophe Guettier, Estelle Parra, Ian D. Reid 0001, Markus Wagner 0007 |
Sensor Allocation and Online-Learning-based Path Planning for Maritime Situational Awareness Enhancement: A Multi-Agent Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.02790, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Gale H. Prinster, C. Estelle Smith, Chenhao Tan, Brian C. Keegan |
Community Archetypes: An Empirical Framework for Guiding Research Methodologies to Reflect User Experiences of Sense of Virtual Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.02515, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Marie Le Duff, Estelle Michinov, Marie-Stéphanie Bracq, Nobutaka Mukae, Masatoshi Eto, Jeanne Descamps, Makoto Hashizume, Pierre Jannin |
Virtual reality environments to train soft skills in medical and nursing education: a technical feasibility study between France and Japan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 18(8), pp. 1355-1362, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Coralia Cartis, Estelle M. Massart, Adilet Otemissov |
Bound-constrained global optimization of functions with low effective dimensionality using multiple random embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 198(1), pp. 997-1058, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Coralia Cartis, Estelle M. Massart, Adilet Otemissov |
Global optimization using random embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 200(2), pp. 781-829, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Estelle A. M. C. Adang, Maud T. A. Strous, Joop P. W. van den Bergh, Debbie Gach, Vivian E. M. van Kampen, Roel E. P. van Zeeland, Dennis G. Barten, Frits H. M. van Osch |
Association of Heart Rate Variability with Pulmonary Function Impairment and Symptomatology Post-COVID-19 Hospitalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(5), pp. 2473, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Aidan B. Estelle, August George, Elisar J. Barbar, Daniel M. Zuckerman |
Quantifying cooperative multisite binding in the hub protein LC8 through Bayesian inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 19(4), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Giovani Britton, Salvador Mir, Estelle Lauga-Larroze, Benjamin Dormieu, Quentin Berlingard, Mikaël Cassé, Philippe Galy |
Noise modeling using look-up tables and DC measurements for cryogenic applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 31st IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Dubai, United Arab Emirates, October 16-18, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2599-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Joycelyn Hai, Florian Cacho, X. Federspiel, Tidjani Garba-Seybou, A. Divay, Estelle Lauga-Larroze, Jean-Daniel Arnould |
Integrated Test Circuit for Off-State Dynamic Drain Stress Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRPS ![In: IEEE International Reliability Physics Symposium, IRPS 2023, Monterey, CA, USA, March 26-30, 2023, pp. 1-6, 2023, IEEE, 978-1-6654-5672-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Mohammad Rashidujjaman Rifat, Ayesha Bhimdiwala, Ananya Bhattacharjee, Amna Batool, Dipto Das, Nusrat Jahan Mim, Abdullah Hasan Safir, Sharifa Sultana, Taslima Akter, C. Estelle Smith, Bryan C. Semaan, Shaimaa Lazem, Robert Soden, Michael J. Muller, Syed Ishtiaque Ahmed |
Many Worlds of Ethics: Ethical Pluralism in CSCW. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW Companion ![In: Computer Supported Cooperative Work and Social Computing, CSCW 2023, Minneapolis, MN, USA, October 14-18, 2023, pp. 490-496, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Estelle A. Cuttaz, Omaer Syed, Christopher A. R. Chapman, Josef A. Goding, Zachary K. Bailey, Roberto Portillo-Lara, Rylie A. Green |
A Pilot In Vivo Study of Flexible Fully Polymeric Nerve Cuff Electrodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2023, Sydney, Australia, July 24-27, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2447-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Ruth Line Tagne Mogue, Estelle Courtial, Yasmina Becis, Djahid Rabehi, Nacim Meslem, Nacim Ramdani |
Finite-Gain £1 Interval Impulsive Observer Design Under Denial-of-Service Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 178-183, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Ekaterina Sangati, Lorena Lobo, Stephen Estelle, Federico Sangati, Samira Tavassoli, Tom Froese |
Uncovering the Role of Intention in Active and Passive Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Anna Maria Schleimer, Estelle Duparc |
Designing Digital Infrastructures for Industrial Data Ecosystems - A Literature Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik ![In: Digital Responsibility: Social, Ethical, Ecological Implications of IS, 18. Internationale Tagung Wirtschaftsinformatik (WI 2023), September 18-21, 2023, Paderborn, Germany., pp. 32, 2023, AISeL. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Wibke Stodolka, Julia Mayer, Estelle Duparc, Barbara Steffen |
The Stakeholder Onboarding Model: Addressing the Challenges of Multi-Stakeholder Onboarding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: International Conference on Exploring Service Science, IESS 2023, Geneva, Switzerland, February 16-17, 2023, pp. 5002, 2023, edp sciences. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Avinash Madasu, Estelle Aflalo, Gabriela Ben Melech Stan, Shao-Yen Tseng, Gedas Bertasius, Vasudev Lal |
Improving Video Retrieval Using Multilingual Knowledge Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (1) ![In: Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I, pp. 669-684, 2023, Springer, 978-3-031-28243-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Hendrik van der Valk, Carina Culotta, Michael Schmidt, Estelle Duparc |
Introduction to the Minitrack on Platform Ecosystems in Production and Logistics: Technologies, Business Models, and Data-Driven Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023, pp. 4304-4305, 2023, ScholarSpace, 978-0-9981331-6-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Alex Rotgang, Estelle Duparc, Barbara Steffen, Steffen Hövel, Julia Mayer, Wibke Stodolka |
Federal Platform Ecosystems to Counter Monopolists: A Value-Based Vision for the Logistics Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023, pp. 4316-4325, 2023, ScholarSpace, 978-0-9981331-6-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Kiev Gama, George Valença, Candy Estelle Marques Laurendon, Ájò Nasidí Marques, Luís Eduardo Ramos, Ravena Amaral, Clarissa Maria Dubeux Lopes Barros, Guilherme Xavier |
Hackathons as Inclusive Spaces for Prototyping Software in Open Social Innovation with NGOs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (SEIS) ![In: 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society, SEIS@ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 58-70, 2023, IEEE, 979-8-3503-2261-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Estelle Dirand, Ali Asad, Yann Magnin |
Trigger Smart Data Saving Applied to CO2 Capture in Metal-Organic Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC Workshops ![In: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023, pp. 855-861, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Hasan Moussa, Jessica Gonsalves, Estelle Lauga-Larroze, Sana Ibrahim, Florence Podevin, Sylvain Bourdel, Laurent Fesquet |
Making Digital N-Path Mixers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCIS ![In: 38th Conference on Design of Circuits and Integrated Systems, DCIS 2023, Málaga, Spain, November 15-17, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-0385-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Charlotte Baey, Maud Delattre, Estelle Kuhn, Jean-Benoist Leger, Sarah Lemler |
Efficient preconditioned stochastic gradient descent for estimation in latent variable models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 1430-1453, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Paul Melki, Lionel Bombrun, Estelle Millet, Boubacar Diallo, Hakim Elchaoui Elghor, Jean-Pierre Da Costa |
Exploratory Analysis on Pixelwise Image Segmentation Metrics with an Application in Proximal Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(4), pp. 996, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Estelle Duparc, Frederik Möller, Ilka Jussen, Maleen Stachon, Sükran Algac, Boris Otto |
Archetypes of open-source business models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Mark. ![In: Electron. Mark. 32(2), pp. 727-745, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Shuichi Ichioka, Estelle Pouget, Takao Mimura, Jun Nakajima, Toshihiro Yamauchi |
Analysis of Android Applications Shared on Twitter Focusing on Accessibility Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 30, pp. 601-612, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 645 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|