|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2157 occurrences of 1462 keywords
|
|
|
Results
Found 36218 publication records. Showing 32281 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
99 | Joseph Fong, Irene S. Y. Kwan, Margaret Ng, K. L. Lau |
Fifth Normal Form Made Easy with Novel Web-Based CAI HCI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web-Based Learning, First International Conference, ICWL 2002, Hong Kong, China, August 17-19, 2002, Proceedings, pp. 398-410, 2002, Springer, 3-540-44041-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
98 | Stefan Hüsig |
The CAI-NPD-Systems Maturity Model as Forecasting Method: From Closed CAI 1.0 to Holistic CAI 2.0 Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP CAI ![In: Building Innovation Pipelines through Computer-Aided Innovation - 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011. Proceedings, pp. 29-42, 2011, Springer, 978-3-642-22181-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
94 | Jianhong Ma, Runhua Tan |
Modeling the Variability with UML for TRIZ Based CAI System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLAMAT ![In: Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management, Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15-17, 2006, Shanghai, China, pp. 406-411, 2006, Springer, 0-387-34402-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Computer Aided Invention (CAI), modeling variability, UML, software product line, TRIZ |
85 | Liu Yong-Min, Xiao Bi-Wu, Liu Ping-Bo |
Study on the New Mode of CAI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 526-528, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
75 | Jackei H. K. Wong, Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon |
An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings, pp. 233-244, 2008, Springer, 978-3-540-87784-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Meta-interface paradigm, CTSS, WTS, telemedicine system, enterprise vocabulary, ontology, software development, automated, CAI |
72 | Masahiro Ozaki, Koji Koyama, Yoshinori Adachi, Naohiro Ishii |
Web Type CAI System with Dynamic Text Change from Database by Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part II, pp. 567-572, 2003, Springer, 3-540-40804-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
72 | Bernard H. Goddard |
The use of CAI at McDonnell Douglas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA, pp. 953-955, 1974, AFIPS Press, 978-1-4503-7920-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
68 | John G. Allee Jr., Robert L. Williams |
A Syntactic Schema And Algorithm For Language Arts CAI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 342-345, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
CAI for grammar and usage, English sentence algorithms and schemata, Generating sentences, Programming grammar in BASIC, Computer assisted instruction |
62 | Kikuo Asai, Hideaki Kobayashi |
Comparative Characteristics of a Head-Up Display for Computer-Assisted Instruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Human-Computer Interaction. Interaction Platforms and Techniques, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 531-540, 2007, Springer, 978-3-540-73106-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
HUD, user study, HMD, CAI |
61 | WoongChul Choi, YongSuk Lee, Byung Joon Park, Kuk-Hyun Cho |
On Performance Improvement for 802.11-based Multi-hop Ad Hoc Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSADS ![In: Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers, pp. 407-416, 2005, Springer, 3-540-28063-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
CAI (Collision Avoidance Interval), IEEE 802.11, MAC, Collision, Ad-hoc wireless networks |
59 | Xianzhi Tian |
Influences of CAI English Teaching Pattern on the Autonomous Learning -Research on Divided Class Instruction of Independent College. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the International Workshop on Knowledge Discovery and Data Mining, WKDD 2008, Adelaide, Australia, 23-24 January 2008, pp. 440-444, 2008, IEEE Computer Society, 0-7695-3090-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Peihe Tang, Jun Li, Qiong Wei, Yousuo J. Zou |
Some Misunderstandings and Reflections on Multi-media CAI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 1361-1364, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Kenichi Takahashi, Hiroaki Ueda, Tetsuhiro Miyahara |
A Student Agent in a CAI System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Compiegne, France, September 19-22, 2005, pp. 686-689, 2005, IEEE Computer Society, 0-7695-2416-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | David W. Valentine |
The Cross-Cultural Effectiveness of CAI: Some Cognitive and Affective Factors (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 445, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
58 | Carlos Ramírez, Héctor García, Livier Serna, Noel León |
CAI for Minimizing Movement of Solar Tracking Concentrators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP CAI ![In: Building Innovation Pipelines through Computer-Aided Innovation - 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011. Proceedings, pp. 43-56, 2011, Springer, 978-3-642-22181-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
58 | Tao Chen, Yunfei Shao, Xiaowo Tang |
Problem Solving Process Research of Everyone Involved in Innovation Based on CAI Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP CAI ![In: Growth and Development of Computer-Aided Innovation - Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings, pp. 321-327, 2009, Springer, 978-3-642-03345-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Miao Li |
Design of a Intelligent Computing Aided Instruction System Based on the Computer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the International Workshop on Knowledge Discovery and Data Mining, WKDD 2008, Adelaide, Australia, 23-24 January 2008, pp. 355-358, 2008, IEEE Computer Society, 0-7695-3090-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | D. M. Sherman |
Expert Systems and ICAI in Tax Law: Killing Two Birds with One AI Stone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Second International Conference on Artificial Intelligence and Law, ICAIL '89, Vancouver, BC, Canada, June 13-16, 1989, pp. 74-80, 1989, ACM, 0-89791-322-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
52 | G. Michael Barnes, Gary A. Kind |
Visual simulations of data structures during lecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987, St. Louis, Missouri, USA, February 19-20, 1987, pp. 267-276, 1987, ACM, 978-0-89791-217-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
46 | Joel A. Michael, Allen A. Rovick, Martha W. Evens, Leemseop Shim, Chong Woo, Nakhoon Kim |
The Uses of Multiple Student Inputs in Modeling and Lesson Planning in CAI and ICAI Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings, pp. 441-452, 1992, Springer, 3-540-55578-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
46 | Toshihiro Hayashi, Yoneo Yano |
Open Structured CAI System for Kanji Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings, pp. 271-282, 1992, Springer, 3-540-55578-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
46 | Robert Stubenrauch |
Touring a Hyper-CAI System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 2nd International Conference, ICCAL '89, Dallas, Texas, USA, May 9-11, 1989, Proceedings, pp. 541-551, 1989, Springer, 3-540-51142-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
46 | David K. Boeshaar, Keith E. Gatling |
A hard disk organization scheme for delivering CAI on a novell based PC/MS DOS local area network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 15th Annual ACM SIGUCCS Conference on User Services, Kansas City, Missouri, USA, 1987, pp. 361, 1987, ACM, 0-89791-241-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
40 | Ikuo Kudo, Moonkyung Chung, Hideya Koshino |
English cai: A user - initiative cai system with machine translation techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 21(9), pp. 46-60, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
39 | Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura |
The Learning System of Shinshu University Graduate School of Science and Technology on the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III, pp. 1296-1302, 2005, Springer, 3-540-28896-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Patricia Balbastre, Ismael Ripoll, Josep Vidal Canet, Alfons Crespo |
A Task Model to Reduce Control Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 27(3), pp. 215-236, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
timing jitter, multi-rate controllers, schedulability analysis, control design |
39 | Paul Gillard |
A Tiny Tool for Matrix Inversion in a COSTOC Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings, pp. 235-244, 1990, Springer, 3-540-52699-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
39 | Dimitrios Poulakis, George Rahonis (eds.) |
Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-031-19684-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Yuri V. Matiyasevich |
On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 15-25, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Virgile Dossou-Yovo, Abderrahmane Nitaj, Alain Togbé |
Finding Points on Elliptic Curves with Coppersmith's Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 69-80, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Manuel Kauers, Jakob Moosbauer |
A Normal Form for Matrix Multiplication Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 149-160, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Ivana Micic, Zorana Jancic, Stefan Stanimirovic |
Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 192-202, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Jean Néraud |
When Variable-Length Codes Meet the Field of Error Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 203-222, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Peter Kostolányi |
Bideterministic Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 161-174, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Valentin P. Bakoev |
Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 43-54, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Lila Kari, Kalpana Mahalingam |
Watson-Crick Powers of a Word. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 136-148, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Jean-Éric Pin |
Shuffle Product of Regular Languages: Results and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 26-39, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Fan Feng, Andreas Maletti |
Weighted Two-Way Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 101-114, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Danai Balla, Pourandokht Behrouz, Panagiotis Grontas, Aris Pagourtzis, Marianna Spyrakou, Giannis Vrettos |
Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 55-68, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Christina Chrysovalanti Fountoukidou, Maria Pittou |
A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 115-135, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Leonidas Efstathiadis |
Weighted Propositional Configuration Logic over De Morgan Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 81-100, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Sebastian Maneth, Helmut Seidl, Martin Vu |
How to Decide Functionality of Compositions of Top-Down Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 175-191, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Stéphane Ballet, Robert Rolland |
Chaining Multiplications in Finite Fields with Chudnovsky-Type Algorithms and Tensor Rank of the k-Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 3-14, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Miroslav Ciric 0001, Manfred Droste, Jean-Éric Pin (eds.) |
Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-030-21362-6 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Anton Betten, Svetlana Topalova, Stela Zhelezova |
Parallelisms of \mathrmPG(3, 4) Invariant Under Cyclic Groups of Order 4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 88-99, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Marios Adamoudis, Konstantinos A. Draziotis, Dimitrios Poulakis |
Enhancing an Attack to DSA Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 13-25, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | James Garrett, Natasa Jonoska, Hwee Kim, Masahico Saito |
Algebraic Systems Motivated by DNA Origami. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 164-176, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Stefan Hoffmann 0001 |
Commutative Regular Languages - Properties and State Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 151-163, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Charles J. Colbourn, Violet R. Syrotiuk |
Detecting Arrays for Main Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 112-123, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Alexandre Trocado, Laureano González-Vega, José Manuel Dos Santos |
Intersecting Two Quadrics with GeoGebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 237-248, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Marko D. Petkovic, Predrag S. Stanimirovic |
Zeroing Neural Network Based on the Equation AXA = A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 213-224, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Predrag S. Stanimirovic, Yiming Wei 0001, Dejan Kolundzija, Juan Rafael Sendra, Juana Sendra |
An Application of Computer Algebra and Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 225-236, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Aleksandar Trokicic, Branimir Todorovic |
Randomized Nyström Features for Fast Regression: An Error Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 249-257, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Stéphane Ballet, Alexis Bonnecaze, Thanh-Hung Dang |
On the Scalar Complexity of Chudnovsky ^2 Multiplication Algorithm in Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 64-75, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Milan Basic, Aleksandar Ilic, Aleksandar Stamenkovic |
Maximal Diameter on a Class of Circulant Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 76-87, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Regular Languages as Local Functions with Small Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 124-137, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Martin Loebl |
The Precise Complexity of Finding Rainbow Even Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 190-201, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | André Guerino Castoldi, Emerson Luiz do Monte Carmelo, Lucia Moura, Daniel Panario, Brett Stevens |
Bounds on Covering Codes in RT Spaces Using Ordered Covering Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 100-111, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Valentin P. Bakoev |
Fast Computing the Algebraic Degree of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 50-63, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Tsonka Baicheva, Svetlana Topalova |
On the Diffusion Property of the Improved Generalized Feistel with Different Permutations for Each Round. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 38-49, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, Evgeny Zhereshchin |
Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 177-189, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Daniela Mechkaroska, Aleksandra Popovska-Mitrovikj, Verica Bakeva |
New Cryptcodes for Burst Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 202-212, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Paul Gastin |
Modular Descriptions of Regular Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 3-9, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Zoltán Fülöp 0001, Heiko Vogler |
Rational Weighted Tree Languages with Storage and the Kleene-Goldstine Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 138-150, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Mohsen Bahrami, Bane Vasic |
Constraint Satisfaction Through GBP-Guided Deliberate Bit Flipping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 26-37, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Andreas Maletti (eds.) |
Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-319-23020-7 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Riccardo Longo, Chiara Marcolla, Massimiliano Sala |
Key-Policy Multi-authority Attribute-Based Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 152-164, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Vladimir A. Zakharov |
Equivalence Checking Problem for Finite State Transducers over Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 208-221, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Nicolas Borie |
Effective Invariant Theory of Permutation Groups Using Representation Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 58-69, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Volker Diekert |
More Than 1700 Years of Word Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 22-28, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Manfred Droste, Doreen Heusel, Heiko Vogler |
Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 90-102, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Andreas Krebs, Howard Straubing |
EF+EX Forest Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 128-139, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Qichao Wang, Norbert Hundeshagen, Friedrich Otto |
Weighted Restarting Automata and Pushdown Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 196-207, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Duc-Phong Le, Nadia El Mrabet, Chik How Tan |
On Near Prime-Order Elliptic Curves with Small Embedding Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 140-151, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Jarkko Kari, Michal Szabados |
An Algebraic Geometric Approach to Multidimensional Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 29-42, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Unbordered Pictures: Properties and Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 45-57, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Johannes Osterholzer |
Complexity of Uniform Membership of Context-Free Tree Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 176-188, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Borja Balle, Mehryar Mohri |
Learning Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 1-21, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Muhammed F. Esgin, Mehmet Sabir Kiraz, Osmanbey Uzunkol |
A New Partial Key Exposure Attack on Multi-power RSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 103-114, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Deepak Kumar Dalai |
On the Lower Block Triangular Nature of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 79-89, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Werner Kuich |
Why We Need Semirings in Automata Theory (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 43-44, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Matteo Piva, Marco Pizzato, Massimiliano Sala |
Attacking BEAR and LION Schemes in a Realistic Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 189-195, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Atsuko Miyaji, Xiaonan Shi, Satoru Tanaka |
Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 165-175, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Marco Calderini, Massimiliano Sala |
On Differential Uniformity of Maps that May Hide an Algebraic Trapdoor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 70-78, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Luisa Herrmann 0001, Heiko Vogler |
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 115-127, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.) |
Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-642-40662-1 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Andreas Maletti |
Synchronous Forest Substitution Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 235-246, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Johan P. Hansen |
Osculating Spaces of Varieties and Linear Network Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 83-88, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Marc Joye |
On Elliptic Curve Paillier Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 6, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Marco Calderini, Massimiliano Sala |
Generalized AG Codes as Evaluation Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 74-82, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Victor Marsault, Jacques Sakarovitch |
On Sets of Numbers Rationally Represented in a Rational Base Number System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 89-100, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Matteo Piva, Massimiliano Sala |
A New Bound for Cyclic Codes Beating the Roos Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 101-112, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Stéphane Ballet, Jean Chaumine, Julia Pieltant |
Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 160-172, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Gul Agha |
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 1-3, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Seny Kamara |
Proofs of Storage: Theory, Constructions and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 7-8, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Nadia El Mrabet |
Side Channel Attacks against Pairing over Theta Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 132-146, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Yves Aubry, Philippe Langevin |
On a Conjecture of Helleseth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 113-118, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Eleni Mandrali, George Rahonis |
Characterizations of Weighted First-Order Logics over Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 247-259, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Bruno Courcelle, Irène Durand |
Model-Checking by Infinite Fly-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 211-222, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Michel de Rougemont, Mathieu Tracol |
Approximation of Large Probabilistic Networks by Structured Population Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 199-210, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 32281 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|