Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
133 | Sudipta Kundu, Zachary Tatlock, Sorin Lerner |
Proving optimizations correct using parameterized program equivalence. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
compiler optimization, correctness, translation validation |
133 | Natasha Blitvic, Lizhong Zheng, Vladimir Stojanovic |
Low-Complexity Pattern-Eliminating Codes for ISI-Limited Channels. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
133 | Sheng-Ya Lin, Cheng-Chung Tan, Jyh-Charn Liu, Michael Oehler |
High-speed detection of unsolicited bulk emails. |
ANCS |
2007 |
DBLP DOI BibTeX RDF |
effectively consecutive hit, scoreboard, significance level, unsolicited bulk email blacklist, confidence interval |
111 | Richard L. Oliver, Patricia J. Teller |
Are all scientific workloads equal? |
IPCCC |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Yusuke Kiritani, Qiang Ma 0001, Masatoshi Yoshikawa |
Classifying Web Pages by Using Knowledge Bases for Entity Retrieval. |
DEXA |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Wen-Yen Weng, Cenk Köse, Bike Xie, Richard D. Wesel |
Universal serially concatenated trellis coded modulation for space-time channels. |
IEEE Trans. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Wen-Nung Lie, Tom C.-I. Lin, Dung-Chan Tsai, Guo-Shiang Lin |
Error Resilient Coding Based on Reversible Data Embedding Technique for H.264/AVC Video. |
ICME |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Donna J. Quammen, James Stanley, Pearl Y. Wang |
The Packed Exponential Connections Network. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
|
37 | Alberto G. Villafranca, Jordi Portell, Enrique García-Berro |
Development of Optimum Lossless Compression Systems for Space Missions. |
DCC |
2010 |
DBLP DOI BibTeX RDF |
coding algorithm, CCSDS, Rice, PEC, FAPEC, pre-processing, noisy data, Lossless data compression |
35 | Zygmunt Mazur, Janusz Pec |
A Method for Information Security Analysis Using Information Graphs. |
Cybern. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
35 | Sopheaktra Chhorn, Sovichea Tep, Chanthan Hel, Rothna Pec |
Development of ESP32-Based Smart Greenhouse Controller. |
WF-IoT |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Seven Siren, Rothna Pec, Vannak Ros, Kum Sithirith, Sok Oeun Un, Sros Nhek |
Automatic Data Acquisition of Electric Power Usage in Phnom Penh City. |
IC3INA |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Janusz Bedkowski, Hubert Nowak, Blazej Kubiak, Witold Studzinski, Maciej Janeczek, Szymon Karas, Adam Kopaczewski, Przemyslaw Makosiej, Jaroslaw Koszuk, Michal Pec, Krzysztof Miksa |
A Novel Approach to Global Positioning System Accuracy Assessment, Verified on LiDAR Alignment of One Million Kilometers at a Continent Scale, as a Foundation for Autonomous DRIVING Safety Analysis. |
Sensors |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Zygmunt Mazur, Janusz Pec |
The Concept of Information Graphs as a Tool to Identify Vulnerabilities in the Information Map of an Organisation. |
IEA/AIE (2) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Zygmunt Mazur, Janusz Pec |
The Use of Context-Free Probabilistic Grammar to Anonymise Statistical Data. |
Cybern. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Zygmunt Mazur, Janusz Pec |
A heuristic method for the travelling salesman problem. |
J. Intell. Fuzzy Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Muhammad Asim 0004, Rothna Pec, Tae Ho Im, Yong Soo Cho 0001 |
Cell Search Techniques for Underwater Acoustic Cellular Systems. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Alejandra Quintanilla-Terminel, Matej Pec, Oliver Jagoutz |
Bringing field and laboratory work into the classroom by using online modules in the edX platform. |
EMOOCs-WIP |
2019 |
DBLP BibTeX RDF |
|
35 | Mohammed Saquib Khan, Rothna Pec, Chang-Hwan Park, Yong Soo Cho 0001 |
Random Access Preamble Design for High-Velocity User in Millimeter-Wave Cellular Networks. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Jasper Meynard Arana, Rothna Pec, Yong Soo Cho 0001 |
An Efficient Handover Measurement Technique for Millimeter-Wave Cellular Communications. |
IEICE Trans. Commun. |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Mohammed Saquib Khan, Muhammad Asim 0004, Yong Soo Cho 0001 |
Random Access for Underwater Acoustic Cellular Systems. |
Sensors |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Mohammed Saquib Khan, Chang-Hwan Park, Yong-Soo Cho 0001 |
A Design of Synchronization Signal for Efficient Handover in Small-Cell Networks with 3D Beamforming. |
VTC Spring |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Mohammed Saquib Khan, Yong Soo Cho 0001 |
An LFM-based preamble for underwater communication. |
ICTC |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Mina Lee 0001, Rothna Pec, Kyu Seok Kim, Chang-Hwan Park, Yong Soo Cho 0001 |
An Interference Rejection Combining Technique for an SFBC-OFDM System with Multiple Carrier Frequency Offsets. |
IEICE Trans. Commun. |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Chang-Hwan Park, Yong Soo Cho 0001 |
Efficient handover measurement technique for small-cell networks using a virtual cell synchronization signal. |
Wirel. Commun. Mob. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Joo-Hyung Choi, Chang-Hwan Park, Yong Soo Cho 0001 |
Synchronization method for long-term evolution-based machine-type communication in low-power cellular Internet of Things. |
Int. J. Distributed Sens. Networks |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Jasper Meynard P. Arana, Rothna Pec, Yong Soo Cho 0001 |
Handover measurement for millimeter wave cellular system with beamforming. |
ICUFN |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Mohammed Saquib Khan, Chang-Hwan Park, Yong-Soo Cho 0001 |
A detection for synchronization signal in LTE-based machine-type communication. |
ICTC |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Bon Woo Ku, Kyu Seok Kim, Yong Soo Cho 0001 |
Receive Beamforming Techniques for an LTE-Based Mobile Relay Station With a Uniform Linear Array. |
IEEE Trans. Veh. Technol. |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Joo-Hyung Choi, Yong Soo Cho 0001 |
A Receive Beamforming Technique for a Mobile Station with Multiple Antenna Arrays in Mm-Wave Cellular Communications. |
IEICE Trans. Commun. |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Yong Soo Cho 0001 |
A beamforming technique for LTE-based mobile relay stations. |
ICTC |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Chang-Hwan Park, Yong Soo Cho 0001 |
Multiple CFO Estimation Using the Properties of Zadoff-Chu Sequence. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Kyu Seok Kim, In-Su Kim, Bon Woo Ku, Yong Soo Cho 0001 |
Cell Searching and DoA Estimation for a Mobile Station with Antenna Array in mm-Wave Cellular Communications. |
VTC Spring |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Tae Howan Hong, Yong Soo Cho 0001 |
Cell searching and DoA estimation for a mobile relay station in a multipath environment. |
J. Commun. Networks |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Yong Soo Cho 0001 |
A parameter estimation technique for an LTE-based mobile relay station with antenna array. |
ICTC |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Rothna Pec, Hyun-Jong Yoo, Han-Seong Kim, A-rom So, Yong Soo Cho 0001 |
DoA estimation with cell searching for an IEEE 802.16-based mobile relay stations. |
APCC |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Michal Pec, Michal Bujacz, Pawel Strumillo |
Personalized head related transfer function measurement and verification through sound localization resolution. |
EUSIPCO |
2007 |
DBLP BibTeX RDF |
|
25 | Shangyu Cai, Yongsheng Lin, Haoxin Chen, Zihao Huang, Yongjin Zhou 0002, Yongping Zheng |
Automated analysis of pectoralis major thickness in pec-fly exercises: evolving from manual measurement to deep learning techniques. |
Vis. Comput. Ind. Biomed. Art |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Luiz M. Faria, Carlos Pérez-Arancibia, Catalin Turc |
Combined Field-Only Boundary Integral Equations for PEC Electromagnetic Scattering Problem in Spherical Geometries. |
SIAM J. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Luiz M. Faria, Carlos Pérez-Arancibia, Catalin Turc |
Combined field-only boundary integral equations for PEC electromagnetic scattering problem in spherical geometries. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Feiyan Zhou, Zhixin Zhang, Yan Wu, Lingyun Gu, Xuefeng Bai, Chongqing Jiao |
Loop-to-Loop Magnetic Coupling Through a Circular Aperture in a Planar PEC Screen of Finite Thickness. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Ahmet Sefer, Ali Yapar |
Inverse Scattering by Perfectly Electric Conducting (PEC) Rough Surfaces: An Equivalent Model With Line Sources. |
IEEE Trans. Geosci. Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Haiyu Zou, Yingjie Liu |
A finite difference method on irregular grids with local second order ghost point extension for solving Maxwell's equations around curved PEC objects. |
J. Comput. Phys. |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Somen Bhattacharjee, Brijesh Kumbhani |
Enhancement of Beam Width and Side Lobe Level Reduction Using PEC Ground Plane in Antenna Array. |
Wirel. Pers. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Hwi Lee, Yingjie Liu |
A ghost-point based second order accurate finite difference method on uniform orthogonal grids for electromagnetic scattering around PEC. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Bushra Masri, Hiba Al-Sheikh, Nabil Karami, Hadi Youssef Kanaan, Nazih Moubayed |
A Novel Switching Control Technique for a Packed E-Cell (PEC) Inverter Using Signal Builder Block. |
IECON |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Amit Kumar Mishra |
PeC-HiCA: A Perception Centric Human-in-loop Cognitive Architecture. |
BICA*AI |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Saleh A. Saleh, Razzaqul Ahshan |
Parameter Adjustment for the Droop Control Operating a Discharge PEC in PMG-Based WECSs With Generator-Charged Battery Units. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yoginder Kumar Negi, N. Balakrishnan 0001, Sadasiva M. Rao |
Fast Power Series Solution of Large 3-D Electrodynamic Integral Equation for PEC Scatterers. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
25 | Zekun Zhu, Aipeng Sun, Xiaochao Zhou, Shunchuan Yang, Zhizhang Chen |
Generalized SS-SIE for Electromagnetic Analysis of Arbitrarily Connected Penetrable and PEC Objects with Non-Conformal Meshes. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
25 | Hanhong Liu, Xiaoying Zhao, Xiang-Hua Wang, Shunchuan Yang, Zhizhang Chen |
An Unconditionally Stable Conformal LOD-FDTD Method For Curved PEC Objects and Its Application for EMC Problems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
25 | Haiyu Zou, Yingjie Liu |
A Finite Difference Method on Irregular Grids with Local Second Order Ghost Point Extension for Solving Maxwell's Equations Around Curved PEC Objects. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
25 | Jeong-Hyun Park, Jae-Gon Lee |
Low-profile high efficiency transmitarray antenna using optimized phase compensation surface (PCS) and PEC sidewalls. |
ICT Express |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ali Zafari, Majid Mehrasa, Mohammad Sharifzadeh, Seddik Bacha, Kamal Al-Haddad, Nasser Hosseinzadeh |
A nine-level PEC based Active Power Filter With Double-Frequency Oscillation Cancellation (DFOC) Ability In Reference Current Detection. |
IECON |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ali Zafari, Majid Mehrasa, Mohammad Sharifzadeh, Seddik Bacha, Kamal Al-Haddad, Nasser Hosseinzadeh |
A Novel Reference Current Detection Algorithm (RCDA) in 9-Level PEC Converter-based Shunt Active Power Filter. |
ICIT |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Baber Khan, Ahmad Ali, Abdul Jalil, Khizer Mehmood, Maria Murad, Hamdan Awan |
AFAM-PEC: Adaptive Failure Avoidance Tracking Mechanism Using Prediction-Estimation Collaboration. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Jin Wang 0001, Caiyan Jin, Qiang Tang 0006, Naixue Xiong |
GJRA: A Global Joint Resource Allocation Scheme for UAV service of PEC in IIoTs. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
25 | Zaheer Abbas, Razium Ali Soomro, Nazar Hussain Kalwar, Mawada Tunesi, Magnus Willander, Selcan Karakus, Ayben Kilislioglu |
In Situ Growth of CuWO4 Nanospheres over Graphene Oxide for Photoelectrochemical (PEC) Immunosensing of Clinical Biomarker. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Yuyang Feng |
Energy PEC Enterprise Energy Management System Services. |
MLICOM |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Mohammad Sharifzadeh, Kamal Al-Haddad |
Packed E-Cell (PEC) Converter Topology Operation and Experimental Validation. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Abduladeem Beltayib, Abdel Razik Sebak |
Analytical Design Procedure for Forward Wave Couplers in RGW Technology Based on Hybrid PEC/PMC Waveguide Model. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Jinbo Liu, Zengrui Li, Jianxun Su, Jiming Song |
On the Volume-Surface Integral Equation for Scattering From Arbitrary Shaped Composite PEC and Inhomogeneous Bi-Isotropic Objects. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Neelam Qadeer, Nayab Bhatti, Qaisar Abbas Naqvi, Muhammad Arshad Fiaz |
Use of Kobayashi potential method and Lorentz-Drude model to study scattering from a PEC strip buried below a lossy dispersive NID dielectric-magnetic slab. |
Appl. Math. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Sabrina Pitzalis, Chiara Serra, Valentina Sulpizio, Sara Di Marco, Patrizia Fattori, Gaspare Galati 0002, Claudio Galletti |
A putative human homologue of the macaque area PEc. |
NeuroImage |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Xiaohui Wei, Lina Li, Xiang Li, Xingwang Wang, Shang Gao 0005, Hongliang Li |
Pec: Proactive Elastic Collaborative Resource Scheduling in Data Stream Processing. |
IEEE Trans. Parallel Distributed Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Run Zhao, Dong Wang 0024, Qian Zhang 0012, Haonan Chen, Huatao Xu |
PEC: Synthetic Aperture RFID Localization with Aperture Position Error Compensation. |
SECON |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Juan Li 0005, Ke Li 0006, Li-Xin Guo, Ze-Lin Ren |
A Bi-Iterative Model for Electromagnetic Scattering From a PEC Object Partially Buried in Rough Sea Surface. |
IEEE Geosci. Remote. Sens. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Ce Kang, Yi Liu 0006, Meixia Hu, Hailin Zhang 0001 |
A Low Complexity PAPR Reduction Method Based on FWFT and PEC for OFDM Systems. |
IEEE Trans. Broadcast. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Michael Harmon, Irene M. Gamba, Kui Ren 0002 |
Numerical algorithms based on Galerkin methods for the modeling of reactive interfaces in photoelectrochemical (PEC) solar cells. |
J. Comput. Phys. |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Michael Harmon, Irene M. Gamba, Kui Ren 0002 |
Numerical algorithms based on Galerkin methods for the modeling of reactive interfaces in photoelectrochemical (PEC) solar cells. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
25 | Mahdi Behdani, Ahad Tavakoli, Parisa Dehkhoda, Mohammad Zoofaghari |
Electromagnetic scattering from a PEC target buried beneath a rough surface using KA-PO method. |
IST |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Bijan Abbasi Arand, Amir Bazrkar |
Gain Enhancement of a Tetra-band Square-Loop Patch Antenna Using an AMC-PEC Substrate and a Superstrate. |
Wirel. Pers. Commun. |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Sami Bellez, Christophe Bourlier, Gildas Kubické |
3-D scattering from a PEC target buried beneath a dielectric rough surface using a hybrid formulation and a fast solver. |
IGARSS |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer, Roman Spanek, Martin Rimnac (eds.) |
Proceedings of Student Research Forum Papers and Posters at SOFSEM 2015, the 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015) , Pec pod Snezkou, Czech Republic, January 24-29, 2015. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer (eds.) |
SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Ilmars Puzulis, Rusins Freivalds |
Frequency Pushdown Automata. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Tesshu Hanaka, Hirotaka Ono 0001 |
A Fixed-Parameter Algorithm for Max Edge Domination. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Takashi Katsura, Yuhei Otomo, Kazuyuki Narisawa, Ayumi Shinohara |
Position Heaps for Permuted Pattern Matching on Multi-Track String. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Maksims Dimitrijevs, Irina Scegulnaja |
Ultrametric Automata with One Head Versus Multihead Nondeterministic Automata. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Azadeh Alebrahim |
Performance Analysis Patterns for Requirements Analysis. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Ondrej Sýkora |
Implementing the Aho-Corasick Automata for Phonetic Search. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Ilir Çapuni, Anisa Halimi, Dorjan Hitaj |
Towards Indestructible Molecular Robots. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Valdis Adamsons, Karlis Jerins, Rihards Krislauks, Marta Lapina, Andris Pakulis, Rusins Freivalds |
Advantages of Ultrametric Counter Automata. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Michal Forisek, Jakub Jancina |
Fast Primality Testing for Integers That Fit into a Machine Word. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | George Feuerlicht, Vladimír Kovár, David Hartman, Marek Beránek, Pavel Bory |
Measuring Complexity of Domain Standard Specifications Using XML Schema Entropy. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Maciej Skorski |
Metric Pseudoentropy: Characterizations and Applications. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Maciej Skorski |
An Improved Transformation between HILL and Metric Conditional Pseudoentropy. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Antti Kuusisto |
Team Semantics and Recursive Enumerability. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Anete Lace, Muntis Rudzitis, Eriks Gopaks, Rusins Freivalds |
Superimposed Codes and Query Algorithms. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Kristine Cipola, Andris Pakulis, Rusins Freivalds |
Experiments in Complexity of Probabilistic and Ultrametric Automata. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Lukás Aron, Petr Hanácek |
Introduction to Android 5 Security. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Maciej Skorski |
Indistinguishability and Unpredictability Hardcore Lemmas: New Proofs with Applications to Pseudoentropy. |
SOFSEM (Student Research Forum Papers / Posters) |
2015 |
DBLP BibTeX RDF |
|
25 | Magnús M. Halldórsson |
Progress (and Lack Thereof) for Graph Coloring Approximation Problems. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Nelma Moreira, Giovanni Pighizzini, Rogério Reis |
Optimal State Reductions of Automata with Partially Specified Behaviors. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Valerio Cosentino, Massimo Tisi, Javier Luis Cánovas Izquierdo |
A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Armin Fügenschuh, Konstanty Junosza-Szaniawski, Torsten Klug, Slawomir Kwasiborski, Thomas Schlechte |
Fastest, Average and Quantile Schedule. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Ashley Farrugia, Leszek Gasieniec, Lukasz Kuszner, Eduardo Pacheco |
Deterministic Rendezvous in Restricted Graphs. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Florian Himmler |
Function Based Requirements Engineering and Design -Towards Efficient and Transparent Plant Engineering. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert |
Java Loops Are Mainly Polynomial. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Konstanty Junosza-Szaniawski, Mathieu Liedloff, Pawel Rzazewski |
Fixing Improper Colorings of Graphs. |
SOFSEM |
2015 |
DBLP DOI BibTeX RDF |
|