Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
136 | Jinggang Wang, Binoy Ravindran |
BPA: A Fast Packet Scheduling Algorithm for Real-Time Switched Ethernet Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 31st International Conference on Parallel Processing (ICPP 2002), 20-23 August 2002, Vancouver, BC, Canada, pp. 159-166, 2002, IEEE Computer Society, 0-7695-1677-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
104 | Esdras Soares de Medeiros Filho, Luiz Velho 0001, Hélio Lopes 0001 |
Restricted BPA: Applying Ball-Pivoting on the Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: XVII Brazilian Symposium on Computer Graphics and Image Processing, (SIBGRAPI 2004) 17-20 October 2004, Curitiba, PR, Brazil, pp. 372-379, 2004, IEEE Computer Society, 0-7695-2227-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
104 | Ivana Cerná, Mojmír Kretínský, Antonín Kucera 0001 |
Comparing Expressibility of Normed BPA and Normed BPP Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(3), pp. 233-256, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
88 | Lingyun Luo |
Deciding Bisimilarity of Full BPA Processes Locally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 347-360, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
79 | Assem El-Ansary |
Requirements Definition of Safe Software Using the Behavioral Patterns Analysis (PBA) Approach: The Railroad Crossing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC ![In: 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, pp. 80, 2006, IEEE Computer Society, 0-7695-2731-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
79 | Chris A. McMahon, Yaowu Liu, Rose Crossland, Dave Brown, David Leal, Janardan Devlukia |
A best practice advice system to support automotive engineering analysis processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 19(4), pp. 271-283, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Best practice advice, Engineering repository, Adaptive hypermedia, Engineering analysis |
79 | Ahmed Bouajjani, Peter Habermehl, Richard Mayr |
Automatic Verification of Recursive Procedures with One Integer Parameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings, pp. 198-211, 2001, Springer, 3-540-42496-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
73 | Antonín Kucera 0001, Richard Mayr |
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 433-445, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
73 | Sjouke Mauw, Hans Mulder |
Regularity of BPA-Systems is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 34-47, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
70 | Youngkon Lee |
Double layered SOA test architecture based on BPA - simulation event. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 218-223, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
QoS, SOA, event-driven architecture, BPA |
63 | Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
Some Remarks on Definability of Process Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 16-36, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Harald Svensson |
A Framework for Improving Soft Factors in Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSPI ![In: Software Process Improvement, 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings, pp. 202-213, 2005, Springer, 3-540-30286-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Fausto Bernardini, Joshua Mittleman, Holly E. Rushmeier, Cláudio T. Silva, Gabriel Taubin |
The Ball-Pivoting Algorithm for Surface Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 5(4), pp. 349-359, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
range image, point cloud, 3D scanning, shape reconstruction |
57 | Hongfei Fu 0001 |
Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 327-342, 2009, Springer, 978-3-642-10671-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
54 | Youngkon Lee |
Business-Centric SOA Test Framework Based on BPA-Simulated Event. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 788-793, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SOA, event-driven, test suites, BPA |
54 | Youngkon Lee |
2-Layered SOA Test Framework Based on BPA-Simulated Event. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 1058-1063, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SOA, event-driven, test suites, BPA |
47 | Tomoko Tsuruoka, Tetsuya Fujimoto, Noboru Shiota, Makoto Monda, Yukiko Fueta, Toru Ishidao, Hajime Hori, Shuji Aou |
Positive and Negative Effects of Environmental Chemicals on Brain Function in Rodents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain-Inspired Information Technology ![In: Brain-Inspired Information Technology, pp. 79-84, 2010, Springer, 978-3-642-04024-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
47 | Carlos Pedrinaci, Ivan Markovic, Florian Hasibether, John Domingue |
Strategy-Driven Business Process Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIS ![In: Business Information Systems, 12th International Conference, BIS 2009, Poznan, Poland, April 27-29, 2009. Proceedings, pp. 169-180, 2009, Springer, 978-3-642-01189-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Business Process Analysis, Semantic Business Process Management, Strategic Analysis |
47 | Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota 0001 |
Partially-Commutative Context-Free Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 259-273, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera 0001 |
Reachability in Recursive Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 358-374, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Jirí Srba |
Strong bisimilarity of simple process algebras: complexity lower bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 39(6-7), pp. 469-499, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Assem El-Ansary |
Behavioral Pattern Analysis: towards a new representation of systems requirements based on actions and events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 984-991, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
PBA, event-oriented, requirements, pattern, behavioral |
47 | Jirí Srba |
Deadlocking States in Context-Free Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 388-398, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
47 | Antonín Kucera 0001 |
How to Parallelize Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings, pp. 302-316, 1997, Springer, 3-540-63141-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
47 | Søren Christensen, Hans Hüttel, Colin Stirling |
Bisimulation Equivalence is Decidable for all Context-Free Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 138-147, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
41 | Petr Jancar, Martin Kot, Zdenek Sawa |
Normed BPA vs. Normed BPP Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 434-446, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Basic Process Algebra, Basic Parallel Processes, verification, equivalence checking, bisimulation equivalence |
41 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain |
Bisimilarity Is Not Finitely Based over BPA with Interrupt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 52-66, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Tomás Brázdil, Antonín Kucera 0001, Oldrich Strazovský |
Deciding probabilistic bisimilarity over infinite-state probabilistic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 45(2), pp. 131-154, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Carlos Pedrinaci, John Domingue, Ana Karla Alves de Medeiros |
A Core Ontology for Business Process Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings, pp. 49-64, 2008, Springer, 978-3-540-68233-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Jirí Srba |
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 89-103, 2006, Springer, 3-540-45458-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Heikki Hyyrö, Gonzalo Navarro 0001 |
Bit-Parallel Witnesses and Their Applications to Approximate String Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 41(3), pp. 203-231, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Backward DAWG matching, Myers bit-parallel algorithm, Average-optimal string matching allowing errors, Bit-parallelism |
32 | Naijun Zhan, Jinzhao Wu |
Compositionality of Fixpoint Logic with Chop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 136-150, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Tomás Brázdil, Antonín Kucera 0001, Oldrich Strazovský |
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp. 193-208, 2004, Springer, 3-540-22940-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Catalin I. Tomai, Sargur N. Srihari |
Combination of Type III Digit Recognizers using the Dempster-Shafer Theory of Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2-Volume Set, 3-6 August 2003, Edinburgh, Scotland, UK, pp. 854-858, 2003, IEEE Computer Society, 0-7695-1960-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Ruy Luiz Milidiú, Artur Alves Pessoa, Eduardo Sany Laber |
Pipeline Transportation of Petroleum Products with No Due Dates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings, pp. 248-262, 2002, Springer, 3-540-43400-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Colin Stirling |
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 379-393, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Chung-Yu Wu, Chung-Yun Chou |
The design of a CMOS IF bandpass amplifier with low sensitivity to process and temperature variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 121-124, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |
Verifying Infinite State Processes with Sequential and Parallel Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 95-106, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Youngkon Lee |
2-Layered SOA Test Framework Based on Event-Simulating Proxy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 1479-1484, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SOA, event-driven, test suites, BPA |
29 | Youngkon Lee |
An Implementation Case Study: Business Oriented SOA Execution Test Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 425-430, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SOA, event-driven, test suites, BPA |
25 | Houda Saffi, Naima Otberdout, Youssef Hmamouche, Amal El Fallah Seghrouchni |
Auto-BPA: An Enhanced Ball-Pivoting Algorithm with Adaptive Radius using Contextual Bandits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2024, Waikoloa, HI, USA, January 3-8, 2024, pp. 3717-3725, 2024, IEEE, 979-8-3503-1892-0. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Bijoy Chand Chatterjee, Basavaprabhu S, Eiji Oki |
BPA: Approximation Batch-Processing Algorithm for Static Lightpath Requests in Elastic Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Netw. Lett. ![In: IEEE Netw. Lett. 4(4), pp. 189-193, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Haiyi Mao, Yong Deng 0001 |
Negation of BPA: a belief interval approach and its application in medical pattern recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 52(4), pp. 4226-4243, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Katie Burhop, Tatyan Clarke, Kathleen Lux, Bhavik Patel |
The Application of Motivational Communication Principles from Advertising to Best Practice Advisory (BPA) Design May Improve User Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2022, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 5-9, 2022, 2022, AMIA. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
25 | Iago C. Chaves, Antônio Diogo Forte Martins, Francisco D. B. S. Praciano, Felipe T. Brito, José Maria Monteiro, Javam C. Machado |
BPA: A Multilingual Sentiment Analysis Approach based on BiLSTM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (1) ![In: Proceedings of the 24th International Conference on Enterprise Information Systems, ICEIS 2022, Online Streaming, April 25-27, 2022, Volume 1., pp. 553-560, 2022, SCITEPRESS, 978-989-758-569-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Hao Liang, Rui Cai |
A new correlation coefficient of BPA based on generalized information quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 36(9), pp. 4775-4794, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Jinfeng Jiang, Guiqing Li, Shihao Wu, Huiqian Zhang, Yongwei Nie |
BPA-GAN: Human motion transfer using body-part-aware generative adversarial networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph. Model. ![In: Graph. Model. 115, pp. 101107, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Youbing Zhong, Zhou Zhou 0007, Xuan Liu 0006, Da Li 0002, Meijun Guo, Shuai Zhang, Qingyun Liu, Li Guo |
BPA: The Optimal Placement of Interdependent VNFs in Many-Core System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom (2) ![In: Collaborative Computing: Networking, Applications and Worksharing - 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020, Proceedings, Part II, pp. 305-319, 2020, Springer, 978-3-030-67539-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Ahmad Samhan |
OntoSoS.BPA.ChM: a semantically-enriched and business process architecture-driven framework for change management in 'System of Systems' context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
25 | Khalid A. Darabkh, Mohammad Z. El-Yabroudi, Ali Husein El-Mousa |
BPA-CRP: A balanced power-aware clustering and routing protocol for wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ad Hoc Networks ![In: Ad Hoc Networks 82, pp. 155-171, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Yuxuan Miao, Junjie Wu 0001, Jianyu Yang, Huayu Gao |
Comparison between Resolution Features of BPA and PFA through Wavenumber Domain Analysis for General Spotlight SAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2019 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2019, Yokohama, Japan, July 28 - August 2, 2019, pp. 2969-2972, 2019, IEEE, 978-1-5386-9154-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Chunhui Lin, Shiyang Tang, Linrang Zhang, Ping Guo |
Focusing High-Resolution Airborne SAR with Topography Variations Using an Extended BPA Based on a Time/Frequency Rotation Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 10(8), pp. 1275, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Lingling Pan, Hongji Xu, Min Chen, Yingming Zhou, Junfeng Sun |
Improved BPA based Multi-source Nonhomogeneous Continuous Context Inconsistency Resolution Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC-FSKD ![In: 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery, ICNC-FSKD 2018, Huangshan, China, July 28-30, 2018, pp. 664-668, 2018, IEEE, 978-1-5386-8097-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Roger Achkar, Fady Elias-Sleiman, Hasan Ezzidine, Nourhane Haidar |
Comparison of BPA-MLP and LSTM-RNN for Stocks Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCBI ![In: 6th International Symposium on Computational and Business Intelligence, ISCBI 2018, Basel, Switzerland, August 27-29, 2018, pp. 48-51, 2018, IEEE, 978-1-5386-9450-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Qiang Yin 0002, Mingzhang Huang, Chaodong He |
Two Lower Bounds for BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.05578, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
25 | Petr Jancar |
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(4), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Mingzhang Huang, Qiang Yin 0002 |
Two Lower Bounds for BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, pp. 20:1-20:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-048-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Petr Jancar |
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.05151, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Chaodong He, Mingzhang Huang |
Branching Bisimilarity on Normed BPA Is EXPTIME-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.04748, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Wojciech Czerwinski, Petr Jancar |
Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pp. 168-179, 2015, IEEE Computer Society, 978-1-4799-8875-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Chaodong He, Mingzhang Huang |
Branching Bisimilarity on Normed BPA Is EXPTIME-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pp. 180-191, 2015, IEEE Computer Society, 978-1-4799-8875-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Chaodong He |
A Polynomial Time Algorithm for Deciding Branching Bisimilarity on Totally Normed BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.4157, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
25 | Wojciech Czerwinski, Petr Jancar |
Branching Bisimilarity of Normed BPA Processes is in NEXPTIME. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.0645, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
25 | M. Yazdan Mehr, W. D. van Driel, Kaspar M. B. Jansen, P. Deeben, G. Q. Zhang |
Lifetime assessment of Bisphenol-A Polycarbonate (BPA-PC) plastic lens, used in LED-based products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(1), pp. 138-142, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Guangye Sui, Mohamed Mejri |
FASER (Formal and Automatic Security Enforcement by Rewriting) by BPA algebra with test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Grid Util. Comput. ![In: Int. J. Grid Util. Comput. 4(2/3), pp. 204-211, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Kiefer |
BPA bisimilarity is EXPTIME-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 113(4), pp. 101-106, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Yuxi Fu |
Checking Equality and Regularity for Normed BPA with Silent Moves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, pp. 238-249, 2013, Springer, 978-3-642-39211-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Dominik Wojtczak |
Expected Termination Time in BPA Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 303-318, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Kiefer |
BPA Bisimilarity is EXPTIME-hard ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.7041, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
25 | Melissa Cheung, Jan Hidders |
Round-trip iterative business process modelling between BPA and BPMS tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bus. Process. Manag. J. ![In: Bus. Process. Manag. J. 17(3), pp. 461-494, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Tomás Brázdil, Václav Brozek, Antonín Kucera 0001, Jan Obdrzálek |
Qualitative reachability in stochastic BPA games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 209(8), pp. 1160-1183, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Wen Jiang, Yong Deng 0001, JinYe Peng |
A New Method to Determine BPA in Evidence Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 6(6), pp. 1162-1167, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Anupam Tarsauliya, Ritu Tiwari, Anupam Shukla |
Financial Time Series Forecast using Simulated Annealing and Threshold Acceptance Genetic BPA Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 2, Beijing, China, 8-11 June, 2011, pp. 172-177, 2011, SciTePress, 978-989-8425-54-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
25 | Tomás Brázdil, Václav Brozek, Antonín Kucera 0001, Jan Obdrzálek |
Qualitative Reachability in Stochastic BPA Games ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.0118, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Petr Jancar, Martin Kot, Zdenek Sawa |
Complexity of deciding bisimilarity between normed BPA and normed BPP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 208(10), pp. 1193-1205, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Tomás Brázdil, Václav Brozek, Antonín Kucera 0001, Jan Obdrzálek |
Qualitative Reachability in Stochastic BPA Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings, pp. 207-218, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 978-3-939897-09-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Youngkon Lee |
2-Layered SOA Test Architecture Based on BPA-Simulation Event. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-FGCN ![In: Communication and Networking - International Conference, FGCN/ACN 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings, pp. 41-50, 2009, Springer, 978-3-642-10843-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Haiyan Chen |
Decidability of Weak Bisimilarity for a Subset of BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 241-255, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Luca Aceto, Silvio Capobianco |
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 95, pp. 220-240, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
25 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain |
Bisimilarity is not finitely based over BPA with interrupt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 366(1-2), pp. 60-81, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jirí Srba |
Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 13(4), pp. 567-587, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Petr Jancar, Antonín Kucera 0001, Faron Moller |
Deciding Bisimilarity between BPA and BPP Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings, pp. 157-171, 2003, Springer, 3-540-40753-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Jitka Stríbrná, Ivana Cerná |
Modifications of Expansion Trees for Weak Bisimulation in BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002, pp. 19-39, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Antonín Kucera 0001, Richard Mayr |
Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 270(1-2), pp. 677-700, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Jirí Srba |
Complexity of Weak Bisimilarity and Regularity for BPA and BPP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000, pp. 79-93, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Richard Mayr |
Strict Lower Bounds for Model Checking BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS Workshop on Concurrency ![In: Proceedings of the MFCS '98 Workshop on Concurrency, Brno, Czech Republic, August 27-29, 1998, pp. 147-158, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir |
A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 8(3), pp. 193-230, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
25 | Ivana Cerná, Mojmír Kretínský, Antonín Kucera 0001 |
Bisimilarity is decidable in the union of normed BPA and normed BPP processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996, pp. 14, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Antonín Kucera 0001 |
Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, pp. 377-392, 1996, Springer, 3-540-61994-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Yigang Chen, Yutaka Usuda |
Design and implementation of a knowledge based BPA/BPR tool: EUOBFE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia, pp. 446-453, 1994, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
25 | Jan Friso Groote |
A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 42(3), pp. 167-171, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Janico Greifenberg, Dirk Kutscher |
RDTN: An Agile DTN Research Platform and Bundle Protocol Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWIC ![In: Wired/Wireless Internet Communications, 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings, pp. 97-108, 2009, Springer, 978-3-642-02117-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Simulation, Implementation, DTN |
16 | Haiyan Chen |
More on Weak Bisimilarity of Normed Basic Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings, pp. 192-203, 2008, Springer, 978-3-540-79227-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Fumiaki Sato, Sumito Iijima |
Battery and Power Aware Routing in Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NBiS ![In: Network-Based Information Systems, First International Conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 30-39, 2007, Springer, 978-3-540-74572-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
battery aware routing, Ad hoc networks, dynamic source routing, power aware routing |
16 | Xinxin Liu, Haiyan Chen |
Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 337-350, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Yuan-Chun Jiang, Ye-Zheng Liu 0001, Xiao Liu 0004, Jie-Kui Zhang |
Constructing Associative Classifier Using Rough Sets and Evidence Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 263-271, 2007, Springer, 978-3-540-72529-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Evidence weight, Rough sets, Evidence theory, Associative classification, Combination strategy |
16 | Onur Aciiçmez, Shay Gueron, Jean-Pierre Seifert |
New Branch Prediction Vulnerabilities in OpenSSL and Necessary Software Countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 11th IMA International Conference, Cirencester, UK, December 18-20, 2007, Proceedings, pp. 185-203, 2007, Springer, 978-3-540-77271-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
branch prediction attacks, cache eviction attacks, Binary Extended Euclidean Algorithm, software mitigation methods, OpenSSL, RSA, Side channel attacks, CRT, modular inversion |
16 | Naijun Zhan |
Connecting Algebraic and Logical Descriptions of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 383-391, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Göller, Markus Lohrey |
Infinite State Model-Checking of Propositional Dynamic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 349-364, 2006, Springer, 3-540-45458-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Ahmed Bouajjani, Antoine Meyer |
Symbolic Reachability Analysis of Higher-Order Context-Free Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings, pp. 135-147, 2004, Springer, 3-540-24058-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|