|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24 occurrences of 24 keywords
|
|
|
Results
Found 613 publication records. Showing 553 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
131 | Ivan Miro Panades, Fabien Clermidy, Pascal Vivet, Alain Greiner |
Physical Implementation of the DSPIN Network-on-Chip in the FAUST Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOCS ![In: Second International Symposium on Networks-on-Chips, NOCS 2008, 5-6 April 2008, Newcastle University, UK. Proceedings, pp. 139-148, 2008, IEEE Computer Society, 978-0-7695-3098-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DSPIN, ANOC, physical implementation, FAUST, bi-synchronous FIFO, network-on-chip, NoC |
118 | Mariusz Milik, Sándor Szalma, Krzysztof A. Olszewski |
FAUST: An Algorithm for Extracting Functionally Relevant Templates from Protein Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings, pp. 172-184, 2002, Springer, 3-540-44211-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
72 | Yann Orlarey, Dominique Fober, Stéphane Letz |
Syntactical and semantical aspects of Faust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(9), pp. 623-632, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Real-time, compiler, Functional programming, Signal processing, Dataflow |
69 | Vincent A. Guarna Jr., Dennis Gannon, Yogesh Gaur, David Jablonowski |
FAULT: an environment for programming parallel scientific applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '88, Orlando, FL, USA, November 12-17, 1988, pp. 3-10, 1988, IEEE Computer Society, 0-8186-0882-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
52 | Frank Fischer 0005, Anna Busch, Linda-Rabea Heyden, Mark Schwindt |
Faust Times Eighteen: A Network Analysis of Theatre Plays Around the Myth of Faust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: 15th Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2020, Ottawa, Canada, July 20-25, 2020, Conference Abstracts, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
49 | André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van |
FAUST: Formal Analysis Using Specification Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 11th IEEE International Conference on Requirements Engineering (RE 2003), 8-12 September 2003, Monterey Bay, CA, USA., pp. 350, 2003, IEEE Computer Society, 0-7695-1980-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Vincent A. Guarna Jr., Yogesh Gaur |
A Portable User Interface for a Scientific Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 1st Annual ACM Symposium on User Interface Software and Technology, UIST 1988, Alberta, Canada, October 17-19, 1988, pp. 211-220, 1988, ACM, 0-89791-283-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Agathe Herrou, Florent de Dinechin, Stéphane Letz, Yann Orlarey, Anastasia Volkova |
Towards Fixed-Point Formats Determination for Faust Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.06527, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Mate Kovac, Leon Dragic, Branimir Malnar, Francesco Minervini, Oscar Palomar, Carlos Rojas, Mauro Olivieri, Josip Knezovic, Mario Kovac |
FAUST: Design and implementation of a pipelined RISC-V vector floating-point unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 97, pp. 104762, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Muhammad Adil Inam, Akul Goyal, Jason Liu 0002, Jaron Mink, Noor Michael, Sneha Gaur, Adam Bates 0001, Wajih Ul Hassan |
FAuST: Striking a Bargain between Forensic Auditing's Security and Throughput. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Annual Computer Security Applications Conference, ACSAC 2022, Austin, TX, USA, December 5-9, 2022, pp. 813-826, 2022, ACM, 978-1-4503-9759-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Anatoliy Zabrovskiy, Prateek Agrawal, Christian Timmerer, Radu Prodan |
FAUST: Fast Per-Scene Encoding Using Entropy-Based Scene Detection and Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FRUCT ![In: 30th Conference of Open Innovations Association, FRUCT 2021, Oulu, Finland, October 27-29, 2021, pp. 292-302, 2021, IEEE, 978-952-69244-6-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Thorsten Vitt |
Graph models for the genesis of Goethe's Faust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: 15th Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2020, Ottawa, Canada, July 20-25, 2020, Conference Abstracts, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Romain Michon, Yann Orlarey, Stéphane Letz, Dominique Fober, Catinca Dumitrascu |
Mobile Music with the Faust Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMMR ![In: Perception, Representations, Image, Sound, Music - 14th International Symposium, CMMR 2019, Marseille, France, October 14-18, 2019, Revised Selected Papers, pp. 307-318, 2019, Springer, 978-3-030-70209-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Stéphane Letz, Yann Orlarey, Dominique Fober |
FAUST Domain Specific Audio DSP Language Compiled to WebAssembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018, pp. 701-709, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Patrick Saalfeld, Sylvia Glaßer, Oliver Beuing, Bernhard Preim |
The FAUST framework: Free-form annotations on unfolding vascular structures for treatment planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. ![In: Comput. Graph. 65, pp. 12-21, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Romain Michon, Sara R. Martin, Julius O. Smith III |
MESH2FAUST: a Modal Physical Model Generator for the Faust Programming Language - Application to Bell Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 2017 International Computer Music Conference, ICMC 2017, Shanghai, China, October 16-20, 2017, 2017, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Yann Orlarey, Stéphane Letz, Dominique Fober, Romain Michon |
FAUST tutorial for functional programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FARM@ICFP ![In: Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September 9, 2017, pp. 20-27, 2017, ACM, 978-1-4503-5180-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Federica Bogo, Javier Romero 0002, Gerard Pons-Moll, Michael J. Black |
Dynamic FAUST: Registering Human Bodies in Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2017 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2017, Honolulu, HI, USA, July 21-26, 2017, pp. 5573-5582, 2017, IEEE Computer Society, 978-1-5386-0457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Yann Orlarey, Pierre Jouvelot |
Signal Rate Inference for Multidimensional Faust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016, pp. 1:1-1:12, 2016, ACM, 978-1-4503-4767-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Maximilian Hadersbeck, Elisabeth Eder, Roman Capsamun, Nora Eichfeldt, Simeon Herteis, Matthias Lindinger, Raphael Höps, Stefan Schweter |
Mit der FinderApp durch Goethes Faust: Treffer im Faksimile visuell hervorgehoben und multimediale Ausgabe in Videoaufführung und Hörbuch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHd ![In: 3. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, DHd 2016, Leipzig, Germany, March 7 - 12, 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Romain Michon, Julius O. Smith III, Yann Orlarey |
Mobilefaust: a set of tools to make musical mobile applications with the faust programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 15th International Conference on New Interfaces for Musical Expression, NIME 2015, Baton Rouge, Louisiana, USA, May 31 - June 3, 2015., pp. 396-399, 2015, nime.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate |
FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 272-286, 2015, Springer, 978-3-662-46680-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Victor Lazzarini, Damián Keller, Marcelo Soares Pimenta, Joseph Timoney |
Ubiquitous Music Ecosystems: Faust Programs in Csound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ubiquitous Music ![In: Ubiquitous Music, pp. 129-150, 2014, Springer, 978-3-319-11151-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Stéphane Letz, Sarah Denoux, Yann Orlarey |
Audio Rendering/Processing and Control Ubiquity ? a Solution Built Using the Faust Dynamic Compiler and JACK/NetJack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Music Technology meets Philosophy - From Digital Echos to Virtual Ethos: Joint Proceedings of the 40th International Computer Music Conference, ICMC 2014, and the 11th Sound and Music Computing Conference, SMC 2014, Athens, Greece, September 14-20, 2014, 2014, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Dimitri Bouche, Jean Bresson, Stéphane Letz |
Programmation and Control of Faust Sound Processing in OpenMusic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Music Technology meets Philosophy - From Digital Echos to Virtual Ethos: Joint Proceedings of the 40th International Computer Music Conference, ICMC 2014, and the 11th Sound and Music Computing Conference, SMC 2014, Athens, Greece, September 14-20, 2014, 2014, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Karim Barkati, Haisheng Wang, Pierre Jouvelot |
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 69-85, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Federica Bogo, Javier Romero 0002, Matthew Loper, Michael J. Black |
FAUST: Dataset and Evaluation for 3D Mesh Registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2014 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2014, Columbus, OH, USA, June 23-28, 2014, pp. 3794-3801, 2014, IEEE Computer Society, 978-1-4799-5118-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Karamjit S. Gill |
Faust, Freud, machine: encounters and performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 28(3), pp. 253-255, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Timm Heuss |
Faust.rdf - Taking RDF literally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDL ![In: Proceedings of the 2nd Workshop on Linked Data in Linguistics, LDL 2013: Representing and linking lexicons, terminologies and other language data, Pisa, Italy, September 23, 2013, pp. 59-63, 2013, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | William Byrne, Lluís Màrquez |
FAUST: Feedback Analysis for User Adaptive Statistical Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTSummit (European projects) ![In: Proceedings of Machine Translation Summit XIV: European projects, MTSummit 2013, Nice, France, September 2-6, 2013, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | Reinhard Wilhelm |
"Von Scheiße befreit", Frei nach Goethe, Faust I - Glosse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 35(5), pp. 376, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Heinz Riener, Görschwin Fey |
FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings, pp. 234-240, 2012, Springer, 978-3-642-31758-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | |
FAUST - Feedback Analysis for User adaptive Statistical Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT ![In: Proceedings of the 16th Annual conference of the European Association for Machine Translation, EAMT 2012, Trento, Italy, May 28-30, 2012, 2012, European Association for Machine Translation. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Daniele Pighin, Lluís Màrquez, Lluís Formiga |
The FAUST Corpus of Adequacy Assessments for Real-World Machine Translation Output. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Eighth International Conference on Language Resources and Evaluation, LREC 2012, Istanbul, Turkey, May 23-25, 2012, pp. 29-35, 2012, European Language Resources Association (ELRA), 978-2-9517408-7-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Pierre Jouvelot, Yann Orlarey |
Dependent vector types for data structuring in multirate Faust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 37(3), pp. 113-131, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Peter Lofgren, Nicholas Hopper |
FAUST: efficient, TTP-free abuse prevention by anonymous whitelisting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPES ![In: Proceedings of the 10th annual ACM workshop on Privacy in the electronic society, WPES 2011, Chicago, IL, USA, October 17, 2011, pp. 125-130, 2011, ACM, 978-1-4503-1002-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | |
FAUST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT ![In: Proceedings of the 15th Annual conference of the European Association for Machine Translation, EAMT 2011, Leuven, Belgium, May 30-31, 2011, 2011, European Association for Machine Translation. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
26 | Rachel Zax, Frank Adelstein |
FAUST: Forensic artifacts of uninstalled steganography tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Investig. ![In: Digit. Investig. 6(1-2), pp. 25-38, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Yann Orlarey, Stéphane Letz |
Multicore Technologies in Jack and FAUST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 2008 International Computer Music Conference, ICMC 2008, Belfast, Ireland, August 24-29, 2008, 2008, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
26 | Karl-Heinz Best |
XXVI. Manfred Faust (1936-1997). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Glottometrics ![In: Glottometrics 14, pp. 74-78, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Stephen Saxby |
Book review: Sentencing policy in the information society: Sentencing in the Age of Information - from Faust to Macintosh, Katja Franko Aas, Glasshouse Press (2005), (205 pp., soft-cover), ISBN: 1904385389. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 23(1), pp. 86, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Stephan Pareigis, Bernd Schwarz, Franz Korf |
FAUST: Entwicklung von Fahrerassistenz- und autonomen Systemen - Technische Informatik an der Hochschule für Angewandte Wissenschaften Hamburg. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARL ![In: Mobilität und Echtzeit - PEARL 2007, Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time), Boppard, 6./7. Dezember 2007, pp. 69-78, 2007, Springer, 978-3-540-74836-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Yann Orlarey, Albert Gräf, Stefan Kersten |
DSP Programming with Faust, Q and SuperCollider. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 2006 International Computer Music Conference, ICMC 2006, New Orleans, Louisiana, USA, November 6-11, 2006, 2006, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
26 | Yann Orlarey, Dominique Fober, Stéphane Letz |
Demonstration of FAUST signal Processing Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 2005 International Computer Music Conference, ICMC 2005, Barcelona, Spain, September 4-10, 2005, 2005, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale, Paolo Prinetto, I. Solcia, Luca Tagliaferri |
FAUST: FAUlt-injection Script-based Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 7-9 July 2003, Kos Island, Greece, pp. 160, 2003, IEEE Computer Society, 0-7695-1968-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Eric S. Strother |
Sergi Jordà: Faust Music Online CD-ROM, 1998; La Fura Dels Baus; electronic mail sergi.jorda@iua.upf.es; World Wide Web www.iua.upf.es/∼sergi/FMOL/fmoltrio/history_fmol.htm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Music. J. ![In: Comput. Music. J. 25(1), pp. 94-95, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Marie Anne Fontenier |
I Faust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Visual Proceedings ![In: ACM SIGGRAPH 96 Visual Proceedings: The art and interdisciplinary programs of SIGGRAPH 1996, New Orleans, LA, USA, August 4-9, 1996, pp. 192, 1996, ACM, 0-89791-784-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Remis Balaniuk, Emmanuel Mazer, Pierre Bessière |
Faust Direct and Inverse Model Acquisition by Function Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1995 International Conference on Robotics and Automation, Nagoya, Aichi, Japan, May 21-27, 1995, pp. 1535-1540, 1995, IEEE Computer Society, 0-7803-1965-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Bernhard Kaspar, Georg Fries, Karlheinz Schuhmacher, Antje Wirth |
Faust - a directory assistance demonstrator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSPEECH ![In: Fourth European Conference on Speech Communication and Technology, EUROSPEECH 1995, Madrid, Spain, September 18-21, 1995, pp. 1161-1164, 1995, ISCA. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Klaus Schneider 0001, Ramayya Kumar, Thomas Kropf |
The FAUST - Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 766-770, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Vincent A. Guarna Jr., Dennis Gannon, David Jablonowski, Allen D. Malony, Yogesh Gaur |
Faust: An Integrated Environment for Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 6(4), pp. 20-27, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Hsi-Ching Shih, Joseph T. Rahmeh, Jacob A. Abraham |
FAUST: An MOS Fault Simulator with Timing Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 5(4), pp. 557-563, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde |
Goal-Oriented Design of Domain Control Panels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers, pp. 249-260, 2005, Springer, 3-540-34145-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | C. L. McCreary, D. H. Gill |
Automatic partitioning and virtual scheduling for efficient parallel execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 30th Annual Southeast Regional Conference, 1992, Raleigh, North Carolina, USA, April 8-10, 1992, pp. 29-36, 1992, ACM, 0-89791-506-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Beth |
Algebraic System Modelling and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'91, A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991, Proceedings, pp. 21-31, 1991, Springer, 3-540-55354-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Clémence Joseph, Haris Zafeiropoulos, Kristel Bernaerts, Karoline Faust |
Predicting microbial interactions with approaches based on flux balance analysis: an evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 36, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Oisin Faust, Hamza Fawzi |
Sum-of-Squares Proofs of Logarithmic Sobolev Inequalities on Finite Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 70(2), pp. 803-819, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Eleni D. Koronaki, Luise F. Kaven, Johannes M. M. Faust, Ioannis G. Kevrekidis, Alexander Mitsos |
Nonlinear Manifold Learning Determines Microgel Size from Raman Spectroscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.08376, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | John D. Co-Reyes, Yingjie Miao, George Tucker, Aleksandra Faust, Esteban Real |
Guided Evolution with Binary Discriminators for ML Program Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.05821, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Yali Bian, Rebecca Faust, Chris North 0001 |
NeuralSI: Neural Design of Semantic Interaction for Interactive Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.17178, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Jesse Farebrother, Jordi Orbay, Quan Vuong, Adrien Ali Taïga, Yevgen Chebotar, Ted Xiao, Alex Irpan, Sergey Levine, Pablo Samuel Castro, Aleksandra Faust, Aviral Kumar, Rishabh Agarwal |
Stop Regressing: Training Value Functions via Classification for Scalable Deep RL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.03950, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Sebastian Faust, Loïc Masure, Elena Micheli, Maximilian Orlt, François-Xavier Standaert |
Connecting Leakage-Resilient Secret Sharing to Practice: Scaling Trends and Physical Dependencies of Prime Field Masking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 377, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
22 | Gianluca Brian, Stefan Dziembowski, Sebastian Faust |
From Random Probing to Noisy Leakages Without Field-Size Dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 339, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
22 | Maryam Fallahpoor, Subrata Chakraborty, Biswajeet Pradhan, Oliver Faust, Prabal Datta Barua, Chegeni Hossein, U. Rajendra Acharya |
Deep learning techniques in PET/CT imaging: A comprehensive review from sinogram to image space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Programs Biomed. ![In: Comput. Methods Programs Biomed. 243, pp. 107880, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Sebastian Faust, Loïc Masure, Elena Micheli, Maximilian Orlt, François-Xavier Standaert |
Connecting Leakage-Resilient Secret Sharing to Practice: Scaling Trends and Physical Dependencies of Prime Field Masking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (4) ![In: Advances in Cryptology - EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part IV, pp. 316-344, 2024, Springer, 978-3-031-58736-8. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Gianluca Brian, Stefan Dziembowski, Sebastian Faust |
From Random Probing to Noisy Leakages Without Field-Size Dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (4) ![In: Advances in Cryptology - EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part IV, pp. 345-374, 2024, Springer, 978-3-031-58736-8. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Sakir Engin Sahin, Gokhan Gulhan, Prabal Datta Barua, Turker Tuncer, Sengul Dogan, Oliver Faust, U. Rajendra Acharya |
PrismPatNet: Novel prism pattern network for accurate fault classification using engine sound signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. J. Knowl. Eng. ![In: Expert Syst. J. Knowl. Eng. 40(8), September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Ali Esmailiyan, Elena Blokhina, Dennis Andrade-Miceli, Eoin Faust, Panagiotis Giounanlis, Dirk Leipold, Hongying Wang, Imran Bashir, Eugene Koskin, Teerachot Siriburanon, Robert Bogdan Staszewski |
An On-Chip Picoampere-Level Leakage Current Sensor for Quantum Processors in 22-nm FD-SOI CMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 70(6), pp. 1861-1865, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Mustafa Safdari, Greg Serapio-García, Clément Crepy, Stephen Fitz, Peter Romero, Luning Sun, Marwa Abdulhai, Aleksandra Faust, Maja J. Mataric |
Personality Traits in Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.00184, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Cole Gulino, Justin Fu, Wenjie Luo, George Tucker, Eli Bronstein, Yiren Lu 0001, Jean Harb, Xinlei Pan, Yan Wang, Xiangyu Chen, John D. Co-Reyes, Rishabh Agarwal, Rebecca Roelofs, Yao Lu, Nico Montali, Paul Mougin, Zoey Yang, Brandyn White, Aleksandra Faust, Rowan McAllister, Dragomir Anguelov, Benjamin Sapp |
Waymax: An Accelerated, Data-Driven Simulator for Large-Scale Autonomous Driving Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.08710, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yujin Tang, Wenhao Yu 0003, Jie Tan, Heiga Zen, Aleksandra Faust, Tatsuya Harada |
SayTap: Language to Quadrupedal Locomotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.07580, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Izzeddin Gur, Hiroki Furuta, Austin Huang, Mustafa Safdari, Yutaka Matsuo, Douglas Eck, Aleksandra Faust |
A Real-World WebAgent with Planning, Long Context Understanding, and Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.12856, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Meredith Ringel Morris, Jascha Sohl-Dickstein, Noah Fiedel, Tris Warkentin, Allan Dafoe, Aleksandra Faust, Clément Farabet, Shane Legg |
Levels of AGI: Operationalizing Progress on the Path to AGI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.02462, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Alexander Schlüter, Henning Müller, Sikang Yan, Erik Faust, Ralf Müller |
A Lattice Boltzmann Method for Elastic Solids Under Plane Strain Deformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.00228, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Anish Muthali, Haotian Shen, Sampada Deglurkar, Michael H. Lim, Rebecca Roelofs, Aleksandra Faust, Claire J. Tomlin |
Multi-Agent Reachability Calibration with Conformal Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.00432, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Srivatsan Krishnan, Amir Yazdanbakhsh, Shvetank Prakash, Jason Jabbour, Ikechukwu Uchendu, Susobhan Ghosh, Behzad Boroujerdian, Daniel Richins, Devashree Tripathy, Aleksandra Faust, Vijay Janapa Reddi |
ArchGym: An Open-Source Gymnasium for Machine Learning Assisted Architecture Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.08888, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Oisin Faust, Hamza Fawzi |
Rational approximations of operator monotone and operator convex functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.12405, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Hiroki Furuta, Yutaka Matsuo, Aleksandra Faust, Izzeddin Gur |
Language Model Agents Suffer from Compositional Generalization in Web Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.18751, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Francesco Berti, Sebastian Faust, Maximilian Orlt |
Provable Secure Parallel Gadgets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Trans. Cryptogr. Hardw. Embed. Syst. ![In: IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023(4), pp. 420-459, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser |
Statement-Oblivious Threshold Witness Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 668, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Poulami Das 0003, Andreas Erwig, Sebastian Faust, Julian Loss, Siavash Riahi 0002 |
BIP32-Compatible Threshold Wallets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 312, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Francesco Berti, Sebastian Faust, Maximilian Orlt |
Long Paper: Provable Secure Parallel Gadgets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1182, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser |
Putting the Online Phase on a Diet: Covert Security from Short MACs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 52, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser |
Threshold BBS+ From Pseudorandom Correlations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1076, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Stefan Dziembowski, Sebastian Faust, Tomasz Lizurej |
Individual Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 88, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Sebastian Berndt 0001, Thomas Eisenbarth 0001, Sebastian Faust, Marc Gourjon, Maximilian Orlt, Okan Seker |
Combined Fault and Leakage Resilience: Composability, Constructions and Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1143, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Oliver Faust, Simona De Michele, Joel E. W. Koh, V. Jahmunah 0001, Shu Lih Oh, Aditya P. Kamath, Prabal Datta Barua, Edward J. Ciaccio, Suzanne K. Lewis, Peter H. R. Green, Govind Bhagat, U. Rajendra Acharya |
Automated analysis of small intestinal lamina propria to distinguish normal, Celiac Disease, and Non-Celiac Duodenitis biopsy images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Programs Biomed. ![In: Comput. Methods Programs Biomed. 230, pp. 107320, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Shuting Xu, Ravinesh C. Deo, Jeffrey Soar, Prabal Datta Barua, Oliver Faust, Nusrat Homaira, Adam Jaffe, Arm Luthful Kabir, U. Rajendra Acharya |
Automated detection of airflow obstructive diseases: A systematic review of the last decade (2013-2022). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Programs Biomed. ![In: Comput. Methods Programs Biomed. 241, pp. 107746, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini |
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 45(3), pp. 17:1-17:41, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Huimin Han, Rebecca Faust, Brian Felipe Keith Norambuena, Jiayue Lin, Song Li, Chris North 0001 |
Explainable interactive projections of images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 34(6), pp. 100, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yiren Lu 0001, Justin Fu, George Tucker, Xinlei Pan, Eli Bronstein, Rebecca Roelofs, Benjamin Sapp, Brandyn White, Aleksandra Faust, Shimon Whiteson, Dragomir Anguelov, Sergey Levine |
Imitation Is Not Enough: Robustifying Imitation with Reinforcement Learning for Challenging Driving Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 7553-7560, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yazied A. Hasan, Ariana M. Villegas-Suarez, Evan C. Carter, Aleksandra Faust, Lydia Tapia |
Enhancing Value Estimation Policies by Post-Hoc Symmetry Exploitation in Motion Planning Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 4812-4819, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser |
Statement-Oblivious Threshold Witness Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 17-32, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Fredrik Kamphuis, Bernardo Magri, Ricky Lamberty, Sebastian Faust |
Revisiting Transaction Ledger Robustness in the Miner Extractable Value Era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security - 21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023, Proceedings, Part II, pp. 675-698, 2023, Springer, 978-3-031-33490-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Anish Muthali, Haotian Shen, Sampada Deglurkar, Michael H. Lim, Rebecca Roelofs, Aleksandra Faust, Claire J. Tomlin |
Multi-Agent Reachability Calibration with Conformal Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 6596-6603, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Tommaso Frassetto, Patrick Jauernig, David Koisser, David Kretzler, Benjamin Schlosser, Sebastian Faust, Ahmad-Reza Sadeghi |
POSE: Practical Off-chain Smart Contract Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 30th Annual Network and Distributed System Security Symposium, NDSS 2023, San Diego, California, USA, February 27 - March 3, 2023, 2023, The Internet Society. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Yujin Tang, Wenhao Yu 0003, Jie Tan, Heiga Zen, Aleksandra Faust, Tatsuya Harada |
SayTap: Language to Quadrupedal Locomotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRL ![In: Conference on Robot Learning, CoRL 2023, 6-9 November 2023, Atlanta, GA, USA., pp. 3556-3570, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Andreas Erwig, Sebastian Faust, Siavash Riahi 0002, Tobias Stöckert |
CommiTEE : An Efficient and Secure Commit-Chain Protocol using TEEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: 8th IEEE European Symposium on Security and Privacy, EuroS&P 2023, Delft, Netherlands, July 3-7, 2023, pp. 429-448, 2023, IEEE, 978-1-6654-6512-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Aleksandra Faust, Roman Garnett, Colin White, Frank Hutter, Jacob R. Gardner (eds.) |
International Conference on Automated Machine Learning, 12-15 November 2023, Hasso Plattner Institute, Potsdam, Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AutoML ![PMLR The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Anna Faust, Martin Dröge, Carolin Odebrecht |
Assessment of AI literacy - Development and testing of a customizable set ofitems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future - Zukünfte gestalten, Berlin, Germany September 26-29, 2023, pp. 341-346, 2023, Gesellschaft für Informatik, Bonn, 978-3-88579-731-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 553 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|